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 03-03 105 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Anthologie de la calculabilité :
naissance et développements de la théorie de la calculabilité des années 1920 à 1970 Mosconi, Jean ; Bourdeau, Michel ; Grigorieff, Serge | Cassini 2022

Ouvrage

- xiv; 798 p.
Cote : 00041657
fonctions calculables # anthologie # histoire des mathématiques # XXème siècle

01A60 ; 01A75 ; 03-03

Localisation : Histoire des sciences RdC

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

The history of mathematical proof in ancient traditions Chemla, Karine | Cambridge University Press 2012

Ouvrage

- xv; 596 p.
Cote : 00041602
histoire des sciences # mathématiques grecques # éléments d'Euclide # diagramme de Heiberg # Archimède # philosophie des mathématiques # notation des nombres # Diophante d'Alexandrie # mathématiques babyloniennes # neuf chapitres # algorithme # pyramide tronquée # mathématiques indiennes # mathématiques vietnamiennes # mathématiques de la Chine ancienne

01-06 ; 01A15 ; 01A20 ; 01A25 ; 01A32 ; 01A70 ; 03-03 ; 00B15

Localisation : Histoire des sciences RdC

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Zermelo's axiom of choice :
its origins, development, and influence Moore, Gregory H. | Springer-Verlag 1982

Ouvrage

- 410 p.
Cote : 00005270
histoire et biographie # histoire des mathématiques et des mathématiciens # 20ème siècle # logique mathématique et fondation # théorie des ensembles # axiome de choix et de propositions relatives # axiome de choix et de propositions équivalentes

01A55 ; 01A60 ; 03-03 ; 03E25 ; 04-03

Localisation : Ouvrage RdC (MOOR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Le théorème de Gödel Girard, Jean-Yves ; Godel, Kurt ; Nagel, Ernest ; Newman, James R. | Editions Du Seuil 1989

Ouvrage

- 178 p.
Cote : 00013389
théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie

03-03 ; 03A05

Localisation : Ouvrage RdC (THEO)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logique et fondements des mathématiques :
anthologie (1850-1914) De Rouilhan, Philippe ; Rivenc, Francois | Payot 1992

Ouvrage

- 447 p.
Cote : 00015176
Bolzano # Boole # Cantor # épistémologie # fondement des mathématiques # Frege # Hilbert # logique # logique et mathématique # Peirce # Zermelo

03-03

Localisation : Ouvrage RdC (Logi)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Méthode axiomatique et formalisme. Fasc. I :
le problème du fondement des mathématiques Cavailles, Jean | Hermann & Cie. 1938

Ouvrage

- 82 p.
Cote : 00003793
axiomatisation # fondement des mathématiques # formalisation # théorie des ensembles

03-03 ; 03B30 ; 51-03

Localisation : Ouvrage RdC (CAVA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Zarys logiki matematycznej Grzegorczyk, Andrzej | Panstwowe Wydawnictwo Naukowe 1961

Ouvrage

- 477 p.
Cote : 00007898
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

Localisation : Ouvrage RdC (GRZE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Les paradoxes de l'infini Bolzano, Bernard ; Sinaceur,Hourya | Editions Du Seuil 1993

Ouvrage

- 191 p.
Cote : 00016442
intéraction des substances # paradoxe de l'espace # paradoxe de l'infini # paradoxe du temps # univers infini # éther

00A30 ; 03-03 ; 03A05 ; 03E10 ; 04A10

Localisation : Ouvrage RdC (BOLZ)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logique et mathématique chez Bernard Bolzano Sebestik, Jan | Librairie J. Vrin 1992

Ouvrage

- 522 p.
Cote : 00016444
Bolzano # fondement de la logique # histoire de la logique # logique mathématique

01A55 ; 03-03 ; 03B30

Localisation : Ouvrage RdC (SEBE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Non-standard analysis Robinson, Abraham | North-Holland Publishing Co. 1970

Ouvrage


Cote : 00004233
analyse non standard # calcul différentiel et intégral # espace linéaire # fonction d'une variable réelle ou complexe # groupe topologique de Lie # histoire # logique mathématique # topologie générale

03-03 ; 03H05 ; 22Exx ; 26Axx ; 30Axx

Localisation : Ouvrage RdC (R)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun