192.071 Einführung in Theoretische Informatik und Logik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023S, VU, 2.0h, 3.0EC, wird geblockt abgehalten
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Online

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, die Sprachklassen der Chomsky-Hierarchie zu definieren, Beispiele aus diesen Sprachklassen anzugeben sowie vorgegebene Beispiele zu lösen. Im Bereich der Logik sind Studierende in der Lage, Modelle und Gegenbeispiele zu gegebenen prädikatenlogischen Formeln zu finden sowie die Grundlagen von Hilbert- und Tableau-Kalkül zu erläutern und einfache vorgegebene Beispiele in diesen Kalkülen zu lösen.

Inhalt der Lehrveranstaltung

Spezifikation formaler Sprachen: reguläre und kontextfreie Sprachen (vertiefend), Chomsky-Hierarchie, endliche Automaten (vertiefend), Kellerautomaten, Turingmaschinen, Elemente der Komplexitätstheorie; Syntax-Sematik-Schnittstelle, Modellstrukturen, Terme und Boolesche Ausdrücke; ausgewählte Kapitel der klassischen Aussagen- und Prädikatenlogik, Hilbert- und Tableaux-Kalkül.

Methoden

Vortrag der wichtigsten Inhalte und Vorrechnen von Beispielen (ausschließlich online).

2 Übungsblätter, die vor der mündlichen Abschlussprüfung zu erarbeiten sind.

Die Lehrveranstalung findet ausschließlich online über ZOOM statt:
https://tuwien.zoom.us/j/92004153665?pwd=a1VEQ21mOFFoQ0VXY2habllPS0FkUT09

Erste Vorlesung: Dienstag, 7.3. 2023, 17 c.t.

Sonstige Informationen ausschließlich über TISS! Kein TUWEL-Kurs!

Unterlagen werden in der TU owncloud zur Verfügung gestellt, Link wird nur in der Lehrveranstaltung bekannt gegeben.

Prüfungsmodus

Prüfungsimmanent

Vortragende Personen

Institut

Leistungsnachweis

2 Übungsblätter, die vor der mündlichen Abschlussprüfung zu erarbeiten sind.

Mündliche Abschlussprüfung (ausschließlich online).

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mo.16:00 - 18:0024.06.2024EI 3 Sahulka HS - UIW schriftlich01.05.2024 00:00 - 23.06.2024 00:00in TISSETIL - Haupttermin
Mi.15:00 - 17:0025.09.2024EI 4 Reithoffer HS beurteilt12.08.2024 12:00 - 23.09.2024 12:00in TISSETIL - 2.Prüfung
Mo.16:00 - 18:0025.11.2024FAV Hörsaal 1 Helmut Veith - INF beurteilt21.10.2024 12:00 - 22.11.2024 23:59in TISSETIL - 3.Prüfung
Mo.16:00 - 18:0013.01.2025FAV Hörsaal 1 Helmut Veith - INF beurteilt09.12.2024 12:00 - 10.01.2025 23:59in TISSETIL - 4.Prüfung
Mo.16:00 - 18:0023.06.2025EI 3 Sahulka HS - UIW beurteilt30.04.2025 00:00 - 22.06.2025 00:00in TISSETIL - Haupttermin SS2025

LVA-Anmeldung

Von Bis Abmeldung bis
01.02.2024 12:00 31.03.2024 23:59 24.06.2024 10:00

Zulassungsbedingung

Voraussetzung für die Anmeldung ist eine Fortmeldung zu einem der folgenden Studien:

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
033 526 Wirtschaftsinformatik Pflichtfach4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 532 Medieninformatik und Visual Computing Gebundenes Wahlfach4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
066 504 Masterstudium Embedded Systems Pflichtfach
884 UF Informatik und Informatikmanagement Pflichtfach4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch