|
Logik in der Informatik
Prof. Dr. Martin Grohe |
|
Am Dienstag, dem 25.1.2011 fällt die Vorlesung aus.
Thema der Vorlesung sind die theoretischen Grundlagen des Entwurfs und der Verifikation reaktiver Systeme, wie beispielsweise Kontrollsysteme oder Kommunikationsprotokolle. Methodisch stützt sich die Theorie auf eine Kombination von Automatentheorie, logischen Systemen zur Beschreibung von Berechnungen, und unendlichen Zwei-Personenspielen. Die Vorlesung gibt eine Einführung in die einzelnen Methoden und vor allem in die Zusammenhänge zwischen den Methoden. Besonderes Augenmerk wird dabei auf algorithmische Anwendungen im Bereich des Systementwurfs und der Verifikation gerichtet.
Durch Anklicken der einzelnen Kapitel erhalten Sie (zu gegebener Zeit) das Skript zur Vorlesung.
Hier finden Sie (nach den Vorlesungen) Informationen zum Inhalt der einzelnen Vorlesungen und gelegentlich auch Korrekturen und sonstige Bemerkungen.
Ergänzend zu den Vorlesungen finden 2-stündige Übungen statt.
Es gibt regelmäßig Übungsaufgaben, deren erfolgreiche Bearbeitung (mindestens 40% der Punkte) Voraussetzung für den Scheinerwerb und die Zulassung zur Prüfung ist.
Zu Beginn der Semesterferien finden mündliche Prüfungen statt. Für die Zulassung zur Prüfung müssen mindestens 40% der Punkte in den Übungsaufgaben erworben werden.
Die Vorlesung orientiert sich am Skript Logik, Spiele und Automaten von Martin Grohe und Stephan Kreutzer. Ergänzende Literaturangaben zu den einzelnen Kapiteln werden jeweils in der Vorlesung bekannt gegeben.