{{#vardefine|_sitename|KGRC – Hans Adler}}{{menu|Hans Adler|Teaching}}

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

* [/~adler/docs/gml.pdf Vorlesungsskript]

Für die Vorlesung habe ich mich ursprünglich an dem Lehrbuch [http://www.amazon.de/Mathematische-Mathematik-Kompakt-Martin-Ziegler/dp/3764399732 Mathematische Logik] von Martin Ziegler orientiert, das ziemlich genau dem Vorlesungsskript seiner gleichnamigen Vorlesung entspricht. (Zieglers Skript ist [http://home.mathematik.uni-freiburg.de/ziegler/Skripte.html 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 [http://www.logic.univie.ac.at/~kellner/teaching/2011SS_Grundbegriffe_UE/ hier].

[/~adler/interactive/loop.html 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.

Aufgabenblätter der Prüfungen:
* [/~adler/S2011/test1a.pdf Teil 1, Beispielblatt]
* [/~adler/S2011/test1b.pdf Teil 1, 4. Mai]
* [/~adler/S2011/test2a.pdf Teil 2, Beispielblatt]
* [/~adler/S2011/test2b.pdf Teil 2, 22. Juni]