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…
Archiv für August 1994
Sommerakademie I: Allergie, Immunologie und Umwelt
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