News
TerminverlegungGeschrieben am 16.04.26 von Lukas Wachter Liebe Studierende, wie besprochen verschiebt sich der Termin der Vorlesung auf Montag, 8:30 - 10:00 Uhr. Der Raum ist weiterhin E1 7, Raum 0.08. Die Termine im CMS wurden angepasst. Die "erste" Veranstaltung findet am kommenden Montag, den 20.04., statt. Mit besten Grüßen |
Erste VeranstaltungGeschrieben am 09.04.26 von Lukas Wachter Liebe Studierende, bitte beachten Sie, dass die erste Veranstaltung erst in der kommenden Woche stattfinden wird. Die (zunächst vorläufigen) Termine können Sie dem Kalender hier im CMS entnehmen. Aufgrund der geringen Teilnehmerzahl ist es möglich, dass der Veranstaltungsslot noch geändert… Weiterlesen Liebe Studierende, bitte beachten Sie, dass die erste Veranstaltung erst in der kommenden Woche stattfinden wird. Die (zunächst vorläufigen) Termine können Sie dem Kalender hier im CMS entnehmen. Aufgrund der geringen Teilnehmerzahl ist es möglich, dass der Veranstaltungsslot noch geändert wird. Mit besten Grüßen |
Formale Sprachen & Automaten für Informatik-Lehramt Sekundarstufe I
-- Dieser Kurs richtet sich an Studierende des Lehramts für die Sekundarstufe I im Fach Informatik. --
-- This lecture is intended for students of the teaching degree program in computer science. --
Lernziele / Kompetenzen
Die Studierenden kennen verschiedene formale Sprachen und Automatenmodelle, sowie deren relative Stärken und Mächtigkeiten.
Außerdem verstehen sie den formalen Begriff der Berechenbarkeit und Nicht-Berechenbarkeit mit Hilfe von Turingmaschinen
als Rechenmodell und Grundideen der Komplexitätstheorie.
Inhalt
• Sprachen der Chomsky Hierarchie und ihre verschiedenen Definitionen über Grammatiken und Automaten
• Turingmaschinen, Determinismus und Nicht-Determinismus
• Entscheidbarkeit und Nicht-Entscheidbarkeit
• Komplexitätsklassen P und NP
Literaturhinweise
Schöning, U. (2012) Theoretische Informatik – kurz gefasst (5. Aufl.). Spektrum Akademischer Verlag. Heidelberg.