Allgemeine Informationen
| Veranstaltungsname | Vorlesung: Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme |
| Veranstaltungsnummer | INF-0262 |
| Semester | SS 2021 |
| Aktuelle Anzahl der Teilnehmenden | 30 |
| Heimat-Einrichtung | Grundlagen des Software & Systems Engineering |
| Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
| Erster Termin | Mittwoch, 14.04.2021 11:45 - 14:00 |
| Online/Digitale Veranstaltung | Veranstaltung wird online/digital abgehalten. |
| 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 |
