Termin: | PS Do 13-15 (RUD 25, 4.111) J. Köbler / O. Beyersdorff |
---|
Zuordnung: | Grundstudium, Proseminar |
---|
Am 19.12.02 findet das Seminar nicht statt.
17.10. | Themenvorstellung | ||
7.11. | Klassische Aussagenlogik und die Tableaux- Methode (1.1-1.5 und 1.11-1.14) | Olaf Beyersdorff | |
14.11. | Modale Logik (Kap. 2 und Blackburn) | Hagen Möbius | (Beyersdorff) |
21.11. | Normale Modale Logik (Kap. 3 und Blackburn) | Peter Adolphs | (Beyersdorff) |
28.11. | Nicht normale Welten (4.1-4.4 und Blackburn) | Uwe Lorenz | (Beyersdorff ) |
5.12. | Konditionale und ihre aussagenlogische Repräsentation (1.7-1.10 und 4.5 - 4.9) | Uwe Leonhardt | (Beyersdorff) |
12.12. | Konditionale Logik (Kap. 5) | ||
19.12. | Intuitionistische Logik (Kap. 6) | Dieter König | (Köbler) |
9.1. | Mehrwertige Logik (Kap. 7, Malinowski, Gottwald, Bolc) | Christian Rothe | (Beyersdorff) |
16.1. | Weitere mehrwertige Logiken (Malinowski, Gottwald, Bolc) | Robert Göttsch | (Beyersdorff) |
23.1. | First Degree Entailment FDE (Kap. 8) | ||
30.1. | Relevanzlogik (Kap. 9) | Thomas Wessendorf | (Köbler) |
6.2. | Relevanzlogik (Kap. 10) | ||
13.2. | Fuzzy Logic (Kap. 11) | Alexander Platonow | (Köbler) |
20.2. | Multi- Agenten- Systeme (Fagin) | Aram Altschudjian | (Beyersdorff) |
Die Kapitelangaben beziehen sich auf das Buch von G. Priest.