Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 307 p.
Cote : 00006163
degré de non solvabilité # fonction récurrente # hiérarchie # opérateur des sauts # segment initial # treillis
03D20 ; 03D25 ; 03D30 ; 03D35 ; 03D55
Localisation : Ouvrage RdC (LERM)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00014975
axiome des choix dépendants # fermeture booléenne de sigma indice j # formule en sigma indice 0 # hiérarchie de formule en théorie des ensembles # hiérarchie relative # niveau inférieur de hiérarchie # phénomène de réflexion # prédicat de satisfaction # sentence indécidable # terme admissible # théorie des ensembles d'Ackermann # théorème de Skolem-Lowenheim # théorème de hiérarchie sémantique ou syntactique
03D35 ; 03D55 ; 03Exx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 147 p.
Cote : 00001805
arithmétique constructive # créativité et effective inséparabilité # incomplétude # indécidabilité # oméga-consistance # représentabilité formelle # système formel mathématique # théorie de Gödel et Rosser # théorie des fonctions récursives # théorie des systèmes formels # énumérabilité récursive
03D20 ; 03D25 ; 03D35 ; 03F40 ; 03Fxx
Localisation : Ouvrage RdC (SMUL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 367 p.
Cote : 00023910
logique # théorie des nombres # 10ème problème de Hilbert # arithmétique # géométrie algébrique # calcul des algorithmes numériques # informatique théorique # classe de complexité # décidabilité # fonction récursive
00B25 ; 03B25 ; 03D20 ; 03D35 ; 11U05 ; 14Gxx ; 65Y20 ; 68Q15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 372 p.
Cote : 00037029
recursion # fonction recursive # problème de mots # algorithme # équantion diophantienne # fonction arithmétique # réductibilité # machine de Turing # théorème de Church # 10ème problème de Hilbert
03Dxx ; 03D20 ; 03-01 ; 03-02 ; 03D45 ; 03D25 ; 03D35 ; 03D10 ; 03D40 ; 03D03 ; 03B25 ; 68W99 ; 11U05 ; 11D99
Localisation : Ouvrage RdC (MALC)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xi; 98 p.
Cote : 00037150
indécidabilité
03-02 ; 03D35
Localisation : Ouvrage RdC (TARS)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.