Format:
1 Online-Ressource (172S.)
ISBN:
9783322842237
,
9783528047184
Note:
Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universität Berlin unter dem Namen "LOGIK II für Informatiker: Grundlagen des maschinellen Beweisens" Bestandteil des Lehrangebots in Theoretischer Informatik und schließt direkt an die "WGIK für Informatiker: Formalisieren und Beweisen" an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich für die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger Bücher in diesem Themenfeld - wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen - ist seit dem Beginn der 70er Jahre entstanden, u. a. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87] und Padawitz [Pad88]; in deutscher Sprache etwa Bläsius & Bürckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Ergänzung solcher Bücher für den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einführung in diese Thematik zu geben. Wir knüpfen an Grundkenntnisse der Logik an und stellen daher die später benötigten Begriffe in Kapitel 1 nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher Ableitungskalkül, der die Prädikatenlogik erster Stufe prinzipiell dem Rechner zugänglich macht
Language:
German
Keywords:
Logik
;
Informatik
;
Logik
;
Mathematik
;
Automatisches Beweisverfahren
;
Einführung
DOI:
10.1007/978-3-322-84223-7
Author information:
Hofbauer, Dieter
Author information:
Kutsche, Ralf-Detlef 1955-