703008 PS Einführung in die Theoretische Informatik

Wintersemester 2017/2018 | Stand: 21.09.2018 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

Christina Kirk, BSc MSc, +43 512 507 53343
Alexander Maringele, BSc
Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
David Obwaller, BSc MSc

LV-Nummer:

703008

Titel:

PS 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/ws17/eti

Beginn:

siehe Termine

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

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

Lehramtsstudium Unterrichtsfach Informatik und Informatikmanagement (2001W)

I. Studienabschnitt

School of Education - Fakultät für LehrerInnenbildung

Bachelorstudium Lehramt Sekundarstufe (Allgemeinbildung) laut Curriculum 2015 (240 ECTS-AP, 8 Semester)

Unterrichtsfach Informatik

Pflichtmodule (90 ECTS-AP)

Pflichtmodul 4: Einführung in die Theoretische Informatik (5 ECTS-AP; 3 SSt.)

Termine

Gruppe 1	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Obwaller D.
Datum	Uhrzeit	Ort
Fr 06.10.2017	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 20.10.2017	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 27.10.2017	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 03.11.2017	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 10.11.2017	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 17.11.2017	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 24.11.2017	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 01.12.2017	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 15.12.2017	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 12.01.2018	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 19.01.2018	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 26.01.2018	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Fr 02.02.2018	08.15 - 09.00	HS 10 HS 10	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Maringele A.
Datum	Uhrzeit	Ort
Fr 06.10.2017	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 20.10.2017	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 27.10.2017	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 03.11.2017	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 10.11.2017	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 17.11.2017	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 24.11.2017	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 01.12.2017	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 15.12.2017	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 12.01.2018	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 19.01.2018	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 26.01.2018	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Fr 02.02.2018	08.15 - 09.00	HS 11 HS 11	Barrierefrei
Gruppe 3	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Moser G.
Datum	Uhrzeit	Ort
Fr 06.10.2017	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 20.10.2017	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 27.10.2017	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 03.11.2017	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 10.11.2017	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 17.11.2017	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 24.11.2017	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 01.12.2017	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 15.12.2017	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 12.01.2018	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 19.01.2018	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 26.01.2018	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Fr 02.02.2018	09.15 - 10.00	HS 10 HS 10	Barrierefrei
Gruppe 4	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Maringele A.
Datum	Uhrzeit	Ort
Fr 06.10.2017	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 20.10.2017	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 27.10.2017	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 03.11.2017	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 10.11.2017	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 17.11.2017	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 24.11.2017	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 01.12.2017	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 15.12.2017	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 12.01.2018	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 19.01.2018	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 26.01.2018	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Fr 02.02.2018	09.15 - 10.00	HS 11 HS 11	Barrierefrei
Gruppe 5	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Kirk C.
Datum	Uhrzeit	Ort
Fr 06.10.2017	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 20.10.2017	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 27.10.2017	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 03.11.2017	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 10.11.2017	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 17.11.2017	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 24.11.2017	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 01.12.2017	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 15.12.2017	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 12.01.2018	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 19.01.2018	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 26.01.2018	08.15 - 09.00	SR 12 SR 12	Barrierefrei
Fr 02.02.2018	08.15 - 09.00	SR 12 SR 12	Barrierefrei