En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03F55 23 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Bakundi (1) 1981-1983 trace d'un séminaire Bobo Seke ; Bebbouchi, Rachid ; Bebbouchi, Rachid ; Seke, Bobo | Dept. Math. ; I.R.M.A. ; U.L.P. 1983

Congrès


Call n° : 00006423
analyse non standard # efficience # fonction différentiable # forme de Pfaff # optimisation # perturbation # singulière # équation différentielle

03F55 ; 03H05 ; 03H10 ; 34C05 ; 34D15

Location : Colloque 1er étage (STRA)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Varieties of constructive mathematics Bridges, Douglas ; Richman, Fred | Cambridge University Press 1987

Ouvrage

- 149 p.
Call n° : 00010967
analyse constructive # constructibilité # intuitivité # logique mathématiques # logique symbolique # mathématiques constructives # mathématiques intuitives

03E45 ; 03F50 ; 03F55 ; 03F60

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The mathematics of metamathematics Rasiowa, Helena ; Sikorski, Roman | PWN-Polish Scientific Publishers 1970

Ouvrage

- 519 p.
Call n° : 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

Location : Ouvrage RdC (RASI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Proof theory and intuitionistic systems Scarpellini, Bruno | Springer-Verlag 1971

Ouvrage


Call n° : 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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Proof methods for modal and intuitionistic logics Fitting, Melvin | D. Reidel Publisher Co. 1983

Ouvrage

- 553 p.
Call n° : 00006818
logique modale # logique mathématique et base # logique intermédiaire # théorie de preuve et mathématique constructive

03A05 ; 03Bxx ; 03Cxx ; 03F55

Location : Ouvrage RdC (FITT)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Foundations of constructive mathematics Beeson, Michael J. | Springer-Verlag 1985

Ouvrage

- 466 p.
Call n° : 00008510
logique mathématique et base # théorie de preuve et mathématique constructive # philosophie mathématique

03F65 ; 00A30 ; 03F50 ; 03F55 ; 03F60

Location : Ouvrage RdC (BEES)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Projections of lawless sequences Van Der Hoeven, G. F. | Mathematisch Centrum 1985

Ouvrage

- 237 p.
Call n° : 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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Intuitionistic logic model theory and forcing Fitting, Melvin Chris | North-Holland Publishing Co. 1969

Ouvrage

- 191 p.
Call n° : 00004202
logique et fondation # intuitionisme

03Cxx ; 03F55

Location : Ouvrage RdC (FITT)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Intuitive geometry
the janos bolyai mathematical society held an international confernce on..,in siofok,12-18 may,1985 Baroczky, K. ; Fejes Toth, G. | North-Holland Publishing Co. 1987

Congrès


Call n° : 00011133
convexite # geom etrie combinatoire # geometrie discrete # geometrie intuitive # mathematiques intuitives

03F50 ; 03F55 ; 05Bxx ; 53-06

Location : Colloque 1er étage (SIOF)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mathematical intuitionism
introduction to proof theory Dragalin, A. G. | American Mathematical Society 1988

Ouvrage


Call n° : 00012250
logique # logique mathematique # logique symbolique # mathematique intuitive

03F55

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language