Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Bien qu'un certain nombre d'applications technologiques récentes nécessitent un calcul déductif classique avec des logiques non classiques, de nombreuses technologies clés fonctionnent encore bien - ou exclusivement, d'ailleurs - avec la logique classique. Dans ce premier d'un ouvrage en deux volumes, nous développons le calcul déductif classique avec la logique classique.
L'objectif du texte principal est de fournir au lecteur un développement approfondi à la fois de l'informatique classique - c'est-à-dire des langages formels et de la théorie des automates - et de la déduction classique avec le calcul classique des prédicats du premier ordre, en vue d'implémentations informatiques, notamment dans la preuve automatisée de théorèmes et la programmation logique. En complément de l'exposition mathématique des sujets, nous offrons au lecteur une très large sélection d'exercices. Cette sélection vise non seulement la mise en pratique du matériel discuté, mais aussi des approches créatives aux problèmes, à la fois pour les contenus discutés et nouveaux, ainsi que la recherche dans d'autres sujets pertinents.
Cette troisième édition améliore les précédentes en proposant une approche plus algorithmique : Il y a maintenant une section entièrement nouvelle sur les algorithmes et il y a au total quatorze algorithmes clairement isolés et conçus en pseudo-code. D'autres améliorations sont, par exemple, l'accent mis sur les fonctions dans le chapitre 1 et davantage d'exercices avec des machines de Turing.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)