m

F Nous contacter

0

Documents  03C40 | enregistrements trouvés : 11

O
     

-A +A

P Q

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


ISBN 978-0-444-86876-3

Studies in logic and the foundations of mathematics , 0112

Localisation : Colloque 1er étage (FLOR)

NP # PA # logique # modèle de lambda calcul # modèle lambda filtre # modèle nonstandard de l'arithmétique # objet non-constructif # phrase logique # problème de décision # saturation forte # structure de type étendu # sémantique à valeur Heyting # théorie des modèles en informatique théorique # théorème d'interpolation de Craig # vérité continue

03-06 ; 03C35 ; 03C40 ; 03Cxx ; 03H15

... Lire [+]

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

Israel mathematical conference proceedings

Localisation : Colloque 1er étage (HAIF)

approximation dans des espaces de Besov # couple # couple de Banach # espace Lp # espace d'approximation # espace d'interpolation # espace de Lorentz-Marcinkiewicz # foncteur d'interpolation # interpolation complexe # méthode K # méthode des catégories # ondelette # opérateur de Toeplitz-Calderon # opérateur local pour des espaces de Lebesgue # orbite d'interpolation # poids des espaces de Lipschitz # produit # quasi espace de Banach # système de polynômes orthogonaux # théorie d'interpolation # théorème d'interpolation # treillis approximation dans des espaces de Besov # couple # couple de Banach # espace Lp # espace d'approximation # espace d'interpolation # espace de Lorentz-Marcinkiewicz # foncteur d'interpolation # interpolation complexe # méthode K # méthode des catégories # ondelette # opérateur de Toeplitz-Calderon # opérateur local pour des espaces de Lebesgue # orbite d'interpolation # poids des espaces de Lipschitz # produit # quasi espace de Banach # système ...

03C40 ; 30E05 ; 42A15 ; 46M35 ; 65Dxx

... Lire [+]

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

Lecture notes in mathematics , 0072

Localisation : Collection 1er étage

algèbre quantifiée # construction géométrique # définabilité implicite et compacité en langage infinitaire # dérivabilité normale en logique classique # logique déterminée # nombre de Hanf pour phase complète # ordinal admissible # preuve algébrique du théorème de compacité de Barwise # propriété d'union de modèle # quantificateur ordonné linéairement # syntaxe et sémantique de langage infinitaire # théorie de récursion # théorie des groupes

03C40 ; 03C75 ; 03Dxx

... Lire [+]

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

- 284 p.

Studies in logic

Localisation : Ouvrage RdC (ROBI)

calcul des prédicats # complétude # définabilité # métamathématique de l'algèbre # théorie algébrique # théorie des modèles # théorie métamathématique des idéaux # théorie métamathématique des variétés

03C35 ; 03C40 ; 03Cxx

... Lire [+]

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

- 48 p.

Actualités scientifiques et industrielles , 0465

Localisation : Ouvrage RdC (GONT)

condition de convergence # croissance des fonctions entières # fonction entière # formule d'Abel # formule de Newton # interpolation # point d'interpolation # polynôme de Taylor # série spéciale de Newton # théorie des fonctions

03C40 ; 30-03 ; 30E05 ; 32A15

... Lire [+]

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

- 772 p.
ISBN 978-0-521-30442-9

Encyclopedia of mathematics and its applications , 0042

Localisation : Collection 1er étage;Réserve

catégoricité # définissabilité # forcing # interpolation # modèle non classique # préservation # rigidité # récursivité # saturation # stabilité # structure finie # théo rie des modèles # ultraproduit # élimination d"un quantificateur

03C25 ; 03C35 ; 03C40 ; 03C50 ; 03Cxx

... Lire [+]

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


ISBN 978-0-8218-2565-5

Memoirs of the american mathematical society , 0503

Localisation : Collection 1er étage

2-catégorie # facteur définissable # logique algébrique # logique catégorique # logique du premier ordre # logique proportionnelle # théorie de la dualité # théorie des mobiles # topo # ultramorphisme spécial # ultraproduit

03C20 ; 03C40 ; 03G30 ; 18D05

... Lire [+]

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

- 322 p.
ISBN 978-2-86601-496-4

Collection informatique

Localisation : Ouvrage RdC (LASS)

approximation # calcul parallèle # classe de complexité # classe probabiliste # complexité # complexité en espace # définissabilité # définissabilité de Beth # définition explicite # définition implicite # définition inductive # interpolation de Craig # jeux d'Ehrenfeucht- Fraissé # logique # logique du second ordre # logique et calculabilité # loi 0-1 # structure finie # structure relationnelle # temps et espace # test de Los-Vaugt

03C40 ; 03D15 ; 03D70 ; 68N17 ; 68Q10

... Lire [+]

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

Lecture notes in mathematics , 0037

Localisation : Collection 1er étage

B-modèle intérieur maximal # M-variété # absoluticité et définabilité # indépendance de V=L # indépendance de l'axiome de choix # indépendance de l'hypothèse du continu # modèle # modèle B-valué # modèle constructible # modèle dans la théorie des ensembles # modèle générique # modèle intérieur # métalangage # méthode de contrainte de Cohen # nombre générique # système Zermelo-Fraenkel # théorème de plongement pour modèle ZF

03C40 ; 03Cxx ; 03E25 ; 03E50 ; 04A25

... Lire [+]

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

- 508 p.
ISBN 978-0-19-851174-8

Oxford logic guides , 0046

Localisation : Ouvrage RdC (GABB)

logique # interpolation # logique modale # logiques intermédiaires # logique intuitive # définissabilité # théorème de Craig # théorème de Beth

03-02 ; 03C40 ; 03B45 ; 03B55

... Lire [+]

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

- 159 p.

Bonner mathematische schriften , 0148

Localisation : Publication 1er étage

03C40 ; 03C80

... Lire [+]

Z