Formalisieren und Beweisen

Inhaltsverzeichnis

• Einführung.
• 1 Aussagenlogik.
• 1A Formeln schreiben und benutzen.
• 1B Allgemeingültige Formeln und logisches Folgern.
• 1C Entscheidungsverfahren und Normalformen.
• 1D Ableiten.
• 2 Offene Prädikatenlogik.
• 2A Situationen strukturieren und durch Formeln beschreiben.
• 2B Mit Formeln und Strukturen umgehen.
• 2C Strukturieren, Formalisieren, Axiomatisieren.
• 2D Ableiten.
• 3 Prädikatenlogik.
• 3A Quantorenlogik.
• 3B Finitisieren und mechanisieren.
• 3C Geometrie und Zahlen axiomatisieren.
• 3D Stärken und Schwächen.
• Anhang Unvollständiger Dialog über Vollständigkeit.
• Die Lehrveranstaltung Logik für Informatiker.
• Verzeichnisse.
• Personenverzeichnis.
• Symbolverzeichnis.
• Begriffsverzeichnis.