703008 Einführung in die Theoretische Informatik

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

Institut:

Institut für Informatik

Lektor/in/n/en:

Dr. Michael Färber, MSc
Elias Kärle, BSc MSc
assoz. Prof. Dr. René Thiemann, +43 512 507 53234

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:

10.10.2014

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
Färber M.
Datum	Uhrzeit	Ort
Fr 10.10.2014	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 17.10.2014	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 24.10.2014	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 31.10.2014	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 07.11.2014	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 14.11.2014	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 21.11.2014	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 28.11.2014	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 05.12.2014	08.15 - 09.00	HSB 4 HSB 4	Barrierefrei
Fr 12.12.2014	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 09.01.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 16.01.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 23.01.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 30.01.2015	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Thiemann R.
Datum	Uhrzeit	Ort
Fr 10.10.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 17.10.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 24.10.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 31.10.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 07.11.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 14.11.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 21.11.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 28.11.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 05.12.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 12.12.2014	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 16.01.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 23.01.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 30.01.2015	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Gruppe 3	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Färber M.
Datum	Uhrzeit	Ort
Fr 10.10.2014	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 17.10.2014	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 24.10.2014	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 31.10.2014	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 07.11.2014	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 14.11.2014	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 21.11.2014	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 28.11.2014	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 05.12.2014	09.15 - 10.00	HSB 4 HSB 4	Barrierefrei
Fr 12.12.2014	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 09.01.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 16.01.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 23.01.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 30.01.2015	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Gruppe 4	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Kärle E.
Datum	Uhrzeit	Ort
Fr 10.10.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 17.10.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 24.10.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 31.10.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 07.11.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 14.11.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 21.11.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 28.11.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 05.12.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 12.12.2014	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 09.01.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 16.01.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 23.01.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 30.01.2015	09.15 - 10.00	HS 11 HS 11	Barrierefrei