Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Ringvorlesung im SS 2004

Donnerstag, 29. April 2004; 15-17 Uhr
Haus 3, Raum 3.001 in der Rudower Chaussee 25

Das Institut für Informatik lädt zur Ringvorlesung ein:

Es spricht

Prof. Dr. J. Siekmann
DFKI Saarbrücken


zum Thema:

Mathematische Assistenzsysteme


Vortragsfolien: PDF 1 Folie/Seite, PDF 6 Folien/Seite

Das Gebiet des Automatischen Beweisens (Automated Reasoning) erlebt zur Zeit eine Renaissance , die nicht zuletzt durch Anwendungen in der formalen Programmentwicklung und der Hardwareverifikation motiviert und durch die enorme Verbesserung der Leistung moderner Systeme möglich geworden ist.

In diesem Vortrag möchte ich versuchen eine historische Übersicht über die verschiedenen Paradigmen des Gebietes zu geben, um dann auf unser eigenes mathematisches Assistenzsystem OMEGA einzugehen.

Adresse:
Humboldt-Universität zu Berlin
Institut für Informatik
Haus 3, Raum 001
Rudower Chaussee 25/Ecke Magnusstr.
12489 Berlin