Gå direkte til innholdet
Complexité et Décidabilité
Spar

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.
Opplag
1993 ed.
ISBN
9783540568995
Språk
Fransk
Vekt
310 gram
Utgivelsesdato
10.9.1993
Antall sider
201