Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 141 p.
Localisation : Ouvrage RdC (GRZE)
ensemble récursivement énumérable # fonction calculable # fonction récursive # hiérarchie # indécidabilité # métamathématique # problème de décision # théorie des nombres intuitioniste # théororème de Gödel
03D20 ; 03D25 ; 03D35 ; 03D55 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 477 p.
Biblioteka matematyczna , 0020
Localisation : Ouvrage RdC (GRZE)
complétion # constructivité # fonction récursive # groupe abélien # logique mathématique # métamathématique # nombre ordinal # quantificateur # quantificateur de fonction # système déductif # sémantique # théorie des treillis # théorie indécidable # théorème de Herbrand-Gentzen # théorème de Skolem-Löwenheim généralisé # vérité
03-02 ; 03-03 ; 03B25 ; 03D20 ; 03E10
... Lire [+]
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 [+]
