Vorlesungsmaterialien
- Vorlesungsnotizen in der Fassung vom 29.04.26: Notes
- Vorlesung vom 07.04.26 — Einführung: Folien
- Vorlesung vom 08.04.26 — Aussagenlogik I: Folien
- Vorlesung vom 14.04.26 — Aussagenlogik II: Folien
- Vorlesung vom 15.04.26 — Aussagenlogik III: Folien
- Vorlesung vom 21.04.26 — Aussagenlogik IV: Folien
- Vorlesung vom 22.04.26 — Aussagenlogik V: Folien
- Vorlesung vom 28.04.26 — Natürliches Schließen I: Folien
- Vorlesung vom 29.04.26 — Natürliches Schließen II: 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.