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. $104.67, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1993 by Springer.