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 03A05 184 results

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

Le point aveugle, cours de logique. Tome 1 :
Cours de logique vers la perfection Girard, Jean-Yves | Hermann 2006

Ouvrage

- 280 p.
Call n° : 00029551
logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire

03-XX ; 03-99 ; 03A05

Location : Ouvrage RdC (GIRA)

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

Le point aveugle. Vol. II :
Cours de logique vers l'imperfection Girard, Jean-Yves | Hermann 2007

Ouvrage

- 567 p.
Call n° : 00029925
logique mathématique # théorie de la démonstration # épistémologie

03-XX ; 03A05

Location : Ouvrage RdC (GIRA)

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

Selected studies :
physics-astrophysics, mathematics, history of science#a volume dedicated to the memory of Albert Einstein Rassias, G. M. ; Rassias, Th. M. | North-Holland Publishing Co. 1982

Ouvrage

- 392 p.
Call n° : 00006845
Einstein # CN-complexe # Jean Dieudonné # astrophysique # histoire de la science # mathématique # physique # relativité # résonance # transcendance # trou noir # téorie de Morse # équation de Navier-Stockes # oeuvres complètes

03A05 ; 83-02 ; 83A05 ; 83CXX ; 85-02

Location : Oeuvres complètes RdC (EINS)

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

Cinq conférences sur l'indécidabilité Bouleau, Nicolas ; Girard, Jean-Yves ; Louveau, Alain | Presse De L'Ecole Nationale Des Ponts Et Chaussees 1983

Ouvrage

- 77 p.
Call n° : 00006060

03A05 ; 03B25 ; 03E60

Location : Ouvrage RdC (BOUL)

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

Carnets 1914-1916 Wittgenstein, Ludwig | Gallimard ; Nrf 1971

Ouvrage

- 250 p.
Call n° : 00002007
extraits de lettres de Wittgenstein à Russell, 1912- 1920 # logique # notes dictées à G.E. Moore, en Norvège, avril 1914 # philosophie # tractatus logico-philosophicus

00A30 ; 03A05

Location : Ouvrage RdC (WITT)

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

Mathematics form and function MacLane, Saunders | Springer-Verlag 1986

Ouvrage

- 439 p.
Call n° : 00009960
générale # méthodologie et philosophie des mathématiques # matière spécifique générale et diverse # logique mathématique et fondation # philosophie et critique

00-01 ; 00A05 ; 00A06 ; 03A05

Location : Ouvrage RdC (MACL)

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

An investigation of the laws of thought
on which are founded the mathematical theories of logic and probabilities Boole, George | Dover Publications ; Inc. 1958

Ouvrage

- 424 p.
Call n° : 00012161
Boole # fondement de la logique # fondement des probabilités # logique # logique formelle # logique mathématique # probabilités

03A05 ; 03Bxx ; 03Gxx

Location : Ouvrage RdC (BOOL)

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.
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.
Call n° : 00013389
théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie

03-03 ; 03A05

Location : Ouvrage RdC (THEO)

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

La science et la métaphysique
devant l'analyse logique du langage Carnap, Rudolf ; Boll, Marcel ; Vouillemin, Ernest | Hermann & Cie. 1934

Ouvrage

- 44 p.
Call n° : 00003762
analyse logique du langage # pseudo-proposition métaphysique # signification d'un mot # terme metaphysique insensés

03A05 ; 03A30 ; 03B65

Location : Ouvrage RdC (CARN)

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

Georg Cantor :
his mathematics and philosophy of the infinite Dauben, Joseph Warren | Harvard University Press 1979

Ouvrage

- 404 p.
Call n° : 00001956
dimension # dinumérabilité # ensemble bien ordonné # ensemble de point # ensemble dérivé # ensemble simplement ordonné # mathématique de l'infini # nombre réel # philosophie de l'infini # série trigonométrique

03A05 ; 03Exx ; 04-XX ; 26A12

Location : Ouvrage RdC (DAUB)

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