Login
Registrieren
Frage?
Alle Fragen
Neue Fragen 🙋
Offene Fragen
Liveticker ⌚
Stichwörter/Themen 🏷️
Wissensartikel 📚
Mitglieder
Alle Mitglieder 👪
Beste Informatiker 🏆
Monatsbeste
Jahresbeste
Punkte und Prämien
Auszeichnungen 🏅
Community Chat 💬
Communities
Aktuelle Fragen
Chemie ⚗️
Informatik 💾
Mathematik 📐
Physik 🚀
Biologie, Sprachen, Geschichte, …
Übersicht
Stell deine Frage
Fragen mit Stichwort aussagenlogik
+
0
Daumen
1
Antwort
Zeigen Sie, dass TAUT entscheidbar ist.
Gefragt
18 Jun
von
Mathe200
entscheidbar
aussagenlogik
theoretische-informatik
+
0
Daumen
1
Antwort
Aussagenlogik: Syntax und Semantik
Gefragt
15 Jun
von
Mathe200
aussagenlogik
theoretische-informatik
+
0
Daumen
1
Antwort
Operatorensystem Implikation und 0
Gefragt
24 Okt 2021
von
Torsten K.
implikation
operatoren
aussagenlogik
+
0
Daumen
0
Antworten
Schlussregel im Sequenzenkalkül
Gefragt
26 Mai 2021
von
Abude
sequenzen
kalkül
aussagenlogik
schlussregel
+
0
Daumen
1
Antwort
Frage: Ist { - , 0} vollständige System von Junktoren?
Gefragt
27 Apr 2021
von
twoStones
aussagenlogik
+
0
Daumen
0
Antworten
Pumping Lemma Beweis mit zwei verschiedenen Exponeten im Wort
Gefragt
26 Apr 2021
von
Gast
pumping-lemma
reguläre-sprachen
theoretische-informatik
sprache
aussagenlogik
+
+1
Daumen
0
Antworten
1
Sprache L gegeben und zeigen, dass L nicht entscheidbar ist.
Gefragt
29 Jan 2021
von
Snowhawkk
turing
entscheidbar
maschine
prädikatenlogik
aussagenlogik
+
0
Daumen
1
Antwort
Wie bilde ich die kanonisch disjunktive Normalform aus einer gegebenen Funktion?
Gefragt
11 Dez 2020
von
Raul1904
aussagenlogik
+
0
Daumen
1
Antwort
Konjunktive Normalform (KNF) bestimmen
Gefragt
8 Aug 2020
von
Student2771
aussagenlogik
+
0
Daumen
1
Antwort
Beweis von vollständigen Operatorensystemen mit Implikation und Konstante 0
Gefragt
15 Jun 2020
von
naili
aussagen
boolesche-algebra
beweis
implikation
aussagenlogik
+
0
Daumen
0
Antworten
Die pränexe Normalform
Gefragt
17 Jan 2020
von
Anton Hermann
logik
aussagenlogik
+
0
Daumen
1
Antwort
Äquivalenzen in Aussagenlogik
Gefragt
21 Dez 2019
von
ServusTV
aussagenlogik
formel
+
0
Daumen
1
Antwort
Rückführung in Aussagenlogik
Gefragt
21 Dez 2019
von
Max Mustermann0001
aussagenlogik
formel
logik
+
0
Daumen
0
Antworten
Formeln in Aussagenlogik
Gefragt
21 Dez 2019
von
Anton Hermann
aussagenlogik
terme
formel
+
0
Daumen
0
Antworten
Aussagenlogik: Estelle im Sequenzenkalkül Links- und Rechts-Regeln für: if P then Q else R := P ∧ Q ∨ ¬P ∧ R
Gefragt
14 Dez 2019
von
FatalDestiniy08
logik
sequenzen
kalkül
terme
aussagenlogik
+
0
Daumen
0
Antworten
Aussagenlogik: Erstelle im Sequenziellkalkül die Links-und Rechts-regeln für: P ⊗ Q := P ∧ ¬Q ∨ ¬P ∧ Q
Gefragt
14 Dez 2019
von
Anton Hermann
sequenzen
kalkül
links
aussagenlogik
boolesche
+
0
Daumen
0
Antworten
Hilbert-Kalkül Aussagenlogik
Gefragt
2 Dez 2019
von
Ahnungslos007
aussagenlogik
logik
terme
boolesche
+
0
Daumen
1
Antwort
Erfüllbarkeit von Mengen
Gefragt
30 Nov 2019
von
FatalDestiniy08
ausdrücke
rekursiv
rechnerarchitektur
aussagenlogik
+
0
Daumen
0
Antworten
Logik Resolventenmethode
Gefragt
29 Nov 2019
von
Anton Hermann
logik
baum
rekursiv
aussagenlogik
+
0
Daumen
1
Antwort
Boolesche Junktoren darstellen
Gefragt
9 Nov 2019
von
Ahnungslos007
boolesche-algebra
logik
aussagenlogik
Seite:
1
2
3
4
nächste »
Made by a lovely
community