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.

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

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

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.

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

Prüfungsmodus

Prüfungsimmanent

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.16:00 - 19:0003.03.2020 - 10.03.2020FH Hörsaal 5 - TPH Vorlesung
Einführung in Theoretische Informatik und Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.03.03.202016:00 - 19:00FH Hörsaal 5 - TPH Vorlesung
Di.10.03.202016:00 - 19:00FH Hörsaal 5 - TPH Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

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

Mündliche Abschlussprüfung.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mi. - 30.09.2020mündlich10.08.2020 00:01 - 24.08.2020 00:01in TISSVirtueller Prüfungstermin SS 2020 September

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 526 Wirtschaftsinformatik 4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 532 Medieninformatik und Visual Computing 4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
066 504 Masterstudium Embedded Systems 1. Semester
884 UF Informatik und Informatikmanagement 4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch