Vorlesungsmaterialien
- Vorlesungsnotizen in der Fassung vom 14.09.23: Notes
- Vorlesung vom 11.04.23 — Einführung: Folien
- Vorlesung vom 13.04.23 — Aussagenlogik I: Folien
- Vorlesung vom 18.04.23 — Aussagenlogik II: Folien
- Vorlesung vom 20.04.23 — Aussagenlogik III: Folien
- Vorlesung vom 25.04.23 — Aussagenlogik IV: Folien
- Vorlesung vom 02.05.23 — Natürliches Schließen I: Folien
- Vorlesung vom 04.05.23 — Natürliches Schließen II: Folien
- Vorlesung vom 09.05.23 — Natürliches Schließen III: Folien
- Vorlesung vom 11.05.23 — Korrektheit und Vollständigkeit I: Folien
- Vorlesung vom 11.05.23 — Korrektheit und Vollständigkeit II: Folien
- Vorlesung vom 23.05.23 — Prädikatenlogik I: Folien
- Vorlesung vom 25.05.23 — Prädikatenlogik I: Folien
- Vorlesung vom 01.06.23 — Prädikatenlogik II: Folien
- Vorlesung vom 06.06.23 — Prädikatenlogik III: Folien
- Vorlesung vom 08.06.23 — Prädikatenlogik IV: Folien
- Vorlesung vom 13.06.23 — Prädikatenlogik V: Folien
- Vorlesung vom 22.06.23 — Prädikatenlogik VI: Folien
- Vorlesung vom 27.06.23 — Prädikatenlogik VII: Folien
- Vorlesung vom 29.06.23 — Prädikatenlogik VIII: Folien
- Vorlesung vom 04.07.23 — Prädikatenlogik IV: Folien
- Vorlesung vom 06.07.23 — Arithmetik: Folien
- Vorlesung vom 11.07.23 — Unvollständigkeit: Folien
- Vorlesung vom 11.07.23 — Unvollständigkeit: Folien
Material
Es gibt kein direktes Lehrbuch, aber wir ziehen unser Material aus mehreren Quellen:
- Dirk van Dalen: Logik and Structure. Springer Verlag.
- Michael Richter: Logikkalküle. Teubner Studienbücher.
- Martin Kreuzer, Stefan Kühling: Logik für Informatiker. Pearson Studium.
- Uwe Schöning: Logik für Informatiker. Spektrum Akademischer Verlag.