1. Sitzung (16.10.) Einführung

  2. Sitzung (23.10.) Grundbegriffe: Verbände und Halbordnungen, Dualitätsprinzip; Beispiele.  Hermes 1-15

  3. Sitzung (30.10.) Isomorphismen und Homomorphismen, Verbandshomomorphismen. Hermes 15 - 19

  4. Sitzung (06.11.) Distributive und modulare Verbände. Hermes 40 - 48

  5. Sitzung (13.11.) Filter und Ideale.  Rasiowa/Sikorski 44 - 52, Hermes 60 -63

  6. Sitzung (27.11.) Komplementäre Verbände, Boolesche Algebren. Hermes 48 - 54, Rasiowa/Sikorski 52 - 54, 68 - 73

  7. Sitzung (04.12.) Propositionale Sprachen. Wójcicki 7 - 18

  8. Sitzung (11.12.) Konsequenzoperatoren, Deduktionsproblem. Wójcicki 19 - 30, 43 - 56

  9. Sitzung (19.12.) Ableitungsregeln.Wójcicki 77 - 99

10. Sitzung (08.01.) Beweise. Wójcicki 90 - 106

11. Sitzung (15.01.) Matrix-Semantik I. Wójcicki 189 - 199

12. Sitzung (22.01.) Matrix-Semantik II. Wójcicki 208 - 220

13. Sitzung (29.01.) Streng finite Logiken. Wójcicki 253 - 265

14. Sitzung (03.02.) Tabulare Logiken. Wójcicki 265 - 274

(zuletzt aktualisiert am 14.01.03)

Literatur:
    Hans Hermes, Einführung in die Verbandstheorie, Springer 1955.
    Helena Rasiowa, Roman Sikorski, The Mathematics of Metamathematics, PWN 1963
    Ryszard Wójcicki; Theory of Logical Calculi, Kluwer 1988.
 
 

Fragen, Kommentare, Wünsche zum Kurs bitte an: Peter Steinacker