146129 VO Theoretische Grundlagen der Informatik

Sommersemester 2024 | Stand: 08.05.2024 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
Fr 08.03.2024
10.00 - 11.30 UMIT UMIT
Fr 12.04.2024
10.00 - 11.30 UMIT UMIT
Fr 19.04.2024
10.00 - 11.30 UMIT UMIT
Fr 26.04.2024
10.00 - 11.30 UMIT UMIT
Fr 03.05.2024
10.00 - 11.30 UMIT UMIT
Fr 17.05.2024
10.00 - 11.30 UMIT UMIT
Fr 17.05.2024
12.00 - 13.30 UMIT UMIT
Fr 24.05.2024
10.00 - 11.30 UMIT UMIT
Fr 31.05.2024
10.00 - 11.30 UMIT UMIT
Fr 07.06.2024
10.00 - 11.30 UMIT UMIT
Fr 07.06.2024
12.00 - 13.30 UMIT UMIT
Fr 14.06.2024
10.00 - 11.30 UMIT UMIT
Fr 21.06.2024
09.00 - 11.15 UMIT UMIT
Gruppe Anmeldefrist Prüfungsdatum
146129-0 10.06.2024 13:00 - 05.10.2024 23:59
09.10.2024
17:00 Uhr
UMIT TIROL
Schubert R.