Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 100 p.
Cote : 00007276
effectivité des méthodes de réduction # ensemble non récursif # ensemblement récursivement énumérable # fonction récursive # logique mathématique # problème de décision # représentabilité de relation récursive
03D20 ; 03D25 ; 03Dxx
Localisation : Ouvrage RdC (GRZE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 374 p.
Cote : 00025959
logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles
03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30
Localisation : Enseignement RdC (CORI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 347 p.
Cote : 00015781
fonction récursive # logique mathématique # théoeir des modèles # théorie des ensembles # théorème de Gödel
03Cxx ; 03D20 ; 03Exx ; 03F40
Localisation : Ouvrage RdC (CORI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 287 p.
Cote : 00017469
Pascal # calcul des prédicats # complexité de programme # fonction récursive # formalisation # langage de programmation # langage standard # logique de la programmation # preuve et vérification de programme # programmation déclarative # récursivité
03B10 ; 03B70 ; 03Dxx ; 68N15 ; 68N17
Localisation : Ouvrage RdC (MARG)
English