Logik & Berechenbarkeit

Dozent: Prof. Dr. Karsten Wolf

					Az.
1. Formulieren & Argumentieren					8
1.4 Induktion					9
2. Aussagenlogik					14
2.2 Folgern					14
2.3 Aussagenlogisches Schließen					15
2.4 Ableiten und Cut-Ableiten					19
3. Prädikatenlogik					8
3.2 Erfüllbarkeit					2
3.3 Folgern, Ableiten, Schließen					7
3.4 Cut-Ableiten					12
4. Berechenbarkeit					11

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.