921032 VO 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
BSc. M.A. MSc PhD Patrick Jost BSc. M.A. MSc PhD Patrick Jost
921032
823DI606x1
(Pädagogische Hochschule Vorarlberg)
VO Einführung in die Theoretische Informatik
VO 2
3,5
keine Angabe
keine Angabe
Deutsch
Die Studierenden verstehen verschiedene formale Modelle und Kalkulations-Methoden der Berechenbarkeit, Terminierungs- und Korrektheits-Beweisführung von abstrakten Automaten, kombinatorischen Schaltnetzwerken und realen Sequenz-Maschinen. Die Studierenden können informatikrelevante Begriffe auf das Wesentliche reduzieren, abstrakt repräsentieren und formale Beweise führen.
Aussagenlogik Produktionen von abstrakten, informatischen Sprachen informatische Grammatiken Chomsky Hierarchien Automatentheorie Halteproblematik Terminierungsbeweisführung Korrektheitsbeweise
Notenskala
keine
https://www.ph-online.ac.at/ph-vorarlberg/wbLv.wbShowLVDetailExternal?pStpSpNr=247382
https://www.ph-online.ac.at/ph-vorarlberg/ee/ui/ca2/app/desktop/#/slc.tm.cp/student/courses/247382?$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=247382