Fragen von Anton Hermann

11
Fragen gestellt

2
beste Antworten ausgewählt

0 Daumen

0 Antworten

Sequenzenkalkül Prädikatenlogik

Gefragt 30 Jan 2020

0 Daumen

1 Antwort

Nerode- oder Pumping Lemma

Gefragt 18 Jan 2020

0 Daumen

0 Antworten

Die pränexe Normalform

Gefragt 17 Jan 2020

0 Daumen

0 Antworten

Formeln in Aussagenlogik

Gefragt 21 Dez 2019

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

0 Daumen

0 Antworten

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

Gefragt 7 Dez 2019

0 Daumen

0 Antworten

Logik Resolventenmethode

Gefragt 29 Nov 2019

0 Daumen

1 Antwort

Automaten und Produktautomaten

Gefragt 22 Nov 2019

0 Daumen

0 Antworten

Mengen und Formale Sprachen

Gefragt 15 Nov 2019

0 Daumen

0 Antworten

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