m

F Nous contacter

0

Documents  03B48 | enregistrements trouvés : 16

O
     

-A +A

P Q

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.

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

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

collection des papiers # logique inductive # probabilité

03-06 ; 03A05 ; 03B48 ; 60A05 ; 60G09

... Lire [+]

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

- 493 p.
ISBN 978-90-277-1542-5

Synthese library , 0164

Localisation : Ouvrage RdC (Hand)

logique classique

03-XX ; 03B05 ; 03B30 ; 03B48

... Lire [+]

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.

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

- xix, 464 p.
ISBN 978-0-521-89560-6

Localisation : Ouvrage RdC (PEAR)

causalité # probabilités # modèles mathématiques # inférence

03B48 ; 68T20 ; 68-02 ; 68T30 ; 68T37

... Lire [+]

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

- 223 p.
ISBN 978-86-80593-57-9

Zbornik radova , 0018

Localisation : Ouvrage RdC (LOGI)

théorie de la démonstration # logique probabiliste de premier ordre # clone et hyperclone # commutation et conception logique # système de preuve interactive

18-01 ; 03F07 ; 18A15 ; 03F05 ; 18D10 ; 03B48 ; 03B60 ; 03B70 ; 03B35 ; 68T37 ; 68T15 ; 68T30 ; 03-02 ; 03B40 ; 03B47 ; 68N18 ; 03F52 ; 08-02 ; 08A40 ; 03C13 ; 15-02 ; 43A32 ; 94B05

... Lire [+]

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 [+]

Z