703007 VO Einführung in die Theoretische Informatik

Wintersemester 2018/2019 | Stand: 05.09.2019 | 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:

jährlich

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:

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

Prüfungsmodus:

Schriftliche Prüfung.

Literatur:

Skriptum.

Weitere Literatur wird auf der Kurshomepage angeführt.

Link:

http://cl-informatik.uibk.ac.at/teaching/ws18/eti

Beginn:

siehe Termine

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Bachelorstudium Informatik nach dem Curriculum 2007 (180 ECTS-AP, 6 Semester)

1. Semester

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

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.)

Interdisziplinäres und zusätzliches Angebot

Interdisziplinäres Angebot

Interdisziplinäre und Außerfachliche Kompetenzen für Bachelorstudien

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mo 01.10.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 08.10.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 15.10.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 22.10.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 29.10.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 05.11.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 12.11.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 19.11.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 26.11.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 03.12.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 10.12.2018	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 07.01.2019	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 14.01.2019	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 21.01.2019	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mo 28.01.2019	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei	1. Prüfung
Di 15.10.2019	11.00 - 13.00	HSB 3 HSB 3	Barrierefrei	3. Klausur