Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xxii; 789 p.
Call n° : 00037158
informatique # logiciel
68-06 ; 68Nxx ; 68Qxx ; 00B25
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xix; 714 p.
Call n° : 00037374
informatique # complexité # logiciel # analyse d'algorithmes # structures de données # mathématiques discrètes pour l'informatique # langage formel
68-06 ; 68Qxx ; 00B25
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- ix; 304 p.
Call n° : 00041103
logique de 1er ordre # preuve mathématique # limite des algorithmes # théorème d'incomplétude de Gödel # théorème d'indécidabilité de Trakhtenbrot # théorème de Lindström sur la maximalité
03-01 ; 03B10 ; 03B99 ; 03C07
Location : Collection 1er étage
Français