703062 SL Einführung in die Theoretische Informatik

Wintersemester 2019/2020 | Stand: 18.02.2020 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
David Drexel, BSc MSc David Drexel, BSc MSc, +43 512 507 53486
Alexander Lochmann Alexander Lochmann
Alexander Maringele, BSc Alexander Maringele, BSc
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
David Obwaller, BSc MSc David Obwaller, BSc MSc
Jonas Helmut Schöpf, BSc MSc Jonas Helmut Schöpf, BSc MSc, +43 512 507 53444
703062
SL Einführung in die Theoretische Informatik
SL 1
2
wöch.
semestral
Deutsch

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.

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

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

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

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

Studieneingangs- und Orientierungsphase (StEOP) ab dem Wintersemester 2019/2020:

Im Rahmen der Studieneingangs- und Orientierungsphase, die im ersten Semester stattfindet, sind folgende Lehrveranstaltungsprüfungen abzulegen:

  1. VO Einführung in die Programmierung (3 SSt/4,5 ECTS-AP)
  2. VO Einführung in die Theoretische Informatik (2 SSt/3 ECTS-AP)
  3. SL Einführung in die Theoretische Informatik (1 SSt/2 ECTS-AP)

Weitere Informationen finden Sie hier.

http://cl-informatik.uibk.ac.at/teaching/ws19/eti
siehe Termine
Gruppe 1
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Maringele A.
Datum Uhrzeit Ort
Fr 11.10.2019
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 25.10.2019
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 08.11.2019
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 15.11.2019
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 22.11.2019
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 29.11.2019
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 06.12.2019
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 13.12.2019
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 10.01.2020
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 17.01.2020
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 24.01.2020
 12.15 - 13.00 SR 12 SR 12 Barrierefrei
Fr 31.01.2020
 12.00 - 13.00 HS C (Technik) HS C (Technik) Barrierefrei Klausur
Gruppe 2
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Schöpf J.
Datum Uhrzeit Ort
Fr 11.10.2019
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 25.10.2019
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 08.11.2019
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 15.11.2019
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 22.11.2019
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 29.11.2019
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 06.12.2019
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 13.12.2019
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 10.01.2020
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 17.01.2020
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 24.01.2020
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Fr 31.01.2020
 11.15 - 12.00 SR 12 SR 12 Barrierefrei
Gruppe 3
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Drexel D.
Datum Uhrzeit Ort
Fr 11.10.2019
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 25.10.2019
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 08.11.2019
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 15.11.2019
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 22.11.2019
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 29.11.2019
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 06.12.2019
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 13.12.2019
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 10.01.2020
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 17.01.2020
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 24.01.2020
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Fr 31.01.2020
 10.15 - 11.00 SR 12 SR 12 Barrierefrei
Gruppe 4
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Lochmann A.
Datum Uhrzeit Ort
Fr 11.10.2019
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 25.10.2019
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 08.11.2019
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 15.11.2019
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 22.11.2019
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 29.11.2019
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 06.12.2019
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 13.12.2019
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 10.01.2020
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 17.01.2020
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 24.01.2020
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Fr 31.01.2020
 12.15 - 13.00 SR 13 SR 13 Barrierefrei
Gruppe 5
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Obwaller D.
Datum Uhrzeit Ort
Fr 11.10.2019
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 25.10.2019
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 08.11.2019
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 15.11.2019
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 22.11.2019
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 29.11.2019
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 06.12.2019
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 13.12.2019
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 10.01.2020
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 17.01.2020
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 24.01.2020
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Fr 31.01.2020
 12.15 - 13.00 HS 11 HS 11 Barrierefrei
Gruppe 6
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Obwaller D.
Datum Uhrzeit Ort
Fr 11.10.2019
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 25.10.2019
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 08.11.2019
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 15.11.2019
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 22.11.2019
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 29.11.2019
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 06.12.2019
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 13.12.2019
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 10.01.2020
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 17.01.2020
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 24.01.2020
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Fr 31.01.2020
 11.15 - 12.00 HS 11 HS 11 Barrierefrei
Gruppe 7
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Schöpf J.
Datum Uhrzeit Ort
Fr 11.10.2019
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 25.10.2019
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 08.11.2019
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 15.11.2019
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 22.11.2019
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 29.11.2019
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 06.12.2019
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 13.12.2019
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 10.01.2020
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 17.01.2020
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 24.01.2020
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Fr 31.01.2020
 10.15 - 11.00 HS 11 HS 11 Barrierefrei
Gruppe 8
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Drexel D.
Datum Uhrzeit Ort
Fr 11.10.2019
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 25.10.2019
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 08.11.2019
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 15.11.2019
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 22.11.2019
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 29.11.2019
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 06.12.2019
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 13.12.2019
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 10.01.2020
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 17.01.2020
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 24.01.2020
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 31.01.2020
 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Gruppe 10
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Moser G.
Datum Uhrzeit Ort
Fr 11.10.2019
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 25.10.2019
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 08.11.2019
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 15.11.2019
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 22.11.2019
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 29.11.2019
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 06.12.2019
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 13.12.2019
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 10.01.2020
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 17.01.2020
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 24.01.2020
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei
Fr 31.01.2020
 10.15 - 11.00 HSB 1 HSB 1 Barrierefrei