703007 VO Einführung in die Theoretische Informatik

Sommersemester 2024 | Stand: 03.03.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)

OLAT:

https://lms.uibk.ac.at/url/RepositoryEntry/5607130258

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)

Studieneingangs- und Orientierungsphase (relevante Prüfungen)

Pflichtmodule (165 ECTS-AP)

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

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	Prüfungsdatum
703007-0	01.02.2024 08:00 - 30.06.2024 23:59		Zur LV anmelden
	Moser G.
703007-0	06.03.2024 00:00 - 14.06.2024 23:59	28.06.2024 9:15-11:00	Zur Prüfung anmelden
	Hinweis: 1te Klausur	Moser G.