703008 PS Einführung in die Theoretische Informatik

Wintersemester 2018/2019 | Stand: 01.10.2018 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

Maximilian Haslbeck, MSc
Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
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/ws18/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.)

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
Moser G.
Datum	Uhrzeit	Ort
Fr 05.10.2018	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Fr 12.10.2018	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Fr 09.11.2018	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Fr 16.11.2018	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Fr 30.11.2018	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Fr 07.12.2018	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Fr 14.12.2018	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Fr 11.01.2019	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Fr 18.01.2019	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Fr 25.01.2019	12.15 - 13.00	SR 12 SR 12	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Obwaller D.
Datum	Uhrzeit	Ort
Fr 05.10.2018	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Fr 12.10.2018	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Fr 09.11.2018	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Fr 16.11.2018	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Fr 30.11.2018	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Fr 07.12.2018	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Fr 14.12.2018	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Fr 11.01.2019	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Fr 18.01.2019	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Fr 25.01.2019	12.15 - 13.00	SR 13 SR 13	Barrierefrei
Gruppe 3	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Mitterwallner F.
Datum	Uhrzeit	Ort
Fr 05.10.2018	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Fr 12.10.2018	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Fr 09.11.2018	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Fr 16.11.2018	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Fr 30.11.2018	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Fr 07.12.2018	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Fr 14.12.2018	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Fr 11.01.2019	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Fr 18.01.2019	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Fr 25.01.2019	13.15 - 14.00	SR 12 SR 12	Barrierefrei
Gruppe 4	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Obwaller D.
Datum	Uhrzeit	Ort
Fr 05.10.2018	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Fr 12.10.2018	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Fr 09.11.2018	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Fr 16.11.2018	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Fr 30.11.2018	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Fr 07.12.2018	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Fr 14.12.2018	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Fr 11.01.2019	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Fr 18.01.2019	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Fr 25.01.2019	13.15 - 14.00	SR 13 SR 13	Barrierefrei
Gruppe 5	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Haslbeck M.
Datum	Uhrzeit	Ort
Fr 05.10.2018	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Fr 12.10.2018	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Fr 09.11.2018	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Fr 16.11.2018	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Fr 30.11.2018	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Fr 07.12.2018	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Fr 14.12.2018	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Fr 11.01.2019	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Fr 18.01.2019	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Fr 25.01.2019	12.15 - 13.00	HS 11 HS 11	Barrierefrei
Gruppe 6	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Haslbeck M.
Datum	Uhrzeit	Ort
Fr 05.10.2018	11.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Fr 12.10.2018	11.15 - 12.00	HS 11 HS 11	Barrierefrei
Fr 09.11.2018	11.15 - 12.00	HS 11 HS 11	Barrierefrei
Fr 16.11.2018	11.15 - 12.00	HS 11 HS 11	Barrierefrei
Fr 30.11.2018	11.15 - 12.00	HS 11 HS 11	Barrierefrei
Fr 07.12.2018	11.15 - 12.00	HS 11 HS 11	Barrierefrei
Fr 14.12.2018	11.15 - 12.00	HS 11 HS 11	Barrierefrei
Fr 11.01.2019	11.15 - 12.00	HS 11 HS 11	Barrierefrei
Fr 18.01.2019	11.15 - 12.00	HS 11 HS 11	Barrierefrei
Fr 25.01.2019	11.15 - 12.00	HS 11 HS 11	Barrierefrei