Allgemeine Informationen
| Veranstaltungsname | Vorlesung: Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme |
| Veranstaltungsnummer | INF-0155/-0355/-0262 |
| Semester | WS 2025/26 |
| Aktuelle Anzahl der Teilnehmenden | 56 |
| Heimat-Einrichtung | Theorie verteilter und paralleler Systeme |
| beteiligte Einrichtungen | Institut für Informatik |
| Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
| Nächster Termin | Freitag, 12.12.2025 12:15 - 14:45, Ort: (1058 N) |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Ja |
| Hauptunterrichtssprache | deutsch |
| Literaturhinweise |
U. Schöning: Theoretische Informatik- kurz gefasst, Spektrum 2008 J. Hopcroft, R. Motwani, J. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson 2011 Thomas: Automata on Infinite Objects. Chapter 4 in Handbook of Theoretical Computer Science, Hrsg. van Leeuwen |
| ECTS-Punkte | 6 |
