Siirry suoraan sisältöön
Complexité et Décidabilité
Tallenna

Complexité et Décidabilité

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.
Painos
1993 ed.
ISBN
9783540568995
Kieli
Ranska
Paino
310 grammaa
Julkaisupäivä
10.9.1993
Sivumäärä
201