H. Hollatz: Mathematische Logik

1 Aussagenlogik

1.1 Aussagen
1.2 Ausdrücke
1.3 Allgemeingütige Ausdrücke
1.4 Aussagenlogische Normalformen
1.5 Resolventenmethode
1.6 Ableitbarkeit
1. Anwendungen in der Automatentheorie

2 Prädikatenlogik

2.1 Aussageformen
2.2 Ausdrücke einer Sprache erster Stufe
2.3 Interpretation der Terme und Ausdrücke
2.4 Folgern, Ableiten, Beweisen
2.5 Prädikatenlogische Sätze
2.6 Prädikatenlogische Normalformen
2.7 Herbrand-Strukturen
2.8 Axiomatisierbarkeit und Algorithmierbarkeit

3 Übungen