m

F Nous contacter

0

Documents  03-03 | enregistrements trouvés : 102

O

-A +A

P Q

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.

Localisation : Salle de manutention

algèbre commutative # analyse # calcul formel # forme quadratique # géométrie algorithmique # géométrie algébrique réelle # géométrie analytique # histoire des mathématiques # logique # théorie de la complexité # théorie des modèles # topologie algébrique # topologie différentielle # équation

03-03 ; 12-03 ; 14-03

... Lire [+]

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


ISBN 978-3-540-07152-5

Lecture notes in mathematics , 0450

Localisation : Collection 1er étage

action nilpotente sur groupe nilpotent # anneau commutatif # anneau de polynôme commutatif # anneau de série de puissance # classe d'axiome # forcing # logique et fondation # logique modale propositionnelle # système de remplacement # théorie de la dimension # théorie de récursion et algèbre # théorème de Church- Rosser # théorème de structure pour inverse semi-groupe

00-02 ; 00Bxx ; 01A05 ; 01A60 ; 03-03

... Lire [+]

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


ISBN 978-0-8176-3444-5

Localisation : Colloque 1er étage (CHIC)

histoire de la logique # histoire des mathematiques # logique mathematique # logique symbolique

03-03

... 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.

- 274 p.
ISBN 978-0-8218-3033-8

Proceedings of the Steklov institute of mathematics , 0133

Localisation : Collection 1er étage

01A70 ; 03-03 ; 03-06 ; 04-03 ; 20-03

... Lire [+]

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


ISBN 978-90-277-0614-0

The university of western ontario series in philosophy of science , 0006

Localisation : Colloque 1er étage (LOND)

application minimum de principe de changement # application épistémique # changement de croyance itéré # changement de croyance rationnel # changement de préférence # cinématique de probabilité # complexité de calcul # conditionnalisation # conditionnel contrefactuel # conditionnel de test de Ramsey # description incomplète et langage # fonction de Popper # fondation # indépendance stochastique # inférence statistique # logique pour croyance subjective # observation # probabilité de conditionnel # probabilité précédente # simplicité # stabilité de fréquence relative # théorie des probabilités # théorie statistique de la science application minimum de principe de changement # application épistémique # changement de croyance itéré # changement de croyance rationnel # changement de préférence # cinématique de probabilité # complexité de calcul # conditionnalisation # conditionnel contrefactuel # conditionnel de test de Ramsey # description incomplète et langage # fonction de Popper # fondation # indépendance stochastique # inférence statistique # logique pour croyance ...

03-03 ; 03-XX

... Lire [+]

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

- 278 p.
ISBN 978-3-03719-113-2

Heritage of European mathematics

Localisation : Ouvrage RdC (ROQU)

histoire des mathématiques # théorie des nombres # algèbre centrale simple # groupe fini # problème d'intégration

01-02 ; 03-03 ; 11-03 ; 12-03 ; 16-03 ; 20-03 ; 01A60 ; 01A70 ; 01A75 ; 11E04 ; 11E88 ; 11R18 ; 11R37 ; 11U10

... Lire [+]

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

- 349 p.
ISBN 978-2-711-74351-3

Localisation : Loisir RdC

Bertrand Russell # fondements des mathématiques # logique mathématique # bande dessinée # histoire des mathématiques

00A30 ; 00A09 ; 01A55 ; 01A60 ; 00-01 ; 03-03 ; 68-03

... Lire [+]

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

- 165 p.
ISBN 978-2-7298-8448-2

Localisation : Histoire des sciences RdC

histoire des mathématiques # logique mathématique # philosophie # raisonnement

01-02 ; 01A05 ; 03-03

... Lire [+]

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

- 178 p.
ISBN 978-2-02-32778-7

Points

Localisation : Ouvrage RdC (THEO)

théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie

03-03 ; 03A05

... Lire [+]

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

- xxiii; 429 p.
ISBN 978-3-0348-0223-9

Science networks - historical studies , 0045

Localisation : Ouvrage RdC (HINK)

théorie des ensembles # théorème de Cantor-Bernstein # théorème de Schröder-Bernstein # théorème de division de Bernstein # Georg Cantor # Richard Dedekind # Felix Bernstein # Ernst Zermelo

03-02 ; 03-03 ; 01A55 ; 01A60 ; 03E10

... Lire [+]

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

- xii; 439 p.
ISBN 978-0-19-537222-9

Localisation : Ouvrage RdC (SIEG)

histoire des mathématiques # philosophie des mathématiques # théorie de la démonstration # structure mathématique # réductionnisme # finitisme # métamathématique # imperfection # déduction naturelle

01-06 ; 00A30 ; 00B60 ; 01A55 ; 01A60 ; 01A61 ; 01A70 ; 03-03 ; 03A05 ; 03A10 ; 03F03

... Lire [+]

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

- xi; 447 p.
ISBN 978-0-19-964010-2

Localisation : Ouvrage RdC (PHIL)

philosophie des mathématiques # analyse mathématique # pratique mathématique # visualisation # raisonnement diagrammatique # pureté des méthodes # concepts et définitions mathématiques # pruve mathématique # théorie des catégories # géométrie algébrique # physique mathématique

03-02 ; 03-03 ; 03-06 ; 00A30 ; 01A55 ; 01A60 ; 03A05 ; 18-03 ; 51-03

... Lire [+]

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

- 279 p.
ISBN 978-2-02-092339-2

Science ouverte

Localisation : Loisir RdC

Gödel # logique # biographie commentée # philosophie # complétude

01A70 ; 03-03 ; 00A30

... Lire [+]

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

- x; 260 p.
ISBN 978-1-4614-2406-2

Localisation : Biographie RdC (POIN)

biographie # 19ème siècle # histoire des mathématiques # 20ème siècle # Henri Poincaré # topologie algébrique # système dynamique

01A55 ; 01A70 ; 03-03 ; 11F99 ; 34-03 ; 35-03 ; 37-03 ; 70-03 ; 01A60 ; 55-03

... 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.

- xxii-526 p.
ISBN 978-0-521-76203-8

Lecture notes in logic , 0037

Localisation : Ouvrage RdC (WADGE)

logique # histoire de la logique # théorie des ensembles

03-06 ; 01A75 ; 03-03 ; 03Exx ; 00B25

... Lire [+]

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

- xxi; 347 p.
ISBN 978-0-8176-8267-5

Localisation : Ouvrage RdC (KLEI)

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

... Lire [+]

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

- ix; 466 p.
ISBN 978-0-19-960139-4

Localisation : Histoire des sciences RdC

histoire de mathématiques # Grande Bretagne # 19ème siècle # période victorienne

01-06 ; 00B15 ; 01A55 ; 01A73 ; 05-03 ; 03-03 ; 12-03 ; 51-03

... Lire [+]

Z