| Dozent | Lutz Schröder |
| Vorlesung mit Übung | Mo, 16:15 – 17:45, Martensstr. 3(blaues Hochhaus), Raum 02.134 |
| Do, 14:15 – 15:45, Martensstr. 3(blaues Hochhaus), Raum 02.133 | |
| Zielgruppe | Informatik MSc und BSc, WPF KI oder Theoretische Informatik; NF Informatik (z.B. für Mathematiker, Physiker) |
| ETCS | 7,5 |
Materialien
Ulrich Rabenstein hat dankenswerterweise seine Mitschrift vom WiSe 2013/14 zur Verfügung gestellt (der Inhalt kann im aktuellen Semester davon abweichen).
Ferner gibt es eine freundlicherweise von Franz Köferl überlassene Mitschrift vom WiSe 2014/15:
- Prädikatenlogik erster Stufe;
- Algorithmik der Aussagenlogik;https://www8.cs.fau.de/ext/teaching/wise2025-26/DL/ueb01.pdf
- Beschreibungslogik;
- PSPACE-Härte und EL;
und schließlich die getexte Mitschrift (Stand 12.01.2026) von Hans-Peter Deifel, ebenfalls vom WiSe 2014/15, im Moment unter laufender Überarbeitung.
Übungsblätter
siehe auch Kurs auf StudOn