OK
www.librest.com
Revenir à la liste
Complexité et décidabilité
Partager ce livre sur Facebook Partager ce livre sur Twitter

Fiche technique

Format : Broché
Nb de pages : IV-200 pages
Poids : 400 g
Date de parution :
EAN : 9783540568995

Complexité et décidabilité

de

chez Springer

Collection(s) : Mathématiques et applications

Paru le | Broché IV-200 pages

Professionnels

39.00 € Indisponible

Quatrième de couverture

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.

Du même auteur : Patrick Dehornoy

↑