Kolloquium 20
Angewandte Logik und Informatik
Leitung: Professor Dr. Elke Brendel (Mainz)
- 9:00 Uhr: Einführung
- 9:15 Uhr: Professor Dr. Peter Schroeder-Heister (Tübingen)
Schluss und Umkehrschluss: Ein Beitrag zur Definitionstheorie - 9:55 Uhr: Diskussion
- 10:15 Uhr: Pause
- 10:30 Uhr: Professor Dr. Heinrich Wansing (Dresden)
Konstruktive Negation, Implikation und Co-Implikation - 11:10 Uhr: Diskussion
- 11:30 Uhr: Pause
- 11:45 Uhr: Priv.-Doz. Dr. Georg Niebergall (München)
Unendlichkeitsdefinitionen - 12:25 Uhr: Diskussion