Chargement...
Chargement...

Complexité et décidabilité

Auteur : Patrick Dehornoy

39,00 €
Chargement...
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

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. ©Electre 2024

Fiche Technique

Paru le : 01/01/1993

Thématique : Langages de programmation

Auteur(s) : Auteur : Patrick Dehornoy

Éditeur(s) : Springer

Collection(s) : Mathématiques et applications

Série(s) : Non précisé.

ISBN : Non précisé.

EAN13 : 9783540568995

Reliure : Broché

Pages : IV-200


Poids: 0 g