146129 VO Theoretische Grundlagen der Informatik

Sommersemester 2025 | Stand: 23.01.2025 LV auf Merkliste setzen
146129
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
Gruppe 0
Datum Uhrzeit Ort
Mi 05.03.2025
15.00 - 16.30 UMIT UMIT
Mi 12.03.2025
15.00 - 16.30 UMIT UMIT
Mi 19.03.2025
15.00 - 16.30 UMIT UMIT
Mi 26.03.2025
15.00 - 16.30 UMIT UMIT
Mi 02.04.2025
15.00 - 16.30 UMIT UMIT
Mi 07.05.2025
15.00 - 16.30 UMIT UMIT
Mi 28.05.2025
15.00 - 16.30 UMIT UMIT
Mi 04.06.2025
09.00 - 10.30 UMIT UMIT
Do 12.06.2025
11.00 - 12.30 UMIT UMIT
Mi 25.06.2025
13.15 - 16.45 UMIT UMIT
Do 26.06.2025
09.00 - 12.45 UMIT UMIT
Gruppe Anmeldefrist
146129-0 01.02.2025 08:00 - 28.06.2025 23:59 Zur LV anmelden
Schubert R.