703007 VO Einführung in die Theoretische Informatik

Wintersemester 2020/2021 | Stand: 16.09.2021 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
703007
VO Einführung in die Theoretische Informatik
VO 2
3
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.

Aussagenlogik; Boolesche Algebrra, Grammatiken; Chomsky Hierarchie; formale Sprachen, Berechenbarkeitstheorie; Turingmaschinen; Registermaschinen; Komplexitätstheorie; Programmverifikation

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

Schriftliche Prüfung online in OLAT

Skriptum.

Weitere Literatur wird im OLAT Kurs angeführt.

Aufzeichnung + eLearning

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.

https://lms.uibk.ac.at/url/RepositoryEntry/4788813882
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Moser G.
Datum Uhrzeit Ort
Fr 09.10.2020
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 15.10.2020
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 16.10.2020
 17.00 - 18.15 dVs dVs
Do 22.10.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 23.10.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 29.10.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 30.10.2020
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 05.11.2020
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 06.11.2020
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 12.11.2020
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 13.11.2020
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 19.11.2020
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 20.11.2020
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 26.11.2020
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 27.11.2020
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 03.12.2020
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 04.12.2020
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 10.12.2020
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 11.12.2020
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 17.12.2020
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 18.12.2020
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 07.01.2021
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 08.01.2021
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 14.01.2021
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 15.01.2021
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 21.01.2021
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 22.01.2021
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Do 28.01.2021
 17.15 - 18.00 HS A (Technik) HS A (Technik) Barrierefrei TUTORIUM
Fr 29.01.2021
 10.15 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei
Gruppe 1
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Moser G.
Datum Uhrzeit Ort
Fr 09.10.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 15.10.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Do 22.10.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 23.10.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 29.10.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 30.10.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 05.11.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 06.11.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 12.11.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 13.11.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 19.11.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 20.11.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 26.11.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 27.11.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 03.12.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 04.12.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 10.12.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 11.12.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 17.12.2020
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 18.12.2020
 10.15 - 12.00 eLecture - online eLecture - online
Do 07.01.2021
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 08.01.2021
 10.15 - 12.00 eLecture - online eLecture - online
Do 14.01.2021
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 15.01.2021
 10.15 - 12.00 eLecture - online eLecture - online
Do 21.01.2021
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 22.01.2021
 10.15 - 12.00 eLecture - online eLecture - online
Do 28.01.2021
 17.15 - 18.00 eLecture - online eLecture - online TUTORIUM
Fr 29.01.2021
 10.15 - 12.00 eLecture - online eLecture - online