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
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in French. Trade paperback (US). Glued binding. 201 p. Mathématiques Et Applications, 12. Language: French-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Text in French. Trade paperback (US). Glued binding. 201 p. Mathématiques Et Applications, 12. Language: French-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in French. Trade paperback (US). Glued binding. 201 p. Mathématiques Et Applications, 12. Language: French-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.