Automatisierte Logik und Programmierung II

Universität Potsdam, Sommersemester 2004



Die Folien der Veranstaltung werden in zwei Versionen bereitgestellt.
Die normalen PS und PDF Files enthalten eine Druckversion der Folien ohne eventuell benutzte "Animationen".
Das ANIM file enthät die vollständige PDF Version mit Animationen.

Einführung in Automatisierte Logik und Programmierung II
PS PDF ANIM
Teil III: Aufbau von Beweissystemen
Einheit 12: Implementierung interaktiver Beweissysteme
PS PDF ANIM
Teil IV: Beweisautomatisierung  
Einheit 13: Taktisches Theorembeweisen
PS PDF ANIM
Einheit 14: Entscheidungsprozeduren
PS PDF ANIM
Einheit 15: Beweisautomatisierung für die Logik erster Stufe
PS PDF ANIM
Teil IV: Programmsynthese  
Einheit 16: Grundkonzepte der Programmsynthese
PS PDF ANIM
Einheit 17: Synthese im Kleinen: Paradigmen & Strategien
PS PDF ANIM
Einheit 18: Wissensbasierte Programmentwicklung
a) Algorithmenschemata PS PDF ANIM
b) Divide & Conquer PS PDF ANIM
c) Lokalsuche PS PDF ANIM
d) Globalsuche PS PDF ANIM
Einheit 19: Korrektheitserhaltende Optimierungen
PS PDF ANIM
Einheit 20: Rückblick und Ausblick
PS PDF ANIM


This page is still under construction.