Deduktionssysteme

Automatisierung des logischen Denkens
 
 

Herausgegeben von

K. H. Bläsius und
H.-J. Bürckert
 
 

mit Beiträgen von

Prof. Dr. K. H. Bläsius
Dr. H.-J. Bürckert
Dr. N. Eisinger
Dr. D. Hutter
M. Kohlhase
A. Nonnengart
Dr. H. J. Ohlbach
A. Präcklein
Prof. Dr. J. H. Siekmann

Inhaltsverzeichnis und Vorwort (HTML-Datei)

PDF-Dateien der einzelnen Abschnitte:

 0. Inhaltsverzeichnis und Vorwort
 I. Geschichte und Anwendungen
 II. Grundlagen und Beispiele
 III. Die Gleichheitsrelation
 III.1. Das Problem der Gleichheit
 III.2. Allgemeine Gleichheitsverfahren
 III.3. Unifikationstheorie
 III.4. Termersetzung
 IV. Deduktion als Berechnung
 V. Vollständige Induktion
 VI. Logik höherer Stufe
 VII. Nicht-klassische Logik
 VIII. Anhang: Literaturliste und Index

PS-Dateien der einzelnen Abschnitte:

 0. Inhaltsverzeichnis und Vorwort (40 KB)
 I. Geschichte und Anwendungen (140 KB)
 II. Grundlagen und Beispiele (470 KB)
 III. Die Gleichheitsrelation

III.1. Das Problem der Gleichheit (40 KB)
III.2. Allgemeine Gleichheitsverfahren (140 KB)
III.3. Unifikationstheorie (130 KB)
III.4. Termersetzung (180 KB)

 IV. Deduktion als Berechnung (200 KB)
 V. Vollständige Induktion (200 KB)
 VI. Logik höherer Stufe (260 KB)
 VII. Nicht-klassische Logik (370 KB)
 VIII. Anhang: Literaturliste und Index (40 KB)