146129 VO Theoretische Grundlagen der Informatik
Sommersemester 2021 | Stand: 07.01.2021 | 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 19.05.2021
|
13.15 - 16.45 | eLecture - online eLecture - online | ||
Mi 26.05.2021
|
13.15 - 16.45 | eLecture - online eLecture - online | ||
Mi 02.06.2021
|
13.15 - 16.45 | eLecture - online eLecture - online | ||
Do 10.06.2021
|
13.15 - 16.45 | eLecture - online eLecture - online | ||
Do 17.06.2021
|
13.15 - 16.45 | eLecture - online eLecture - online | ||
Do 24.06.2021
|
13.15 - 16.45 | eLecture - online eLecture - online | ||
Do 01.07.2021
|
13.15 - 16.45 | eLecture - online eLecture - online |