Formale Konzepte

Lehrangebot Sommersemester 1998

Übung: Logik(Grundkurs) (J. Apel)
- dienstags, 10.15-11.45 Uhr, SG 3-09
Theorie-Seminar (Rückblick) (S.Gerber, H.Herre)
- dienstags, 15.00-16.30 Uhr, HG 3-68
Logische Grundladen der Künstlichen Intelligenz (G.Brewka, H.Herre)
- mittwochs, 10.15-11.45 Uhr, SG 3-07
Logik - Grundkurs (H.Herre)
- mittwochs, 12.15-13.45 Uhr, HS 20
Modellierung von Anwendungen aus Medizin und Technik mit dem Multiagentensystem DESIRE (B.Heller, H.Herre, V.Dötsch)
- mittwochs, 15.00-17.00 Uhr, Raum 109 (CIP-Pool) des IMISE, Liebigstr. 27
Übung: Logik(Grundkurs) (J. Waldmann)
- donnerstags, 08.15-09.45 Uhr, SG 3-07
- donnerstags, 10.15-11.45 Uhr, SG 3-07
Grundladen des Lambda-Kalküls (H.Herre)
- donnerstags, 10.15-11.45 Uhr, HS 14
Fuzzy-Datenbanken (G.Wagner)
- donnerstags, 15.15-16.45 Uhr, SG 3-09