-
LOGIC-IN
-
Teaching
-
Courses
-
Wintersemester 2023/2024
Automatentheorie und ihre Anwendungen 2
Organisation Die Vorlesung Automatentheorie und ihre Anwendungen (ATA) ist in zwei Teile ATA 1 und ATA 2 aufgeteilt. ATA 1 wird in der ersten Semesterhälfte von Prof. Neider gelesen, ATA 2 in der zweiten Hälfte [...] Logik, Datenbanken, usw. Die Vorlesungen ATA 1 und ATA 2 sollen einen Überblick über die wichtigsten Themen der Automatentheorie geben. Spezifisch wird sich ATA 1 mit Automaten auf endlichen Wörtern/Bäumen [...] ergeben also 6 ECTS, finden allerdings als 4+2 statt, da sie jeweils nur ein halbes Semester laufen. ATA 1 ist keine Voraussetzung für ATA 2 (aber natürlich ist es sinnvoll beide zu besuchen). ATA 2 startet …