m

F Nous contacter

0

Documents  Hajek, Petr | enregistrements trouvés : 7

O
     

-A +A

P Q

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

- 588 p.
ISBN 978-3-540-60246-0

Lecture notes in computer science , 0969

Localisation : Collection 1er étage

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

... Lire [+]

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


ISBN 978-1-56881-113-0

Lecture notes in logic , 0013

Localisation : Colloque 1er étage (PRAG)

logique # logique mathématique # logique symbolique

03-06

... Lire [+]

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


ISBN 978-3-540-61434-0

Lecture notes in logic , 0006

Localisation : Colloque 1er étage (BRUN)

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

... Lire [+]

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

- 246 p.

Localisation : Ouvrage RdC (Logi)

00A79 ; 03-02 ; 03Gxx ; 81B10 ; 81BXX

... Lire [+]

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

- 451 p.
ISBN 978-0-387-95219-2

CMS books in mathematics , 0008

Localisation : Ouvrage RdC (Func)

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

... Lire [+]

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

- 339 p.
ISBN 978-0-387-68914-2

CMS books in mathematics

Localisation : Ouvrage Rdc (Bior)

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

... Lire [+]

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

- xiii; 820 p.
ISBN 978-1-4419-7514-0

CMS books in mathematics

Localisation : Ouvrage RdC (BANA)

espace de banach

46A03 ; 46A20 ; 46A22 ; 46A25 ; 46A30 ; 46A32 ; 46A50 ; 46A55 ; 46B03 ; 46B04 ; 46B07 ; 46B10 ; 46B15 ; 46B20 ; 46B22 ; 46B25 ; 46B26 ; 46B28 ; 46B45 ; 46C05 ; 46C15 ; 46G05 ; 46G12 ; 47A10 ; 52A07 ; 52A21 ; 52A41 ; 58C20 ; 58C25 ; 46-01 ; 46Bxx

... Lire [+]

Z