Complexite et Decidabilite (9783540568995)

Cet ouvrage presente les bases de la theorie de la complexite des algorithmes et en derive les theoremes fondamentaux de decidabilite et d'indecidabilite pour la logique et l'arithmetique, dont le premier theoreme d'incompletude de Goedel. En faisant reposer toutes les preuves sur le codage de l'arret d'une machine de Turing, on a souligne l'homogeneite et l'unite profonde des resultats presentes. L'approche par les machines de Turing est tres accessible grace a la familiarite donnee aujourd'hui par l'informatique. Le livre n'est pas une encyclopedie exhaustive, mais parvient de facon rapide a demontrer un choix de resultats representatifs de l'ensemble de la theorie.

Product details

• Format Paperback | 201 pages
• Dimensions 170 x 244 x 11.18mm | 660g
• Publication date 10 Sep 1993
• Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Publication City/Country Berlin, Germany
• Language French
• Edition Statement 1993 ed.
• Illustrations note IV, 201 p.
• ISBN10 3540568999
• ISBN13 9783540568995

Download Complexite et Decidabilite (9783540568995).pdf, available at ebook.drbook.co for free.


or
DOWNLOAD