Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00006423
analyse non standard # efficience # fonction différentiable # forme de Pfaff # optimisation # perturbation # singulière # équation différentielle
03F55 ; 03H05 ; 03H10 ; 34C05 ; 34D15
Localisation : Colloque 1er étage (STRA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 149 p.
Cote : 00010967
analyse constructive # constructibilité # intuitivité # logique mathématiques # logique symbolique # mathématiques constructives # mathématiques intuitives
03E45 ; 03F50 ; 03F55 ; 03F60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 519 p.
Cote : 00003223
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie # treillis
[-] algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie ...
[+] 03-XX ; 03B05 ; 03B45 ; 03F55 ; 06Bxx
Localisation : Ouvrage RdC (RASI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00020328
analyse classique # arbre bien fondé récursif primitif # bon ordonnancement récursif # formule de Harrop # induction transfinie classique # langage # paramètre de fonction # preuve de consistance # preuve de consistance relative # principe de Markov # prédicat décidable # syntaxe # système d'analyse # système intuitioniste de théorie des nombres # système intuitioniste formel # système à induction barrée # théorie de la preuve # théorie intuitioniste formelle
[-] analyse classique # arbre bien fondé récursif primitif # bon ordonnancement récursif # formule de Harrop # induction transfinie classique # langage # paramètre de fonction # preuve de consistance # preuve de consistance relative # principe de Markov # prédicat décidable # syntaxe # système d'analyse # système intuitioniste de théorie des nombres # système intuitioniste formel # système à induction barrée # théorie de la preuve # théorie ...
[+] 03F99 ; 03-02 ; 03B55 ; 03F55
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 553 p.
Cote : 00006818
logique modale # logique mathématique et base # logique intermédiaire # théorie de preuve et mathématique constructive
03A05 ; 03Bxx ; 03Cxx ; 03F55
Localisation : Ouvrage RdC (FITT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 466 p.
Cote : 00008510
logique mathématique et base # théorie de preuve et mathématique constructive # philosophie mathématique
03F65 ; 00A30 ; 03F50 ; 03F55 ; 03F60
Localisation : Ouvrage RdC (BEES)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 237 p.
Cote : 00010492
mathéma tiques intuitives # mathématiques constructives # théorie de la preuve logique mathématiques # théorie des modèles
03C65 ; 03C90 ; 03F25 ; 03F50 ; 03F55
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 191 p.
Cote : 00004202
logique et fondation # intuitionisme
03Cxx ; 03F55
Localisation : Ouvrage RdC (FITT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00011133
convexite # geom etrie combinatoire # geometrie discrete # geometrie intuitive # mathematiques intuitives
03F50 ; 03F55 ; 05Bxx ; 53-06
Localisation : Colloque 1er étage (SIOF)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00012250
logique # logique mathematique # logique symbolique # mathematique intuitive
03F55
Localisation : Collection 1er étage
English