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-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.
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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Mémorial des sciences mathématiques , 0015
Localisation : Périodique 1er étage
catégorie # chaînon logique # classe # deux espèces de propositions de logique # démonstration complète # ensemble # fonction logique # identité propositionnelle # idéographie # logique des mathématiques # logique déductive # opération sur les propositions # prémisse logique en théorie mathématique # prémisse mathématique # structure de démonstration mathématique # structure générale de théorie déductive
03-03 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 410 p.
ISBN 978-0-521-62606-4
Cambridge mathematical library
Localisation : Ouvrage RdC (WHIT)
Russel # fondement # histoire des mathémathiques # logique mathématiques # whitehead # épistémologie des mathématiques
01A75 ; 03-03 ; 03B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvii, 311 p.
ISBN 978-0-691-14120-6
Localisation : Histoire des sciences RdC
philosophie des mathématiques # philosophie critique
01A75 ; 00A30 ; 03-03 ; 03A05
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 166 p.
ISBN 978-88-7088-122-6
Localisation : Oeuvres complètes RdC (HEI)
histoire de la logique # Hei Jenoort # oeuvres complètes
01A75 ; 03-02 ; 03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 664 p.
ISBN 978-0-674-32449-7
Source books in the history of the sicences
Localisation : Ouvrage RdC (HEI)
livre source # logique mathématique
01A05 ; 01A55 ; 01A60 ; 03-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.
- 224 p.
Collection de logique mathématique , 0016
Localisation : Ouvrage RdC (TARS)
axiomatique # classe # construction de théorie mathématique # exercice # logique classique # logique des propositions # logique déductive # logique mathématique # relation
03-01 ; 03-03 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 607 p.
ISBN 978-3-515-08620-2
Boethius , 0053
Localisation : Ouvrage RdC (TAPP)
histoire des mathématiques # 20ème siècle # 19ème siècle # logique # George Cantor # correspondance # lettre # théologie
01A60 ; 01A55 ; 01A70 ; 03-03 ; 01A90
... 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.
- 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.
