703007 Einführung in die Theoretische Informatik

Wintersemester 2011/2012 | Stand: 23.02.2012 | 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:

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

Anmerkungen:

Beginn: siehe Termine

Link:

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

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Lehramtsstudium (270 ECTS-AP, 9 Semester)

Informatik und Informatikmanagement

I. Studienabschnitt

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

1. Semester

Einführung in die Theoretische Informatik

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Fr 07.10.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 12.10.2011	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 14.10.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 19.10.2011	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 21.10.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Fr 28.10.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Fr 04.11.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 09.11.2011	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 11.11.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 16.11.2011	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 18.11.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 23.11.2011	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 25.11.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 30.11.2011	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 02.12.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 07.12.2011	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 09.12.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 14.12.2011	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 16.12.2011	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 11.01.2012	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 13.01.2012	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 18.01.2012	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 20.01.2012	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 25.01.2012	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 27.01.2012	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei
Mi 01.02.2012	18.00 - 19.00	HS E (Technik) HS E (Technik)	Barrierefrei	TUTORIUM
Fr 03.02.2012	10.15 - 12.00	HS B (Technik) HS B (Technik)	Barrierefrei