Fragen von Anton Hermann

11
Fragen gestellt

2
beste Antworten ausgewählt

0 Daumen

1 Antwort

Sequenzenkalkül Prädikatenlogik

Gefragt 30 Jan 2020

0 Daumen

1 Antwort

Nerode- oder Pumping Lemma

Gefragt 18 Jan 2020

0 Daumen

1 Antwort

Die pränexe Normalform

Gefragt 17 Jan 2020

0 Daumen

1 Antwort

Formeln in Aussagenlogik: Berechne å(F) für die passende Struktur

Gefragt 21 Dez 2019

0 Daumen

1 Antwort

Aussagenlogik: Erstelle im Sequenziellkalkül die Links-und Rechts-regeln für: P ⊗ Q := P ∧ ¬Q ∨ ¬P ∧ Q

Gefragt 14 Dez 2019

0 Daumen

1 Antwort

Reguläre Sprachen & Ausdrücke e. Korrektheit der Definitionen zu den 3 Operationen kurz zeigen?

Gefragt 7 Dez 2019

0 Daumen

1 Antwort

Logik Resolventenmethode - Klauseln K und K'

Gefragt 29 Nov 2019

0 Daumen

1 Antwort

Automaten und Produktautomaten

Gefragt 22 Nov 2019

0 Daumen

1 Antwort

Mengen und Formale Sprachen

Gefragt 15 Nov 2019

0 Daumen

1 Antwort

Aussagenlogik Äquivalenzen: F:=A1∧A3→(¬A2∨¬A1), G1:=A1→A2, G2:=A1∨A2 α:=[A1→1,A2→0,A3→1]

Gefragt 8 Nov 2019

0 Daumen

1 Antwort

Schachtelungstiefe von Formeln als rekursive Funktion definieren

Gefragt 1 Nov 2019

Made by a lovely community