703007 Einführung in die Theoretische Informatik

Wintersemester 2014/2015 | Stand: 18.12.2014 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Priv.-Doz. Dr. Harald Zankl

LV-Nummer:

703007

Titel:

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/ws14/eti

Beginn:

06.10.2013

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Lehramtsstudium (laut Stand vom 8.6.2011)

Informatik und Informatikmanagement

I. Studienabschnitt

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

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mo 06.10.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 09.10.2014	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 13.10.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 16.10.2014	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 20.10.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 23.10.2014	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 27.10.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 30.10.2014	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 03.11.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 06.11.2014	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 10.11.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 13.11.2014	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 17.11.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 20.11.2014	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 24.11.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 27.11.2014	15.15 - 16.00	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 01.12.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 04.12.2014	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Do 11.12.2014	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 15.12.2014	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 08.01.2015	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 12.01.2015	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 15.01.2015	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 19.01.2015	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 22.01.2015	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 26.01.2015	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Do 29.01.2015	15.15 - 16.30	HSB 6 HSB 6	Barrierefrei	TUTORIUM
Mo 02.02.2015	12.15 - 14.00	HS B (Technik) HS B (Technik)	Barrierefrei
Fr 27.02.2015	11.30 - 15.00	HSB 2 HSB 2	Barrierefrei	2. Klausur