921033 UE Einführung in die Theoretische Informatik

Wintersemester 2026/2027 | Stand: 22.06.2026 LV auf Merkliste setzen
E Diese Lehrveranstaltung wird im Rahmen eines gemeinsamen Studiums von einer anderen Bildungseinrichtung angeboten
Institut für Fachdidaktik Institut für Fachdidaktik, Pädagogische Hochschule Vorarlberg Pädagogische Hochschule Vorarlberg
Dr. Mag. Ing. Prof. Matthias Hirner Dr. Mag. Ing. Prof. Matthias Hirner
921033
823DI606x2
(Pädagogische Hochschule Vorarlberg)
UE Einführung in die Theoretische Informatik
UE 1
2
keine Angabe
keine Angabe
Deutsch
Die Studierenden können verschiedene formale Berechnungsmodelle anwenden, formale Beweise praktisch durchführen und konkrete Algorithmen abstrakt repräsentieren.
Übungen zur : booleschen Aussagenlogik informatische Sprach-Produktion und Grammatik Chomsky Hierarchien Turing Maschinen Automatentheorie Halteproblematik Terminierungsbeweisen Korrektheitsbeweisen
Notenskala für umgesetzte Übungsbeispiele
-
https://www.ph-online.ac.at/ph-vorarlberg/wbLv.wbShowLVDetailExternal?pStpSpNr=247383
https://www.ph-online.ac.at/ph-vorarlberg/ee/ui/ca2/app/desktop/#/slc.tm.cp/student/courses/247383?$scrollTo=toc_overview
https://www.ph-online.ac.at/ph-vorarlberg/ee/ui/ca2/app/desktop/#/pl/ui/$ctx/wbTermin_list.wbLehrveranstaltung?$ctx=design=ca2;header=max&pStpSpNr=247383