News
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.