Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 100 p.
Collection de logique mathématique série A , 0017
Localisation : Ouvrage RdC (GRZE)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 347 p.
ISBN 978-2-225-84080-7
Axiomes
Localisation : Ouvrage RdC (CORI)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 287 p.
ISBN 978-2-225-81900-1
Logique mathématiques informatique , 0003
Localisation : Ouvrage RdC (MARG)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 374 p.
ISBN 978-2-10-005453-4
Localisation : Enseignement RdC (CORI)
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
... Lire [+]