Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (LOND)
analyse non-standard # axiomatique d'Euclide # dagme de Frege # dialectique grecque # fondement des mathématiques # formalisation du second ordre # logique et heuristique # mathématique post-godelienne et philosophie # mode platonicien de parole # métaphysique du calcul # philosophie des mathématiques # preuve d'indépendance de Cohen # preuve de complétude # rigueur informe # théorie des ensembles
03A05 ; 03B48 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (HELS)
confirmation # information sémantique # logique du premier ordre # logique inductive # paradoxe
03B48 ; 03B65 ; 03B70 ; 60A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Salle de manutention
cohomologie bornée et géométrie # déviation parallèle # entrelac # espace de Sobolev # extension finie de corps local # formule de Feynmann-Kac # langage K-adjacent # logique inductive # noeud # nombre de Perron # polynôme de Jones # rationnalité # tresse # élément analytique non constant à dérivée nulle # équation différentielle
00Bxx ; 03B48 ; 46Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 419 p.
ISBN 978-0-521-63550-9
London mathematical society lecture note series , 0259
Localisation : Collection 1er étage
arithmétique # logique # model de calcul # théorie de preuve # théorie des ensembles
03-06 ; 03B48 ; 03Bxx ; 03Cxx ; 03Exx ; 03Fxx
... 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.
- 244 p.
ISBN 978-0-521-39459-8
Cambridge studies in probability, induction, and decision theory
Localisation : Ouvrage RdC (JEFF)
induction # logique inductive # probabilité # théorie de la décision # épistémologie
00A30 ; 03B48 ; 60A05 ; 62Cxx ; 90A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 211 p.
ISBN 978-0-19-507068-2
Localisation : Ouvrage RdC (WISE)
application des probabilités # charte réelle # conditionnement # contre- exemple en théorie des probabilités # contre-exemple avec preuve # contre-exemple en analyse # convergence en théorie des probabilités # différentiation # espace de produits # filtre de Kalman # fonction à valeur réelle # intégration # mesure # théorie des probabilités
03B48 ; 26A24 ; 28A35 ; 60A05 ; 60G35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 61 p.
Actualités scientifiques et industrielles , 0884
Localisation : Ouvrage RdC (SERV)
analyse fondamentale du langage # base exacte du calcul des probabilités # choix au hasard # choix douteux # définition mathématique de la probabilité # pseudo-choix au hasard # théorie du choix # égalité mathématique # égalité physique
00A30 ; 00A79 ; 03B48 ; 60Axx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 305 p.
ISBN 978-0-520-03826-4
Localisation : Ouvrage RdC (Stud)
langage # logique inductive # probabilité # système inductif
03B48 ; 60A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 62 p.
ISBN 978-0-89871-027-4
CBMS-NSF regional conference series in applied mathematics , 0030
Localisation : Collection 1er étage
L- isomorphisme # calcul faisable # complexité informatique # ensemble complet # langage formel # preuve de théorème trivial # problème P=NP relativisé # propriété de complexité prouvable # réduction # structure # système mathématique formel # théorie des ensembles formelles
03B48 ; 03D15 ; 68Q15 ; 68Q25 ; 68Q45
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 459 p.
ISBN 978-0-19-850368-2
Oxford classic texts in the physical sciences
Localisation : Ouvrage RdC (JEFF)
probabilité # probabilité directe # estimation # approximation # test # table # généralité
60-01 ; 62-01 ; 01A75 ; 03B48 ; 62-02 ; 62A01 ; 62F15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 135 p.
ISBN 978-1-56881-172-7
Lecture notes in logic , 0014
Localisation : Ouvrage RdC (FAJA)
théorie des modèles # processus stochastique # modèle mathématique non-standard # logique inductive
60G07 ; 03B48 ; 03C98 ; 03H05
... 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.
- x; 342 p.
ISBN 978-1-107-04230-8
Perspectives in logic
Localisation : Ouvrage RdC (PARI)
logique # philosophie # rationalité # langage polyadique # conformité # interchangeabilité du spectre # invariance de langage
03-02 ; 03A05 ; 03B48
... Lire [+]