146129 VO Theoretische Grundlagen der Informatik

Sommersemester 2019 | Stand: 30.11.2023 LV auf Merkliste setzen
FSS Technikerstraße 17 FSS Technikerstraße 17
Ao.Univ.-Prof. Dr. Martin Welk Ao.Univ.-Prof. Dr. Martin Welk
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
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Do 16.05.2019
 13.15 - 16.45 UMIT UMIT SR101
Sa 18.05.2019
 10.00 - 13.30 UMIT UMIT SR101
Sa 25.05.2019
 10.00 - 13.30 UMIT UMIT SR101
Mo 27.05.2019
 13.15 - 16.45 UMIT UMIT SR101
Mo 27.05.2019
 13.15 - 16.45 UMIT UMIT SR101
Mi 29.05.2019
 13.15 - 16.45 UMIT UMIT SR101
Do 13.06.2019
 13.15 - 16.45 UMIT UMIT SR101
Mi 26.06.2019
 13.15 - 16.45 UMIT UMIT HS002