703008 Einführung in die Theoretische Informatik

Wintersemester 2015/2016 | Stand: 06.10.2015 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

Alexander Maringele, BSc
Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
Michael Knut Schaper, BSc MSc PhD, +43 512 507 53232
Manuel Schneckenreither

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

Beginn:

siehe Termine

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
Maringele A.
Datum	Uhrzeit	Ort
Fr 09.10.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 16.10.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 23.10.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 30.10.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 06.11.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 13.11.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 20.11.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 27.11.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 04.12.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 11.12.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 18.12.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 15.01.2016	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 22.01.2016	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 29.01.2016	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 05.02.2016	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Schaper M.
Datum	Uhrzeit	Ort
Fr 09.10.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 16.10.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 23.10.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 30.10.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 06.11.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 13.11.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 20.11.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 27.11.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 04.12.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 11.12.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 18.12.2015	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 15.01.2016	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 22.01.2016	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 29.01.2016	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 05.02.2016	12.15 - 13.00	HS 10 HS 10	Barrierefrei
Gruppe 3	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Moser G.
Datum	Uhrzeit	Ort
Fr 09.10.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 16.10.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 23.10.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 30.10.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 06.11.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 13.11.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 20.11.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 27.11.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 04.12.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 11.12.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 18.12.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 15.01.2016	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 22.01.2016	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 29.01.2016	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 05.02.2016	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Gruppe 4	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Schneckenreither M.
Datum	Uhrzeit	Ort
Fr 09.10.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 16.10.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 23.10.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 30.10.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 06.11.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 13.11.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 20.11.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 27.11.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 04.12.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 11.12.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 18.12.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 15.01.2016	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 22.01.2016	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 29.01.2016	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 05.02.2016	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Gruppe 5	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Schaper M.
Datum	Uhrzeit	Ort
Fr 09.10.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 16.10.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 23.10.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 13.11.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 20.11.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 27.11.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 04.12.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 11.12.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 18.12.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 15.01.2016	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 22.01.2016	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 29.01.2016	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 05.02.2016	08.15 - 09.00	HS 11 HS 11	Barrierefrei