Aktuell
Eine Übungsklausur ist verfügbar.
Vorlesungsvideo
Noch keine vorhanden
Übungen
- 1. Übungsblatt vom 27.10.2023
- 2. Übungsblatt vom 04.11.2023
- 3. Übungsblatt vom 10.11.2023
- 4. Übungsblatt vom 17.11.2023
- 5. Übungsblatt vom 25.11.2023
- 6. Übungsblatt vom 1.12.2023
- 7. Übungsblatt vom 8.12.2023
- 8. Übungsblatt vom 16.12.2023
- 9. Übungsblatt vom 25.12.2023
- 10. Übungsblatt vom 12.1.2024
- 11. Übungsblatt vom 19.1.2024
Praktikum
Noch nichts vorhanden
Verwendete Folien und Bilder
Noch nichts verfügbar
Skript
Ein vorläufiges Skript und die Notizen der Vorlesungen finden sie später im geschützten Bereich.
Literatur
Eine gutes englischsprachiges Buch zur Vorlesung ist Logic for Computer Scientists (Modern Birkhäuser Classics) by Uwe Schöning
Links
- Noch keine vorhanden
Fragen, Bemerkungen oder Verbesserungsvorschläge? Bitte EMail an Steffen Reith
Letzte Änderung: 29.01.24