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.
