703007 VO Einführung in die Theoretische Informatik

Wintersemester 2024/2025 | Stand: 03.03.2025 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Dr. Manuel Eberl Dr. Manuel Eberl, +43 512 507 53467
Samuel Frontull, BSc MSc Samuel Frontull, BSc MSc, +43 512 507 53497
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; Grammatiken; Chomsky Hierarchie; Berechenbarkeit; Kompexitätstheorie

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

Schriftliche Prüfung in Präsenz

Skriptum.

Weitere Literatur wird im OLAT Kurs angeführt.

LV wird aufgezeichnet

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/5717918019
https://lms.uibk.ac.at/auth/RepositoryEntry/5717918019/CourseNode/110493060947752
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Fr 04.10.2024
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 10.10.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 11.10.2024
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 17.10.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Do 24.10.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 25.10.2024
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 31.10.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Do 07.11.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 08.11.2024
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 14.11.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 15.11.2024
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 21.11.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 22.11.2024
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 28.11.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 29.11.2024
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 05.12.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 06.12.2024
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 12.12.2024
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 13.12.2024
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 09.01.2025
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 10.01.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 16.01.2025
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 17.01.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 23.01.2025
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 24.01.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 30.01.2025
 17.30 - 18.15 HS 10 HS 10 Barrierefrei TUTORIUM
Fr 31.01.2025
 10.15 - 13.15 HS A (Technik) HS A (Technik) Barrierefrei
Fr 07.03.2025
 13.30 - 15.15 HSB 2 HSB 2 Barrierefrei 2nd exam
Gruppe Anmeldefrist Prüfungsdatum
703007-0 12.05.2025 00:00 - 13.06.2025 23:59
27.06.2025
14:00-16:00
HS C
Hinweis:
3ter Termin 		Moser G.