Übungen zur Vorlesung Logik und Berechenbarkeit

Vorlesung:

Literaturempfehlungen und die Folien zur Vorlesung finden Sie hier.

Übung:

Zum Zusammenhang zwischen formalen Sprachen, Automaten und Logik siehe auch

• Languages, Automata, and Logic von Wolfgang Thomas
• Die Zusammenfassung zu meiner Vorlesung "Automaten und Logik" im SS 2006. Einige Übungsaufgaben der ersten und zweiten Serie passen auch zur aktuellen Vorlesung.

• Serie 1 (ps, pdf)
• Serie 2 (ps, pdf)
• Serie 3 (ps, pdf)
• Serie 4 (ps, pdf)
• Serie 5 (ps, pdf)

Es wird auch Autotool-Aufgaben geben. Sie können sich dort schon einschreiben.

Ein nettes Puzzle zum PCP gibt es hier.