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

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.

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


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.


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

- 566 p.
ISBN 978-0-8284-0238-5

Localisation : Ouvrage RdC (BOCH)

philosophie et fondation des mathématiques # histoire # logique

03-03

... Lire [+]

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

- 70 p.

Notre Dame Mathematical Lectures , 0008

Localisation : Ouvrage RdC (SKOL)

axiome de Zermelo et Fraenkel # ensemble ordonné # exponentiation des alephs # logique à plusieurs valeurs # mathématique intuitioniste # mathématique opérative de Lorenz # ordinal et aleph # quantificateurs # relativisme de la théorie des ensembles # suite infinie simple # théorie de Cantor # théorie de Quine # théorie des ensembles abstraite # théorie des ensembles prédicative # théorie ramifiée des types

03-03 ; 03B15 ; 03B50 ; 03Exx ; 04-XX

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

- vi; 425p.
ISBN 978-0-521-80240-6

Localisation : Biographie RdC (TARS)

Alfred Tarski # biographie #logique # histoire des mathématiques # histoire de la logique

01A70 ; 03-03

... Lire [+]

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

- xiv; 361 p.
ISBN 978-0-521-85784-0

Cambridge introductions to philosophy

Localisation : Ouvrage RdC (SMIT)

théorème d'incomplétude de Gödel # logique # histoire des mathématiques # arithmétique # épistémologie

03-01 ; 03-02 ; 03-03 ; 03F30 ; 03F40

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

- 122 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (BOCH)

histoire # biographie

03-03

... Lire [+]

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

- 100 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (MCCA)

Théophrastus et Lukasiewicz # conversion complémentaire # dilemne d'Hintikka # interprétation de Mescher # les deux Barbaras # mode # mode Q-L-X-M # mode assertorique # mode contingent # procédure de décision # subalternation # subordination modale # syllogisme modal d'Aristote # système des modes apodéitiques

03-03 ; 03Bxx

... Lire [+]

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


ISBN 978-0-387-12043-0

Localisation : Disparu

03-03 ; 03-04 ; 03Bxx

... Lire [+]

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

- 124 p.
ISBN 978-3-487-00623-9

Localisation : Ouvrage RdC (FREG)

logique # histoire des mathématiques # Frege # begriffsschrift

01A75 ; 03-03

... Lire [+]

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

- 380 p.
ISBN 978-3-7873-0450-9

Philosophische bibliothek , 0259

Localisation : Ouvrage RdC (BOLZ)

histoire des mathématiques # Bolzano # logiquqe # fondement des mathématiques

01A75 ; 01A55 ; 03-03

... Lire [+]

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

- 390 p.
ISBN 978-3-487-06961-6

Studien und materialien zur geschichte der philosophie

Localisation : Bibliographie de math. RdC

00A15 ; 01A35 ; 03-03

... Lire [+]

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

- 293 p.

Studien und materialien zur geschichte der philosophie

Localisation : Bibliographie de math. RdC

00A15 ; 03-03 ; 03Bxx

... Lire [+]

Z