Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00011753
complexite # deductibilite # informatique theorique # logique # recessivite # systeme logique classique
02B10 ; 03D05 ; 02G05 ; 68A40 ; 69A20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00021183
axiomatisation # complétude MT[oméga indice 1] # construction de sous-ensemble étendue à oméga indice 1 # filtre d'ensemble co-final fermé # forme normale d'automate déterministe # indépendance de l'axiome de raccordement # lemme de forme prenex # méthode d'élimination des quantificateurs d'ensembles # méthode de décision pour MT[oméga indice 1,<] # oméga indice 0 # oméga indice 1 # ordinal dénombrable # système d'axiome pour MT[co] et pour MT[alpha] alpha < oméga # théorie du second ordre monadique
[-] axiomatisation # complétude MT[oméga indice 1] # construction de sous-ensemble étendue à oméga indice 1 # filtre d'ensemble co-final fermé # forme normale d'automate déterministe # indépendance de l'axiome de raccordement # lemme de forme prenex # méthode d'élimination des quantificateurs d'ensembles # méthode de décision pour MT[oméga indice 1,<] # oméga indice 0 # oméga indice 1 # ordinal dénombrable # système d'axiome pour MT[co] et pour ...
[+] 03-02 ; 03D05 ; 02G05 ; 02G10 ; 68-02
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
English