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 ...
Read More
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]; in deutscher Sprache etwa Bllisius & BUrckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Erglinzung solcher BUcher fUr den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einflihrung in diese Thematik zu geben. Wir knUpfen an Grundkenntnisse der Logik an und stellen daher die spliter benotigten Begriffe in Kapitell nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher AbleitungskalkUl, der die Prlidikatenlogik erster Stufe prinzipiell dem Rechner zuglinglich macht.
Read Less
Add this copy of Grundlagen Des Maschinellen Beweisens: Eine Einführung to cart. $65.74, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1989 by Vieweg+teubner Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Trade paperback (US). Glued binding. 172 p. Language: German-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Grundlagen Des Maschinellen Beweisens: Eine Einführung to cart. $65.75, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1989 by Vieweg+teubner Verlag.
Add this copy of Grundlagen Des Maschinellen Beweisens: Eine Einführung to cart. $83.12, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1989 by Vieweg+teubner Verlag.
Add this copy of Grundlagen Des Maschinellen Beweisens: Eine Einführung to cart. $94.54, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1989 by Vieweg+Teubner Verlag.
