News
KlausurterminGeschrieben am 15.06.26 von Lukas Wachter Liebe Studierende, es muss noch ein Klausurtermin festgelegt werden. Angedacht ist derzeit der 13. Juli zur üblichen Vorlesungszeit. Bitte melden Sie sich bei mir bitte bis Mittwoch, falls Ihrerseits etwas gegen den Termin sprechen sollte. Ansonsten werden wir den Termin eintragen. Vielen… Weiterlesen Liebe Studierende, es muss noch ein Klausurtermin festgelegt werden. Angedacht ist derzeit der 13. Juli zur üblichen Vorlesungszeit. Bitte melden Sie sich bei mir bitte bis Mittwoch, falls Ihrerseits etwas gegen den Termin sprechen sollte. Ansonsten werden wir den Termin eintragen. Vielen Dank. Mit besten Grüßen |
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.