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

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

Logique inductive et probabilité Boudot, Maurice | Librairie Armand Colin 1972

Ouvrage

- 333 p.
Cote : 00001511
logique et fondation # système formel non classique # théorie de la probabilité et prosessus stochastique # axiome

03B99 ; 00A30 ; 60A05 ; 03-03 ; 03-01 ; 60-03 ; 60-01

Localisation : Ouvrage RdC (BOUD)

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

Selected papers in logic and foundations, didactics, economics Menger, Karl | D. Reidel 1979

Ouvrage

- 341 p.
Cote : 00001240
histoire et biographie # histoire des mathématiques et mathématiciens # logique mathématique et fondation

03-03 ; 03Bxx ; 90Axx ; 97-XX

Localisation : Ouvrage RdC (MENG)

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

Bibliographia logica :
verzeichnis der druckschriften zur logik mit angabe ihrer fundorte Risse, Wilhelm | Georg Olms Verlagsbuchhandlung 1965

Ouvrage

- 293 p.
Cote : 00006871

00A15 ; 03-03 ; 03Bxx

Localisation : Bibliographie de math. 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

Bibliographia logica
verzeichnis der handschriften zur logik Risse, Wihelm | Georg Olms Verlag 1974

Ouvrage

- 390 p.
Cote : 00006874

00A15 ; 01A35 ; 03-03

Localisation : Bibliographie de math. 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

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

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
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

L.E.J. Brouwer collected works. Vol. 1 :
philosophy and foundations of mathematics Brouwer, L. E. J. ; Heyting, A. | North-Holland 1975

Ouvrage

- 628 p.
Cote : 00000973
fondation des mathématiques # philosophie mathématique # Brouwer # oeuvres complètes

00A30 ; 01A60 ; 01A75 ; 03-03

Localisation : Oeuvres complètes RdC (BROU)

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

an Introduction to non-classical logic:
from if to is Priest, Graham | Cambridge University Press 2008

Ouvrage

- xxxii; 613 p.
Cote : 00035578
logique # histoire de la logique # phylosophie # sous-système de la logique classique # logique modale # logique sous-structurelle # logique multi-valuée # logique floue # logique intermédiaire

03-01 ; 03-03 ; 03A05 ; 03B20 ; 03B45 ; 03B47 ; 03B50 ; 03B52 ; 03B55

Localisation : Ouvrage RdC (PRIE)

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

Excursions in the history of mathematics Kleiner, Israel | Birkhäuser 2012

Ouvrage

- xxi; 347 p.
Cote : 00037296
histoire des mathématiques # didactique # théorie des nombres # analyse # calcul # preuve # biographies # Fermat # Dedekin # Euler # Gauss # Hilbert # Weierstrass # phylosophie des mathématiques

00-01 ; 00A30 ; 01Axx ; 01A45 ; 01A50 ; 01A55 ; 01A60 ; 01A61 ; 01A99 ; 03-03 ; 11-03 ; 26-03 ; 01A05 ; 01-02 ; 00A35

Localisation : Ouvrage RdC (KLEI)

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