Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 588 p.
Cote : 00018833
algorithme # automate fini # borne inférieure # calcul distribué # calcul formel # concurrence # dynamique symbolique # fondement mathématique de l'informatique théorique # graphe aléatoire # graphe en modèle de calcul # langage formel # logique du second ordre # paradigme de calcul # physique # planification de communication parallèle # preuve propositionnelle # raisonnement non monotone # routage d'intervalle # résultat d'indépendance # réécriture # sémantique # théorie de la complexité structurelle # théorie des types # unification # vérification de modèle
[-] algorithme # automate fini # borne inférieure # calcul distribué # calcul formel # concurrence # dynamique symbolique # fondement mathématique de l'informatique théorique # graphe aléatoire # graphe en modèle de calcul # langage formel # logique du second ordre # paradigme de calcul # physique # planification de communication parallèle # preuve propositionnelle # raisonnement non monotone # routage d'intervalle # résultat d'indépendance # ...
[+] 68Qxx ; 68Rxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00018896
Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie
03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx
Localisation : Colloque 1er étage (BRUN)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00023314
logique # logique mathématique # logique symbolique
03-06
Localisation : Colloque 1er étage (PRAG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 451 p.
Cote : 00026483
analyse fonctionnelle # espace de Banach # théorème de Banach # topologie faible # base de Schauder # opérateur compact # convexité uniforme # théorème de Mazur # théorème de Kadec
46-01 ; 46B20 ; 46Bxx ; 47B07
Localisation : Ouvrage RdC (Func)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 339 p.
Cote : 00030844
analyse fonctionnelle # géométrie d'espace normé # espace de Banach non séparable # système biorthogonal # M-base # Auerbach base # index Szlenk # norme équivalente # espace de Asplund # axiome de Lartin # intersection de Mazur
46-02 ; 46B15 ; 46B20 ; 46B26
Localisation : Ouvrage Rdc (Bior)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
English