250124, PS 2st, Wintersemester 2010

Proseminar zur Einführung in die Mathematische Logik

This course can be given in English, if requested.

Übungsblätter:

• 1. Stunde (12.10.): Blatt 1
• 2. Stunde (19.10.):
  • (2)-(5) von Blatt 1, siehe auch Zusammenfassung und Ergänzungen zu Blatt 1.
  • Zusätzlich Blatt 2.
• 3. Stunde und 4. Stunde: Siehe website von Hans Adler.
• 5. Stunde (23.11.): Teil 1 Blatt 5a Teil 2 Blatt 5b.
• 6. Stunde (30.11.): Blatt 6
• 7. Stunde (7.12.): Übriggebliebene Bsp von Blatt 1 und 6.
• 8. Stunde (14.12.): Blatt 7
• 9. Stunde (11.01.): Keine Beispiele, sondern Fragestunde (Besprechung des VO-Stoff), Teilnahme freiwillig, nur 1h! 12:10-12:55.
• 10. Stunde (18.01.): Blatt 8
• 11. Stunde und Zusatzsstunden (25. und 28. Jaenner): Blatt 9

Zu den Registermaschinen: hier gibt es das erwaehnte Java applet. Leider ist die Notation dort eine Spur anders als die "informelle Notation" der Vorlesung: Die Zeilen koennen zB mit L0,L1,... nummeriert werden (nicht mit 0,1,... wie in der Vorlesung), die register heissen nicht R_0,R_1,... sondern (zB) x1,x2,... Unser Beispiel additionsprogramm lautet also:

L0: if (x2!=0) goto L2
L1: halt
L2: x2--
L3: x1++
L4: if (x1!=0) goto L0
L5: halt

Geben Sie dieses Programm dort ein und schauen sie was fuer verschiedene Start Werte von x1 und x2 (die sie haendisch eingeben koennen) passiert.

Literatur:

• Stunden 1-2: Skriptum von J. Ziegler, Kapitel 2.