Logic for Problem Solving, Revisited

Nonfiction, Computers, Programming, Programming Languages
Cover of the book Logic for Problem Solving, Revisited by Robert Kowalski, Books on Demand
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Robert Kowalski ISBN: 9783738685503
Publisher: Books on Demand Publication: December 12, 2014
Imprint: Language: English
Author: Robert Kowalski
ISBN: 9783738685503
Publisher: Books on Demand
Publication: December 12, 2014
Imprint:
Language: English
This 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.
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
This 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.

More books from Books on Demand

Cover of the book Ganzheitliche Veränderung in der Gestalttherapie by Robert Kowalski
Cover of the book Auszeit by Robert Kowalski
Cover of the book Siedlungen auf dem Mars entdeckt! by Robert Kowalski
Cover of the book Ich habe Schulden - und jetzt? by Robert Kowalski
Cover of the book Von der Erde zum Mond by Robert Kowalski
Cover of the book Dasch Dr Hammer - S nöie Teschdamänt uf Baaseldütsch by Robert Kowalski
Cover of the book ...den schickt er in die weite Welt - in den Himalaya nach Bhutan by Robert Kowalski
Cover of the book Fliegen mit Avidyne R9 by Robert Kowalski
Cover of the book Standortbilanz Lesebogen 84 H-Punkt-Schäfer´s Streifzüge durch Bad Homburger Lande by Robert Kowalski
Cover of the book Unbekanntes Mittel-Irland by Robert Kowalski
Cover of the book Kreative NLP - Formate by Robert Kowalski
Cover of the book Ein Haus in Montevideo by Robert Kowalski
Cover of the book Fahrzeuge der Hamburger U-Bahn: Arbeitsfahrzeuge by Robert Kowalski
Cover of the book Die Bundesliga by Robert Kowalski
Cover of the book Hamburg - Das Tor zum Film by Robert Kowalski
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy