Allgemeine Informationen
Veranstaltungsname | Vorlesung: Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme |
Veranstaltungsnummer | INF-0155/-0355/-0190/-0262 |
Semester | WS 2023/24 |
Aktuelle Anzahl der Teilnehmenden | 52 |
Heimat-Einrichtung | Grundlagen des Software & Systems Engineering |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Mittwoch, 18.10.2023 09:00 - 11:30, Ort: (1057 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 |