(https://www.coli.uni-saarland.de/~saurer/lehre/ws00/mg1-ws00.html)
Hier sind die Übungsblätter als ps-file.
This page is available in
English as well.
1.-2.Woche | Grundbegriffe der Mengenlehre |
3.-4.Woche | Grundbegriffe der algebraischen und Ordnungsstrukturen, Verbände |
5.-8.Woche | Aussagenlogik: Formalisieren, Syntax und Semantik |
8.Woche | 1.Klausur; Stoff der 1. Hälfte, 45 Minuten; Probeklausur |
9.-10.Woche | Aussagenlogik: Beweistheorie (Natürliches Schliessen) |
11.-13.Woche | Prädikatenlogik: Formalisieren, Syntax, Beweistheorie (Nat.Schliessen) |
14.-15.Woche | Prädikatenlogik: Formale (modelltheoretische) Semantik |
15.Woche | 2.Klausur; Stoff der 2. Hälfte, 45 Minuten; Probeklausur |
16.Woche | 1. Nachklausur (Stoff der ganzen Vorlesung; 90 Minuten) |