192.017 Theoretische Informatik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023W, VU, 4.0h, 6.0EC
TUWELLectureTube

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • LectureTube Lehrveranstaltung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, die fundamentalen Konzepte und Resultate der Automatentheorie und formalen Sprachen, der Berechenbarkeits- und Komplexitätstheorie sowie der formalen Semantik von Programmiersprachen zu verstehen. Die Studierenden besitzen die Fähigkeit, formale Beschreibungen lesen und verstehen und Konzepte formal-mathematisch beschreiben zu können. Sie verstehen die Struktur von Beweisen und Argumentationen und können selber solche führen. Insbesondere verstehen Studierende das abstrakte Konzept der Problemreduktion und können Reduktionsbeweise in den Kontexten der Lehrveranstaltung führen. Sie sind in der Lage, Fragestellungen im Rahmen der theoretischen Informatik selbständig zu bearbeiten und zu lösen. Weiters können die Studierenden ethische Fragestellungen im Kontext dieser Lehrveranstaltung identifizieren, formulieren und diskutieren.

Inhalt der Lehrveranstaltung

Die Lehrveranstaltung behandelt die grundlegenden Konzepte und Resultate der folgenden Gebiete.

Automatentheorie: deterministische und nichtdeterministische Automaten, Kellerautomaten, Turing-Maschinen
Formale Sprachen: reguläre und kontextfreie Sprachen, Chomsky Hierarchie
Berechenbarkeit und Komplexität: universelle Berechenbarkeit, Komplexitätsklassen wie Unentscheidbarkeit und NP-Vollständigkeit
Formale Semantik von Programmiersprachen: operationale und axiomatische Semantik

Methoden

Zweimal wöchentlich werden die Lehrveranstaltungsinhalte im Hörsaal präsentiert und relevante Aufgaben und Beispiele diskutiert. Im Lauf des Semesters bearbeiten die Studierenden vier Übungsblätter mit Aufgaben zu den Themengebieten. Ein bis zwei Wochen nach Abgabe der Lösungen erhalten die Studierenden eine Rückmeldung zur Korrektheit ihrer Lösungsversuche sowie Zugang zu Musterlösungen. Fragen werden im Anschluss an die Vorlesung, online im TUWEL-Forum, per E-Mail und in gesonderten Fragestunden beantwortet.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Aufwandsabschätzung

 50h Vorlesung/Übung im Hörsaal
50h Übungsblätter
50h Vorbereitung auf den Abschlusstest
---------------------------------------
150h = 6.0 Ects

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.13:00 - 15:0002.10.2023 - 22.01.2024Informatikhörsaal - ARCH-INF Vorlesung
Mi.13:00 - 15:0004.10.2023 - 24.01.2024Informatikhörsaal - ARCH-INF Vorlesung
Fr.15:00 - 17:0024.11.2023FAV Hörsaal 1 Helmut Veith - INF Tutorium für Teil 2
Mo.17:00 - 19:0011.12.2023EI 5 Hochenegg HS Tutorium für Teil 3
Theoretische Informatik - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.02.10.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.04.10.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mo.09.10.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.11.10.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mo.16.10.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.18.10.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mo.23.10.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.25.10.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mo.30.10.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mo.06.11.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.08.11.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mo.13.11.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.15.11.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mo.20.11.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.22.11.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Fr.24.11.202315:00 - 17:00FAV Hörsaal 1 Helmut Veith - INF Tutorium für Teil 2
Mo.27.11.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.29.11.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mo.04.12.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.06.12.202313:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung

Leistungsnachweis

Die Gesamtbeurteilung ergibt sich aus den Leistungen, die bei vier Übungsblättern (zusammen max. 40 Punkte) sowie beim schriftlichen Abschlusstest (max. 60 Punkte) erbracht werden. Insgesamt können somit 100 Punkte erzielt werden. Für eine positive Gesamtbeurteilung sind mindestens 30 Punkte beim Abschlusstest und eine Gesamtpunkteanzahl von mindestens 50 notwendig. Positive Noten ergeben sich aus der Gesamtpunktezahl nach folgendem Schlüssel:

  • 50-61 Punkte: genügend (4)
  • 62-74 Punkte: befriedigend (3)
  • 75-87 Punkte: gut (2)
  • 88-100 Punkte: sehr gut (1)

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mo.17:00 - 19:0015.04.2024Informatikhörsaal - ARCH-INF schriftlich31.03.2024 00:00 - 13.04.2024 23:59in TISSAbschlusstest (3. Termin)
Mo.17:00 - 19:0015.04.2024EI 7 Hörsaal - ETIT schriftlich31.03.2024 00:00 - 13.04.2024 23:59in TISSAbschlusstest (3. Termin)
Mo.17:00 - 19:0015.04.2024FH Hörsaal 1 - MWB schriftlich31.03.2024 00:00 - 13.04.2024 23:59in TISSAbschlusstest (3. Termin)
Mo.17:00 - 19:0015.04.2024GM 2 Radinger Hörsaal - TCH schriftlich31.03.2024 00:00 - 13.04.2024 23:59in TISSAbschlusstest (3. Termin)
Fr.17:00 - 19:0024.05.2024HS 8 Heinz Parkus - CEE schriftlich09.05.2024 00:00 - 22.05.2024 23:59in TISSAbschlusstest (4. Termin)
Fr.17:00 - 19:0024.05.2024Hörsaal AE U1 - 1 - CEE schriftlich09.05.2024 00:00 - 22.05.2024 23:59in TISSAbschlusstest (4. Termin)
Fr.17:00 - 19:0024.05.2024HS 18 Czuber - MB schriftlich09.05.2024 00:00 - 22.05.2024 23:59in TISSAbschlusstest (4. Termin)
Fr.17:00 - 19:0024.05.2024EI 3 Sahulka HS - UIW schriftlich09.05.2024 00:00 - 22.05.2024 23:59in TISSAbschlusstest (4. Termin)
Fr.17:00 - 19:0024.05.2024EI 9 Hlawka HS - ETIT schriftlich09.05.2024 00:00 - 22.05.2024 23:59in TISSAbschlusstest (4. Termin)

LVA-Anmeldung

Von Bis Abmeldung bis
25.09.2023 08:00 16.10.2023 23:59 16.10.2023 23:59

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
033 521 Informatik Pflichtfach3. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 532 Medieninformatik und Visual Computing Gebundenes WahlfachSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 533 Medizinische Informatik Pflichtfach3. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering Pflichtfach3. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 535 Technische Informatik Pflichtfach3. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundlegende Kenntnisse der mathematischen Argumentation, der Algorithmik und der Modellierung mit Hilfe von Automaten und formalen Sprachen.

Vorausgehende Lehrveranstaltungen

Sprache

Deutsch