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.

2021S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

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

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 GoToMeeting statt:

https://global.gotomeeting.com/join/142771901
Link zum Download der App GoToMeeting: 
https://global.gotomeeting.com/install/534516509

Erste Vorlesung: Dienstag, 2.3. 2021, 16 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).

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