146129 VO Theoretische Grundlagen der Informatik
Sommersemester 2025 | Stand: 29.11.2024 | 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 | ||
|
Fr 07.03.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 14.03.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 21.03.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 28.03.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 04.04.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 11.04.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 09.05.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 16.05.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 23.05.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 06.06.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 13.06.2025
|
10.00 - 11.30 | UMIT UMIT | ||
|
Fr 27.06.2025
|
09.00 - 12.15 | UMIT UMIT | ||