Logic for Problem Solving, Revisited - Couverture souple

Kowalski, Robert

 
9783837036299: Logic for Problem Solving, Revisited
Couverture souple
ISBN 10 : 3837036294 ISBN 13 : 9783837036299
Editeur : Books on Demand, 2014

Synopsis

Ce livre fondateur d'informatique est la référence la plus citée sur le sujet de la programmation en logique. Initialement publié en 1979, ce texte désormais classique a été la première tentative complète de définir la portée de la logique pour la résolution de problèmes. Dans cette édition étendue, Robert Kowalski revisite son texte classique à la lumière des développements ultérieurs dans un commentaire substantiel de cinquante pages. Ce travail étudie l'application de la logique à la résolution de problèmes et à la programmation informatique. Il ne suppose aucune connaissance préalable de ces domaines, et peut donc être approprié comme introduction à la logique, à la théorie de la résolution de problèmes et à la programmation informatique. Au point focal se trouve la logique informatique. Il se concentre autour du célèbre slogan : Algorithme = Logique + Control, qui a été inventé par l'auteur et est expliqué dans ce livre. Selon cette vue, un algorithme consiste en une description du problème (la partie logique) et une stratégie pour effectuer des calculs utiles sur cette description (la partie contrôle). Cette séparation des préoccupations conduit idéalement à des programmes déclaratifs simples à développer, clairs à comprendre et faciles à entretenir.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Books on Demand
Date d'édition
2014
Langue
anglais
ISBN 10 
3837036294
ISBN 13 
9783837036299
Reliure
Broché
Nombre de pages
346
Éditeur
Frühwirth Thom
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne