GEOTRUST SSL CERTIFICATE
| Titre : | Complexité et décidabilité |
| Auteurs : | P. Dehornoy, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Berlin : Springer, 1993 |
| Collection : | Mathématiques et applications, num. 12 |
| ISBN/ISSN/EAN : | 978-3-540-56899-5 |
| Format : | IV-200 p. |
| Langues: | Français |
| Index. décimale : | 005.2 |
| Mots-clés: | algorithmes ; Gödel, théorème de |
| Résumé : |
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. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
