m

Documents  03-03 | enregistrements trouvés : 102

O

-A +A

P Q

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.

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


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.

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

- 410 p.
ISBN 978-0-387-90670-6

Studies in the history of mathematics and physical sciences , 0008

Localisation : Ouvrage RdC (MOOR)

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

... Lire [+]

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

- 477 p.

Biblioteka matematyczna , 0020

Localisation : Ouvrage RdC (GRZE)

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

... Lire [+]

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

- 376 p.
ISBN 978-1-84628-632-8

Springer undergraduate mathematics series

Localisation : Ouvrage RdC (GRAY)

histoire des mathématiques # 19ème siècle # 20ème siècle # géométrie algébrique # géométrie projective # géométrie de Moebius # dualité # géométrie non-euclidienne # Pomalet # Möbius # Plücker # Poincaré

01A05 ; 01A55 ; 01A60 ; 03-03 ; 14-03 ; 30-03 ; 51-03 ; 53-03

... Lire [+]

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

- 300 p.

Localisation : Ouvrage RdC (W)

Wittgenstein # mathématique générales # philosophie mathématique

01A70 ; 03-03 ; 03A05

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

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

- 218 p.
ISBN 978-1-56881-213-7

Localisation : Ouvrage Rdc (WAPN)

récréation mathématique # logique # axiome de choix # paradoxe de Banach Tarski # 20ème siècle

00A08 ; 03E25 ; 00-01 ; 00A05 ; 01A60 ; 03-01 ; 03-03

... Lire [+]

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

- 82 p.
ISBN 978-1-108-00101-4

Cambridge Library Collection

Localisation : Ouvrage RdC (BOOL)

logique # histoire des mathématiques # Boole # 19ème siècle

03-03 ; 01A55 ; 01A75 ; 01A70

... Lire [+]

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

- 741 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (BETH)

axiomatique # fonction recursive # fondement des mathématiques # logique # théorie des ensembles # épistémologie

03-03 ; 03A05 ; 03B30 ; 03Dxx

... Lire [+]

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

- 783 p.

Localisation : Ouvrage RdC (KNEA)

algèbre de Boole # logique # métathéorie # système de déductions # théorie de relation # théorie des ensembles

03-03 ; 03A05

... Lire [+]

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

- 82 p.
ISBN 978-0-486-49550-7

Dover phoenix editions

Localisation : Ouvrage RdC (HUNT)

théorie des ensembles # nombre transfini # série discrète # continuum

03Exx ; 03E50 ; 03-03

... Lire [+]

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


ISBN 978-2-87647-062-0

Localisation : Ouvrage RdC (C)

ensemble bien ordonné # exponentielle # forme normale des nombres # nombre cardinal fini # nombre cardinal transfini aleph-zéro ou aleph-un # nombre ordinal # nombre rationnel # puissance de la deuxième classe numérique # théorie des ensembles transfinis # type theta du continu linéaire X

01A55 ; 03-03 ; 04-03 ; 04A10 ; 04A30

... Lire [+]

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

- 209 p.

Mémoires de l'Université de Neuchatel , 0013

Localisation : Ouvrage RdC (PICC)

ensemble de distances # ensemble de nombres réels # ensemble mesurable # ensemble parfait linéaire # espace euclidien

03-03 ; 03Exx ; 04-03 ; 51M05 ; 51N20

... Lire [+]

Z