m

F Nous contacter

0

Documents  Krivine, Jean-Louis | enregistrements trouvés : 5

O
     

-A +A

P Q

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

Publications mathematiques de l'universite Paris vii , 0016

Localisation : Publication 1er étage

algèbre de disque # espace de James généralisé # espace de type ESA # forme multilinéaire # géométrie d'espace de Banach # opérateur se factorisant # opérateur sommant # plongement de signe # problème de relèvement # propriété de Grothendieck # propriété spectrale d'un opérateur de multiplication # spectre d'opérateur de convolution # suite de Cauchy faible # vecteur presque propre d'un opérateur

46-06 ; 46B20 ; 46Bxx ; 47A68

... Lire [+]

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

- xvi, 275 p.
ISBN 978-2-85629-273-0

Panoramas et synthèses , 0027

Localisation : Collection 1er étage

Théorie de la démonstration # réalisabilité # machines abstraites # logique linéaire # sémantique des jeux

03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20

... Lire [+]

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

- 273 p.
ISBN 978-2-84225-014-0

Nouvelle bibliothèque mathématique , 0005

Localisation : Ouvrage RdC (KRIV)

théorie des ensembles # logique # modèle intérieur # axiome du choix # axiome de Zermelo-Frenkel # modèle de Fraenkel-Mostowski # ensemble constructible # théorème d'incomplétude de Göbel # Forcing # algèbre de Boole # arbre # exercice # indépendance de l'hypothèse du continu # indépendance de l'axiome du choix # chaîne # anti-chaîne

03-01 ; 03Exx ; 03-02 ; 03G05

... Lire [+]

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

- 176 p.
ISBN 978-2-225-82091-5

Etudes et recherches en informatique

Localisation : Disparu;Ouvrge RdC (KRIV)

fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types

03-XX ; 03B15 ; 03B40 ; 03Bxx ; 03D20

... Lire [+]

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

Collection SUP le mathematicien , 0001

Localisation : Disparu

cardinal # ensemble constructible # modèle de Fraenkel-Mostowski # théorie axiomatique des ensembles

04-01 ; 04A10 ; 04A25

... Lire [+]

Z