Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
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-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.
- 278 p.
Studia leibnitiana supplementa , 0011
Localisation : Oeuvres complètes RdC (LEIB)
17 ème siècle # ars combinatoire # fonction symétrique # combinatoire # dissertation de arte combinatoria # oeuvres complètes # partition # récursion # Leibniz
01A45 ; 01A75 ; 03-03 ; 05-03 ; 11-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 333 p.
Philosophies par l'age de la science
Localisation : Ouvrage RdC (BOUD)
logique et fondation # système formel non classique # théorie de la probabilité et prosessus stochastique # axiome
03B99 ; 00A30 ; 60A05 ; 03-03 ; 03-01 ; 60-03 ; 60-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 341 p.
ISBN 978-90-277-0320-0
Vienna circle collection , 0010
Localisation : Ouvrage RdC (MENG)
histoire et biographie # histoire des mathématiques et mathématiciens # logique mathématique et fondation
03-03 ; 03Bxx ; 90Axx ; 97-XX ; 99-50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 152 p.
ISBN 978-0-19-853173-9
Oxford logic guides , 0005
Localisation : Ouvrage RdC (SEGE)
langage proportionnel # logique booléenne # logique classique # logique commune # logique modale # logique pré- classique # opérateur proportionnel classique
03-03 ; 03B05 ; 03B45 ; 03Bxx ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 171 p.
ISBN 978-3-515-02839-4
Studia leibnitiana supplementa , 0018
Localisation : Oeuvres complètes RdC (LEIB)
17 ème siècle # Deus Sbjectum # Leibniz à Paris # Spinoza # V # démonstratio evangelica # existence # irénisme d'Antoine Arnault # logica inventiva # métaphysique de Leibniz # oeuvres complètes # perpétuité # philosophie de Leibniz # reve et espace # vérité hypothétique
00A99 ; 01A45 ; 01A75 ; 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 494 p.
ISBN 978-3-487-04531-3
Studien und materialien zur geschichte der philosophie
Localisation : Bibliographie de math. RdC
00A15 ; 03-03 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 412 p.
ISBN 978-3-487-06960-9
Studien und materialien zur geschichte der philosophie
Localisation : Bibliographie de math. RdC
00A15 ; 03-03 ; 03A05 ; 03Bxx
... 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.
- 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.
- 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.
- 186 p.
ISBN 978-90-277-2151-8
Synthese library , 0182
Localisation : Ouvrage RdC (DETL)
histoire des mathématiques # logique
00-02 ; 03-02 ; 03-03
... Lire [+]