703007 VO Einführung in die Theoretische Informatik

Sommersemester 2025 | Stand: 28.11.2024 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Georg Moser, +43 512 507 53213

LV-Nummer:

703007

Titel:

VO Einführung in die Theoretische Informatik

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

semestral

Unterrichtssprache:

Deutsch

Lernergebnis:

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.

Inhalt:

Aussagenlogik; Schaltkreise; Grammatiken; Chomsky Hierarchie; formale Modelle; Berechenbarkeit; Gleichungslogik; Programmverifikation

Methoden:

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

Prüfungsmodus:

Schriftliche Prüfung.

Literatur:

Skriptum.

Weitere Literatur wird auf der Kurshomepage angeführt.

Anmerkungen:

Im Rahmen der Studieneingangs- und Orientierungsphase (StEOP) sind folgende Lehrveranstaltungsprüfungen abzulegen:

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

Link:

https://lms.uibk.ac.at/auth/RepositoryEntry/5607130258/CourseNode/109370845133437

Beginn:

siehe Termine

Zeit, Ort:

Termine siehe OLAT, OLAT

Studienzuordnung(en)

Fakultät für LehrerInnenbildung

Bachelorstudium Lehramt Sekundarstufe (Allgemeinbildung) laut Curriculum 2015 (240 ECTS-AP, 8 Semester)

Unterrichtsfach Informatik

Pflichtmodule (90 ECTS-AP)

Pflichtmodul 4: Einführung in die Theoretische Informatik (5 ECTS-AP; 3 SSt.)

Fakultät für Mathematik, Informatik und Physik

Bachelorstudium Informatik laut Curriculum 2019 (180 ECTS-AP, 6 Semester)

Pflichtmodule (165 ECTS-AP)

Pflichtmodul 2: Einführung in die Theoretische Informatik (5 ECTS-AP, 3 SSt.)

Studieneingangs- und Orientierungsphase (relevante Prüfungen)

Nachhaltigkeitsziele

SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen

Anmeldung

Gruppe	Anmeldefrist
703007-0	01.02.2025 08:00 - 30.06.2025 23:59
	Moser G.