Grundvorlesung, 9 Leistungspunkte
Prof. Gert Smolka,
Jonas Kaiser, M.Sc.
FR Informatik,
Universität des Saarlandes
News
Siehe Menüpunkt Ankündigungen für wichtige Hinweise und Neuigkeiten!
Termine
Mittwoch, 14.15-16.00 Uhr,
Gebäude E2 2, Günter-Hotz Hörsaal
Freitag, 08.15-10.00 Uhr,
Gebäude E2 2, Günter-Hotz Hörsaal
Erste Vorlesung am Mittwoch, 16. Oktober 2013
Letzte Vorlesung am Freitag, 07. Februar 2014
Weihnachtspause vom Montag, 23. Dezember 2013 bis Freitag, 03. Januar 2014
Erste Übung am Dienstag, 22. Oktober 2013
Erste Office Hour am Montag, 21. Oktober 2013
Inhalt
Die Vorlesung führt in die mathematische Theorie einiger grundlegender Berechnungsmodelle der Informatik ein. Dabei werden Automaten, Turingmaschinen, reguläre Sprachen, kontextfreie Sprachen und Entscheidungsprobleme behandelt. Die Vorlesung wird dem Lehrbuch "Automata and Computability" von Dexter C. Kozen folgen.
Anmeldung
Sie müssen sich bei uns und bei HISPOS (dem Prüfungssystem der Universität) anmelden. Die Anmeldung bei uns ist notwendig, um an den Übungsgruppen, den Tests, und den Klausuren teilzunehmen. Die Anmeldung bei HISPOS ist erforderlich, damit wir Ihnen am Ende die Leistungspunkte gutschreiben können. Die Anmeldung bei uns wird mit Beginn der ersten Vorlesungswoche möglich, und muss im Zeitraum vom Mittwoch, 16. Oktober 2013, 12:00 Uhr bis Freitag, 18. Oktober 2013, 18:00 Uhr über dieses Web-Formular erfolgen.
Übungsblätter / Musterlösungen
Die Übungsblätter und Musterlösungen finden Sie jede Woche auf unserer Service-Seite.
Sprechzeiten
Siehe Termine.
Persönliche Statusseite
Alle Informationen zu Punkten und Zulassung finden Sie auf ihrer persönlichen Statusseite. Sobald Sie eingeloggt sind, gibt es auch die Möglichkeit, uns anonym Kommentare zu schicken und an einer Umfrage zur Vorlesung teilzunehmen.