146129 VO Theoretische Grundlagen der Informatik
Sommersemester 2026 | Stand: 06.11.2025 | LV auf Merkliste setzen146129
VO Theoretische Grundlagen der Informatik
VO 2
2,5
Block
jährlich
Deutsch
Die Studierenden
- kennen grundlegende Konzepte der Automatentheorie, formalen Sprachen und Berechenbarkeit
- verstehen die Zusammenhänge zwischen diesen Begriffen
- sind in der Lage, darauf aufbauende theoretischen Arbeiten selbstständig zu erschließen
Aussagenlogik; Automatentheorie und -anwendung; reguläre Sprachen; Formalisieren von Sprachen/Grammatiken; Syntax und Semantik in Sprachen; Berechenbarkeit; Turing-Maschine; Halteproblem und Entscheidbarkeit; Komplexität von Algorithmen; P- und NP-Klassen; Lösungsverfahren für NP Probleme.
Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.
Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen.
Wird noch bekannt gegeben.
siehe Termine
- Fakultät für Technische Wissenschaften
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mi 04.03.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 11.03.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 18.03.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 25.03.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 15.04.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 22.04.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 29.04.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 06.05.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 13.05.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 20.05.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Mi 27.05.2026
|
15.00 - 16.30 | UMIT UMIT | ||
|
Fr 05.06.2026
|
15.00 - 16.30 | UMIT UMIT | ||