m

Documents  03A05 | enregistrements trouvés : 181

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 289 p.
ISBN 978-2-222-03464-3

C.n.r.s. centre regional de publications de marseille

Localisation : Ouvrage RdC (AUDU)

00A06 ; 00A30 ; 03A05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Travaux du centre de recherches semiologiques , 0062

Localisation : Colloque 1er étage (NEUC)

langage # logique # semiologie # épistémologie des sciences

03A05 ; 03B65

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 91 p.
ISBN 978-0-8218-5040-4

Contemporary mathematics , 0039

Localisation : Collection 1er étage

03A05 ; 03E25 ; 03E45 ; 03F65 ; 36A03

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 273 p.
ISBN 978-2-8417-4372-8

Philosophia scientiae , 0005

Localisation : Salle de manutention

histoire des mathématiques # épistémologie # mathématique Grecques # théorie des types # fondement des mathématiques # preuve algébrique # Hindenburg # Grassman # Ausdehnungslehre # leopold Kronecker # Cantor #perspective hétérodoxe # Russell # Zermelo # théorie des ensembles # Hilbert # L.E.J. Brouwer # Roger Apéry # E. Nelson # G. Reeb

01-06 ; 03-03 ; 03A05 ; 01A20 ; 01A60 ; 01A55

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 322 p.
ISBN 978-90-6196-211-3

Mathematical centre tracts , 0135

Localisation : Collection 1er étage

analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 599 p.
ISBN 978-90-6196-213-7

Mathematical centre tracts , 0136

Localisation : Collection 1er étage

analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Localisation : Colloque 1er étage (COLU)

00A30 ; 03-06 ; 03A05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-61434-0

Lecture notes in logic , 0006

Localisation : Colloque 1er étage (BRUN)

Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie

03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiii; 311 p.
ISBN 978-1-107-00387-3

Localisation : Colloque 1er étage (SAN)

infini # phylosophie # histoire des mathématiques # cosmologie

00B15 ; 00A30 ; 03A05 ; 85A40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (LOND)

analyse non-standard # axiomatique d'Euclide # dagme de Frege # dialectique grecque # fondement des mathématiques # formalisation du second ordre # logique et heuristique # mathématique post-godelienne et philosophie # mode platonicien de parole # métaphysique du calcul # philosophie des mathématiques # preuve d'indépendance de Cohen # preuve de complétude # rigueur informe # théorie des ensembles

03A05 ; 03B48 ; 03Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-444-85423-0

Studies in logic and the foundations of mathematics , 0104

Localisation : Colloque 1er étage (HANN)

biologie # fondement # histoire # linguistique # logique # mathématique # méthodologie # philosophie de la science # probabilité et induction # psychologie # récursion et informatique # science physique # science sociale # théorie axiomatique des ensembles # théorie de la preuve # théorie des modèles # éthique de la science

00A30 ; 03-02 ; 03-06 ; 03A05 ; 03Dxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 440 p.
ISBN 978-0-7204-2235-1

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (JERU)

03A05 ; 03B30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-444-87656-0

Studies in logic and the foundations of mathematics , 0114

Localisation : Colloque 1er étage (SALZ)

fondements des mathematiques # logique # philosophie des sciences

00A35 ; 00A69 ; 03-03 ; 03A05 ; 03E25 ; 00A30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 158 p;
ISBN 978-2-02-006061-5

Points sciences

Localisation : Ouvrage RdC (Pens)

03A05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-1312-6

Proceedings of symposia in applied mathematics , 0012

Localisation : Collection 1er étage

03A05 ; 03Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-387-90594-5

Localisation : Colloque 1er étage (ALPB)

collection des papiers # philosophie # temps

00A30 ; 01A99 ; 03A05 ; 83F05 ; 85A40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-19-851476-3

Localisation : Colloque 1er étage (MUSS)

fondement # logique mathématique # philosophie des mathématiques # épistémologie

00A30 ; 03-06 ; 03A05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xv-142 p.
ISBN 978-0-691-15574-6

Localisation : Ouvrage RdC (TURING)

oeuvres # Alan Turing # histoire # logique # philosophie des mathématiques # 20ème siècle # théorie de la peuve

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxxii; 613 p.
ISBN 978-0-521-67026-5

Cambridge introductions to philosophy

Localisation : Ouvrage RdC (PRIE)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 424 p.
ISBN 978-0-486-60028-4

Dover classics of science and mathematics

Localisation : Ouvrage RdC (BOOL)

Boole # fondement de la logique # fondement des probabilités # logique # logique formelle # logique mathématique # probabilités

03A05 ; 03Bxx ; 03Gxx

... Lire [+]

Z