Skip to the end of the images gallery Navigation umschalten
Skip to the beginning of the images gallery Navigation umschalten
Logic for Problem Solving, Revisited
ePUB
6,6 MB
DRM: hartes DRM
ISBN-13: 9783738685503
Verlag: Books on Demand
Erscheinungsdatum: 18.11.2014
Sprache: Englisch
erhältlich als:
CHF 48.00
inkl. MwSt.
sofort verfügbar als Download
Bitte beachten Sie, dass Sie dieses E-Book nicht auf einem Amazon Kindle lesen können, sondern ausschließlich auf Geräten mit einer Software, die epub-Dateien anzeigen kann. Mehr Informationen
Um dieses DRM-geschützte E-Book lesen zu können, müssen Sie eine Adobe ID besitzen und eine Lesesoftware verwenden, die Adobe DRM verarbeitet. Mehr Informationen
Um dieses DRM-geschützte E-Book lesen zu können, müssen Sie eine Adobe ID besitzen und eine Lesesoftware verwenden, die Adobe DRM verarbeitet. Mehr Informationen
Ihr eigenes Buch!
Werden Sie Autor*in mit BoD und erfüllen Sie sich den Traum vom eigenen Buch und E-Book.
Mehr erfahrenThis seminal book of Computer Science is the most cited reference on the subject of programming in logic. Originally published in 1979, this now classic text was the first comprehensive attempt to define the scope of logic for problem solving. In this extended edition, Robert Kowalski revisits his classic text in the light of subsequent developments in a substantial commentary of fifty pages.
This work investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be appropriate therefore as an introduction to logic, the theory of problem-solving, and computer programming. At the focal point is Computational Logic. It centers around the famous slogan: Algorithm = Logic + Control, which was coined by the author and is explained in this book. According to this view, an algorithm consists of a problem description (the logic part) and a strategy to perform useful computations on this description (the control part). This separation of concerns ideally leads to declarative programs that are simple to develop, clear to understand and easy to maintain.
This work investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be appropriate therefore as an introduction to logic, the theory of problem-solving, and computer programming. At the focal point is Computational Logic. It centers around the famous slogan: Algorithm = Logic + Control, which was coined by the author and is explained in this book. According to this view, an algorithm consists of a problem description (the logic part) and a strategy to perform useful computations on this description (the control part). This separation of concerns ideally leads to declarative programs that are simple to develop, clear to understand and easy to maintain.
Thom Frühwirth (Hrsg.)
Thom Frühwirth is a professor of Computer Science at the University of Ulm, Germany. His research areas are Computational Logic and Constraint Programming. He is the designer of the logical formalism and programming language Constraint Handling Rules.
http://www.constraint-handling-rules.org
Eigene Bewertung schreiben
Es sind momentan noch keine Pressestimmen vorhanden.