En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03B48 16 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic in computer science II Ghilezan, Silvia | Matematicki Institut SANU 2015

Ouvrage

- 223 p.
Cote : 00039164
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

Localisation : Ouvrage RdC (LOGI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Handbook of philosophical logic. Vol. I :
elements of classical logic Gabbay, D. ; Guenthner, F. | D. Reidel Publishing Company 1983

Ouvrage

- 493 p.
Cote : 00012736
logique classique

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

Localisation : Ouvrage RdC (Hand)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Aspects of inductive logic
international symposium held at Helsinki
Finland
Sept. 30 - Oct. 2 Hintikka, Jaakko ; Suppes, Patrick | North-Holland Publishing Co. 1966

Congrès


Cote : 00004228
confirmation # information sémantique # logique du premier ordre # logique inductive # paradoxe

03B48 ; 03B65 ; 03B70 ; 60A05

Localisation : Colloque 1er étage (HELS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Studies in inductive logic and probability. Vol. II Jeffrey, Richard | University Of California Press 1980

Ouvrage

- 305 p.
Cote : 00002046
langage # logique inductive # probabilité # système inductif

03B48 ; 60A05

Localisation : Ouvrage RdC (Stud)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Model theory of stochastic processes Fajardo, Sergio ; Keisler, H. Jérome | Association for Symbolic Logic ; A.K. Peters, Ltd 2002

Ouvrage

- 135 p.
Cote : 00025902
théorie des modèles # processus stochastique # modèle mathématique non-standard # logique inductive

60G07 ; 03B48 ; 03C98 ; 03H05

Localisation : Ouvrage RdC (FAJA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Studies in inductive logic and probability. Vol. II Jeffrey, R. C. | University Of California Press 1980

Ouvrage

- 305 p.
Cote : 00007663
collection des papiers # logique inductive # probabilité

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

Localisation : Ouvrage RdC (Stud)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

International colloquium in the philosophy of science
proceedings of the... held at Bedford College
July 11-17
Vol. 1 Lakatos, Imre | North-Holland Publishing Co. 1967

Congrès


Cote : 00004224
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

Localisation : Colloque 1er étage (LOND)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Probability and the art of judgment Jeffrey, Richard | Cambridge University Press 1992

Ouvrage

- 244 p.
Cote : 00016882
induction # logique inductive # probabilité # théorie de la décision # épistémologie

00A30 ; 03B48 ; 60A05 ; 62Cxx ; 90A05

Localisation : Ouvrage RdC (JEFF)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Counterexamples in probability and real analysis Wise, Gary L. ; Hall, Eric B. | Oxford University Press 1993

Ouvrage

- 211 p.
Cote : 00017045
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

Localisation : Ouvrage RdC (WISE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Langage des sciences et théorie du choix en science et en arts I :
le choix au hasard Servien, Pius | Hermann & Cie. 1941

Ouvrage

- 61 p.
Cote : 00003739
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

Localisation : Ouvrage RdC (SERV)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue