Cet ouvrage pr�sente les bases de la th�orie de la complexit� des algorithmes et en derive les th�or�mes fondamentaux de d�cidabilit� et d'ind�cidabilit� pour la logique et l'arithm�tique, dont le premier th�or�me d'incompl�tude de G�del. En faisant reposer toutes les preuves sur le codage de l'arr�t d'une machine de Turing, on a soulign� l'homog�n�it� et l'unit� profonde des r�sultats present�s. L'approche par les machines de Turing est tr�s accessible gr�ce � la familiarit ...
Read More
Cet ouvrage pr�sente les bases de la th�orie de la complexit� des algorithmes et en derive les th�or�mes fondamentaux de d�cidabilit� et d'ind�cidabilit� pour la logique et l'arithm�tique, dont le premier th�or�me d'incompl�tude de G�del. En faisant reposer toutes les preuves sur le codage de l'arr�t d'une machine de Turing, on a soulign� l'homog�n�it� et l'unit� profonde des r�sultats present�s. L'approche par les machines de Turing est tr�s accessible gr�ce � la familiarit� donn�e aujourd'hui par l'informatique. Le livre n'est pas une encyclop�die exhaustive, mais parvient de fa�on rapide � d�montrer un choix de r�sultats r�pr�sentatifs de l'ensemble de la th�orie.
Read Less
Add this copy of Complexité Et Décidabilité to cart. $65.75, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1993 by Springer.
Add this copy of Complexité Et Décidabilité to cart. $89.89, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1993 by Springer.
Add this copy of Complexité Et Décidabilité (Mathématiques Et to cart. $100.31, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1993 by Springer.