146129 VO Theoretische Grundlagen der Informatik

Sommersemester 2023 | 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/5456232547
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mi 17.05.2023
 13.15 - 16.45 UMIT UMIT
Do 01.06.2023
 15.45 - 17.15 UMIT UMIT
Mi 07.06.2023
 09.00 - 10.30 UMIT UMIT
Do 15.06.2023
 13.15 - 16.45 UMIT UMIT
Do 22.06.2023
 13.15 - 16.45 UMIT UMIT
Mi 28.06.2023
 09.15 - 12.45 UMIT UMIT
Do 29.06.2023
 09.15 - 12.45 UMIT UMIT
Mo 03.07.2023
 13.15 - 16.45 UMIT UMIT