703007 VO Einführung in die Theoretische Informatik

Sommersemester 2020 | Stand: 12.05.2020 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
703007
VO Einführung in die Theoretische Informatik
VO 2
3
wöch.
semestral
Deutsch
Absolventinnen und Absolventen dieses Moduls verstehen den Begriff der Berechenbarkeit und unterschiedliche formale Berechnungsmodelle sowie deren Unterschiede. Zudem können sie Informationen auf das Wesentliche reduzieren und abstrakt repräsentieren sowie formale Beweise führen.
Aussagenlogik; Schaltkreise; Grammatiken; Chomsky Hierarchie; formale Modelle; Berechenbarkeit; Gleichungslogik; Programmverifikation

Die Vorlesung wird als Online-Kurs in OLAT mit Videoaufzeichnungen und einem moderierten Diskussionsforum angeboten.

Schriftliche Prüfung.

Skriptum.

Weitere Literatur wird auf der Kurshomepage angeführt.

eLecture (100% virtuelle Lehre)

Studieneingangs- und Orientierungsphase (StEOP) ab dem Wintersemester 2019/2020:

Im Rahmen der Studieneingangs- und Orientierungsphase, die im ersten Semester stattfindet, sind folgende Lehrveranstaltungsprüfungen abzulegen:

  1. VO Einführung in die Programmierung (3 SSt/4,5 ECTS-AP)
  2. VO Einführung in die Theoretische Informatik (2 SSt/3 ECTS-AP)
  3. SL Einführung in die Theoretische Informatik (1 SSt/2 ECTS-AP)

Weitere Informationen finden Sie hier.

https://lms.uibk.ac.at/url/RepositoryEntry/4646404252
https://lms.uibk.ac.at/auth/RepositoryEntry/4646404252