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.
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.
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/142771901Link 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.
Mündliche Abschlussprüfung (ausschließlich online).
Nicht erforderlich