146129 VO Theoretische Grundlagen der Informatik

Sommersemester 2020 | Stand: 30.11.2023 LV auf Merkliste setzen
FSS Technikerstraße 17 FSS Technikerstraße 17
O.Univ.-Prof. Dr.med.univ. Rainer Schubert O.Univ.-Prof. Dr.med.univ. Rainer Schubert
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.

 

https://lms.uibk.ac.at/url/RepositoryEntry/4758208607
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Do 23.04.2020
 13.15 - 16.45 UMIT UMIT SR 106
Do 30.04.2020
 13.15 - 16.45 UMIT UMIT SR 101
Do 14.05.2020
 13.15 - 16.45 UMIT UMIT SR 105
Do 28.05.2020
 13.15 - 16.45 UMIT UMIT SR 101
Mi 03.06.2020
 13.15 - 16.45 UMIT UMIT HS002
Do 18.06.2020
 13.15 - 16.45 UMIT UMIT SR 101
Do 25.06.2020
 13.15 - 16.45 UMIT UMIT SR 101