Logik in der Informatik Prof. Dr. Martin Grohe

Institut für Informatik

Aktuelles

Prüfungen finden in der ersten Woche der Semesterferien (19.7.-23.7.2004) statt. Bitte melden Sie sich spätestens zwei Wochen vorher bei Frau Eisenmann (Raum 4.402, Johann von Neumann Haus RUD 25) an.

Übungsblatt 10 (Abgabe: Dienstag, 6.7. vor der Vorlesung.)

Einführung

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

Inhalt

1. Transitionssysteme
2. Spiele
3. Modallogik
4. Temporale Logik
5. Automaten auf unendlichen Wörtern
6. Der modale µ-Kalkül
7. Alternierende Baumautomaten

Logbuch

Hier finden Sie (nach den Vorlesungen) Informationen zum Inhalt der einzelnen Vorlesungen und gelegentlich ergänzende Bemerkungen.

Informationen zum Vorlesungsbetrieb

Zeiten und Raum

Dienstags 11-13 und Donnerstags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'303

 

Dozent

Prof. Dr. Martin Grohe

Sprechstunde: Freitags 10:00 - 11:00

Übungen

Ergänzend zu den Vorlesungen finden 2-stündige Übungen statt.

Zeit und Raum

Donnerstags 13-15 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'308

 

Übungsleiter/innen

Dr. Stephan Kreutzer

Dr. Nicole Schweikardt

Übungsaufgaben

Es wird regelmäßig Übungsaufgaben geben, deren erfolgreiche Bearbeitung (mindestens 40% der Punkte) Voraussetzung für den Scheinerwerb und die Zulassung zur Prüfung ist.

• Blatt 1 (20.04.2004; Abgabe am 27.04.2004)
• Blatt 2 (27.04.2004; Abgabe am 04.05.2004)
• Blatt 3 (04.05.2004; Abgabe am 11.05.2004)
• Blatt 4 (11.05.2004; Abgabe am 18.05.2004)
• Blatt 5 (18.05.2004; Abgabe am 01.06.2004)
• Blatt 6 (1.06.2004; Abgabe am 08.06.2004)
• Blatt 7 (8.06.2004; Abgabe am 15.06.2004)
• Blatt 8 (15.06.2004; Abgabe am 22.06.2004)
• Blatt 9 (22.06.2004; Abgabe am 29.06.2004)
• Blatt 10 (29.06.2004; Abgabe am 6.7.2004)

Prüfung

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 Übungaufgaben erworben werden.

Literatur