Grundlagen des maschinellen Beweisens.pdf

Grundlagen des maschinellen Beweisens PDF

Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universitlit Berlin unter dem Namen LOGIK II fUr Informatiker: Grundlagen des maschinellen Beweisens Bestandteil des Lehrangebots in Theoretischer Informatik und schlieBt direkt an die WGIK fUr Informatiker: F ormalisieren 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 fUr die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger BUcher 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]

HERUNTERLADEN

ONLINE LESEN

DATEIGRÖSSE 1.83 MB
ISBN 9783528047184
AUTOR Dieter Hofbauer, Ralf-Detlef Kutsche
DATEINAME Grundlagen des maschinellen Beweisens.pdf
VERöFFENTLICHUNGSDATUM 04/04/2020

Ralf Detlef Kutsche Dieter Hofbauer - AbeBooks Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker. by Hofbauer, Dieter und Ralf-Detlef Kutsche: and a great selection of related books, art and collectibles available now at AbeBooks.com. Grundlagen Des Maschinellen Beweisens: Eine Einführung Für ...

PC und MAC

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Reader & Google Chrome.

Bonus

Versandkostenfrei für Bonuscardkunde

eBooks Online

Sofortiger Zugriff auf alle eBooks - per Download und Online-Lesen