Alle Fragen
FatalDestiniy08
Aktivitäten
Alle Fragen
Alle Antworten
Neue Aktivitäten von FatalDestiniy08
1
Antwort
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
logik
sequenzen
kalkül
terme
aussagenlogik
1
Antwort
Erfüllbarkeit von Mengen
Antwort ausgewählt
30 Nov 2019
ausdrücke
rekursiv
rechnerarchitektur
aussagenlogik
1
Antwort
Logik Resolventenmethode - Klauseln K und K'
Kommentiert
30 Nov 2019
logik
baum
rekursiv
aussagenlogik
1
Antwort
Leere Sprache und Reguläre Sprachen
Antwort ausgewählt
30 Nov 2019
regulär
ausdrücke
mengen
leere
Made by a lovely Community
