Leitung: Prof. Dr. R. H. Gassmann, Sinologie, Uni Zürich Co-Leitung: Prof. Dr. J.-F. Billeter, Sinologie, Uni Genève Dr. habil. M. Friedrich, Sinologie, Uni München

Leitung: Prof. Dr. W.P. von Wartburg; c/o Ciba-Geigy AG Co-Leitung: werden später bekannt gegeben

Dieser Kurs beschäftigt sich mit den mathematischen und logischen Grundlagen der Logik-Programmierung. Dabei geht es uns vor allem darum, die zentralen Ideen und Konzepte herauszustellen und den Zugang zu diesem wichtigen Gebiet der Informatik nicht durch unnötige technische Details zu erschweren. Ausgehend von beweistehoretischen und modelltheoretischen Methoden möchten wir die wesentlichen Aspekte der modernen Logik-Programmierung → mehr…

Leitung: Prof. Dr. A.L. de Weck, em., Klin. Immunol.; Uni Bern Co-Leitung: Prof. Dr. H. U. Wanner, Hyg. und Arbeitsphysiol.; ETHZ PD Dr. Barbara Polla, Santé et Environm.; Uni Genève PD Dr. C. Dahinden, Klin. Immunol.; Uni Bern