Mittwoch 13:00-14:30, Hörsaal 1 (UZA2).

• Vorlesungsskript

Für die Vorlesung habe ich mich ursprünglich an dem Lehrbuch Mathematische Logik von Martin Ziegler orientiert, das ziemlich genau dem Vorlesungsskript seiner gleichnamigen Vorlesung entspricht. (Zieglers Skript ist hier erhältlich.) Allerdings habe ich den Stoff gekürzt, umgestellt und anderweitig verändert. Insbesondere:

• Wir beginnen mit Rekursionstheorie, gefolgt von Prädikatenlogik. Mengenlehre wird in dieser Vorlesung aus Zeitgründen gar nicht behandelt.
• Ausführlichere Behandlung von primitiver Rekursivität.
• Zahlen-Registermaschinen an Stelle von String-Registermaschinen.

Die Übungen werden von Jakob Kellner geleitet. Die Übungsaufgaben finden Sie hier.

Hier finden Sie eine Implementierung der LOOP-Sprache in JavaScript. Sie können damit LOOP-Programme relativ bequem in Ihrem Web-Browser ausprobieren. Bitte machen Sie davon Gebrauch, um Ihre Lösungen der Übungsaufgaben, in denen es um LOOP-Programme geht, selbst zu überprüfen. Die Implementierung akzeptiert ab sofort auch WHILE-Programme, aber es ist nicht klar, wie nützlich das ist.

Hier finden Sie die Aufgabenblätter der Prüfungen.