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
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 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 Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 493 p.
Cote : 00012736
logique classique

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

Localisation : Ouvrage RdC (Hand)

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

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

03B48 ; 03B65 ; 03B70 ; 60A05

Localisation : Colloque 1er étage (HELS)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 305 p.
Cote : 00002046
langage # logique inductive # probabilité # système inductif

03B48 ; 60A05

Localisation : Ouvrage RdC (Stud)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 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 Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 305 p.
Cote : 00007663
collection des papiers # logique inductive # probabilité

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

Localisation : Ouvrage RdC (Stud)

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

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 Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 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 Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 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 Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 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 Signaler une erreur

Filtrer

Type
Auteurs
Langue