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.
Caractéristiques
- Éditions : Springer
- Auteur : Patrick Dehornoy
- ISBN : 9783540568995
- Date de publication : 1 janvier 1993
- Dimensions (L x H x E cm) : 1.2 X 24.4 X 17
- Poids (g) : 300
- Reliure : Broché
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !
