Rayon Développement d'applications, langages de programmation
Fiche technique
Format : Broché
Nb de pages : IV-200 pages
Poids : 400 g
EAN : 9783540568995
Complexité et décidabilité
Chez
Springer
Collection(s) |
Mathématiques et applications
Paru le 01/01/1993
Broché
IV-200 pages
Quatrième de couverture
Présente les bases de la théorie de la complexité des algorithmes et en dérive 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.
