m

Documents  Grzegorczyk, Andrzej | enregistrements trouvés : 3

O
     

-A +A

P Q

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 [+]

Z