703008 Einführung in die Theoretische Informatik

Wintersemester 2013/2014 | Stand: 02.10.2013 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
Michael Schaper, MSc
Florian Seidner

LV-Nummer:

703008

Titel:

Einführung in die Theoretische Informatik

Typ/Stunden:

PS 1

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:

Diskussion, Vertiefung und Einübung der Inhalte der Vorlesung; Übung im wissenschaftlichenmArgumentieren und im Präsentieren von Themen aus der theoretischen Informatik

Methoden:

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Prüfungsmodus:

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Literatur:

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

Link:

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

Beginn:

10.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 1	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Moser G.
Datum	Uhrzeit	Ort
Do 10.10.2013	11.15 - 12.00	HSB 1 HSB 1	Barrierefrei
Do 17.10.2013	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 24.10.2013	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 31.10.2013	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 07.11.2013	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 14.11.2013	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 21.11.2013	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 28.11.2013	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 05.12.2013	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 12.12.2013	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 09.01.2014	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 16.01.2014	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 23.01.2014	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Do 30.01.2014	11.15 - 12.00	HSB 2 HSB 2	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Seidner F.
Datum	Uhrzeit	Ort
Do 10.10.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 17.10.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 24.10.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 31.10.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 07.11.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 14.11.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 21.11.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 28.11.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 05.12.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 12.12.2013	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 09.01.2014	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 16.01.2014	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 23.01.2014	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Do 30.01.2014	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Gruppe 3	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Schaper M.
Datum	Uhrzeit	Ort
Do 10.10.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 17.10.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 24.10.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 31.10.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 07.11.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 14.11.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 21.11.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 28.11.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 05.12.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 12.12.2013	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 09.01.2014	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 16.01.2014	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 23.01.2014	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Do 30.01.2014	13.15 - 14.00	HS 11 HS 11	Barrierefrei
Gruppe 4	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Schaper M.
Datum	Uhrzeit	Ort
Do 10.10.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 17.10.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 24.10.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 31.10.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 07.11.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 14.11.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 21.11.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 28.11.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 05.12.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 12.12.2013	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 09.01.2014	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 16.01.2014	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 23.01.2014	14.15 - 15.00	HS 11 HS 11	Barrierefrei
Do 30.01.2014	14.15 - 15.00	HS 11 HS 11	Barrierefrei