Complexité Et Décidabilité [French]

by Patrick Dehornoy

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...

• Format: Paperback
• Language: French
• ISBN: 3540568999
• ISBN13: 9783540568995
• Release Date: September 1993
• Publisher: Springer
• Length: 201 Pages
• Weight: 0.66 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"