Seite zur Vorlesung ,,Einführung in die Logik und Modelltheorie`` im Sommersemester 2004

        Dozent: Stefan Geschke
        Übungen:  Gido Scharfenberger
 
 

Termine:

Vorlesung : Montag und Mittwoch 12-14 Uhr in Raum 031 des Pi-Gebädes
Übungsgruppe : Dienstag 8.30-10 in Raum 025/026 ebendort

Das Vorlesungsskript ist online auf der Vorlesungsseite von Stefan Geschke verfügbar.

Die Übungszettel:

(Der Ausgabetermin der Übungszettel ist die Montags-Vorlesung. Online erscheinen sie jeweils erst unverbürgt zu einem späteren Zeitpunkt.)


         Zusatzübung


         11. Übung
Korrektur zu Aufgabe 36: Die Aussage von Teil (b) ist falsch. (36.b) entfällt.


         10. Übung


         9. Übung
Das Zornsche Lemma steht in der Musterlösung zum 8. Zettel.
Korrektur zu Aufgabe 27 b): Es gibt eine Injektion von A nach B oder eine von B nach A. (Ich habe auf dem Zettel zweimal dasselbe geschrieben, weil ich einmal A und B vertauscht habe.)


         8. Übung
      Musterlösung zu Aufgabe 26


         7. Übung       Musterlösungen zu den Aufgaben 22 und 23


         6. Übung       Musterlösungen zu den Aufgaben 19 und 20


         5. Übung


         4. Übung       Musterlösung zu Aufgabe 13
Aufgabe 12 ist in den Rang einer Zusatzaufgabe aufgestiegen, weil ich Sie offensichtlich nicht gut gestellt hatte.
Korrektur zu Aufgabe 13: Der Zielbereich der Gewichtsfunktion muss -1 und die natürlichen Zahlen umfassen, da das Gewicht der Funktionssymbole von ihrer Stelligkteit abhängen muss. (Die zweistelligen Junktoren in der Aussagenlogik hatten Gewicht -1, der einstellige Junktor ('non') hatte Gewicht 0.)


         3. Übung


         2. Übung


         1. Übung       Musterlösung zu Aufgabe 3(a)