m

Documents  04-XX | enregistrements trouvés : 66

O

-A +A

P Q

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

- 418 p.

Localisation : Publication 1er étage

champ aléatoire # complexité stochastique # développement à valeur de bord # estimateur d'ellipsoïde de volume minimum rééchantillonné # famille bien graduée de relations # géométrie # indécidabilité # information de Kullback-Leibler # ordre linéaire # petit groupe # plan de Laguerre # polytope # poursuite en projection # problème du meilleur choix # régression à rupture positive # statistique de rang sérielle # système coopératif # sélection d'ordre # théorie des ensembles L-M # théorie des ensembles ZF # théorie des statistiques # variété symplectique # équivalence de produit étoile champ aléatoire # complexité stochastique # développement à valeur de bord # estimateur d'ellipsoïde de volume minimum rééchantillonné # famille bien graduée de relations # géométrie # indécidabilité # information de Kullback-Leibler # ordre linéaire # petit groupe # plan de Laguerre # polytope # poursuite en projection # problème du meilleur choix # régression à rupture positive # statistique de rang sérielle # système coopératif # sélection ...

00B15 ; 04-XX ; 52Bxx ; 62-06 ; 90D26

... Lire [+]

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


ISBN 978-0-8405-0083-0

SMS , 0025

Localisation : Salle de manutention

axiome du choix # ensemble constructible # ensemble générique de Cohen # hypothèse du continu # modèle transitif # réduction d'un modèle à un autre # théorie des ensembles de Zermelo-Fraenkel

03E45 ; 03Exx ; 04-XX ; 04A25 ; 04A30

... Lire [+]

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


ISBN 978-3-540-07534-9

Lecture notes in mathematics , 0499

Localisation : Collection 1er étage

approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # problème algorithmique irrésoluble récursivement # produit du forcing de Silver # propriété d'indescriptibilité # sémantique intensionnelle pour langage naturel # théorie des ensembles en langage infinitaire # théorie des modèles de corps locaux # théorie du calcul # théorème de Silver # type de données comme treillis # élimination de quantificateur approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # ...

03-XX ; 04-XX ; 68-XX

... Lire [+]

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

- 514 p.
ISBN 978-963-8022-81-3

Bolyai society mathematical studies , 0003

Localisation : Colloque 1er étage (VISE)

classe close de fonctions booléennes # ensemble de mots # famille de Sperner # invariant algébrique pour code et plan # méthode probabiliste en théorie des ensembles finis extrémal # petite île # problème de type Ramsey de Shelah # problème extrémal en géométrie finie # problème extrémal sur graphe ou hypergraphe # problème isopérimétrique en espace discret # système d'ensembles et hypergraphe # théorie de la dimension pour ensembles partiellement ordonné # théorème de Kruskal-Katona # évolution de fonctions booléennes aléatoires classe close de fonctions booléennes # ensemble de mots # famille de Sperner # invariant algébrique pour code et plan # méthode probabiliste en théorie des ensembles finis extrémal # petite île # problème de type Ramsey de Shelah # problème extrémal en géométrie finie # problème extrémal sur graphe ou hypergraphe # problème isopérimétrique en espace discret # système d'ensembles et hypergraphe # théorie de la dimension pour ensembles pa...

03Exx ; 04-XX ; 05-06 ; 05D05

... Lire [+]

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

Localisation : Colloque 1er étage (PARI)

Vinogradow # convergence des séries de Fourier # fluctuation dans lutte pour la vie # fonction harmonique # fonction statistique # hypothèse de Goldbach # intégrale de Riemann-Liouville # intégrale généralisée de Stieltjes # involution cyclique # mathématique parisienne au moyen-âge # méthode axiomatique # nombre premier # pensée mathématique # problème de Cauchy pour équation d'ondes # propriété différentielle d'ensemble # réunion internationale de mathématiciens # trigonométrie de triangle curviligne # variété algébrique Vinogradow # convergence des séries de Fourier # fluctuation dans lutte pour la vie # fonction harmonique # fonction statistique # hypothèse de Goldbach # intégrale de Riemann-Liouville # intégrale généralisée de Stieltjes # involution cyclique # mathématique parisienne au moyen-âge # méthode axiomatique # nombre premier # pensée mathématique # problème de Cauchy pour équation d'ondes # propriété différentielle d'ensemble # réunion inte...

00A30 ; 00B25 ; 01A60 ; 03Exx ; 04-XX

... Lire [+]

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


ISBN 978-3-540-50020-9

Lecture notes in mathematics , 1333

Localisation : Collection 1er étage

logique

03Dxx ; 03Exx ; 04-XX

... Lire [+]

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


ISBN 978-3-540-50020-9

Lecture notes in mathematics , 1333

Localisation : Collection 1er étage

logique # theorie de la recursion # theorie des ensembles

03Dxx ; 03Exx ; 04-XX

... Lire [+]

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

- 284 p.
ISBN 978-0-387-12688-3

Lecture notes in mathematics , 1019

Localisation : Collection 1er étage

03Dxx ; 03Exx ; 04-XX

... Lire [+]

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

- 449 p.
ISBN 978-2-7056-6243-1

Collection méthodes

Localisation : Ouvrage RdC (WAGS)

analyse fonctionnelle # axiome de la théorie des ensembles # dualité dans les espaces localement convexes # dualité des espaces de Banach # ensemble ordonné ou infini # espace compact # espace connexe # espace d'application linéaire continue # espace de Hilbert # espace localement convexe # espace topologique # famille sommable # nombre réel # opérateur compact # opérateur de Hilbert-Schmidt # théorème de Stone- Weierstrass # topologie

03Exx ; 04-XX ; 46Axx ; 46Bxx ; 46Cxx

... Lire [+]

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

- 277 p.
ISBN 978-0-8044-7020-9

Localisation : Ouvrage RdC (NATA)

analyse fonctionnelle # fonction bornée # fonction de carré sommable # fonction de variation bornée # fonction mesurable # fonction sommable # intégral de Stieltjes # intégrale de Lebesgue # théorie des ensembles # théorie des fonctions # variable réelle

04-XX ; 26-XX ; 26A42 ; 46-XX

... Lire [+]

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

Actualité scientifiques et industrielles , 1243

Localisation : Réserve

cardinal # ensemble bien ordonné # ensemble fini # ensemble infini # ensemble ordonné # ensemble équipotent # entier naturel # limi te injective # limite projective # nombre entier

03Exx ; 04-XX ; 04A10 ; 06Axx ; 46M40

... Lire [+]

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

Actualité scientifiques et industrielles , 1141

Localisation : Réserve

ensemble dénombrable # ensemble ordonné # ensemble quotient # fonction # partie d'un ensemble # produit d'ensembles # produit d'une famille d'ensembles # puissance # r elation d'équivalence # structure # théorie des ensembles # échelle d'ensemble # élément

03Exx ; 04-XX ; 04A05

... Lire [+]

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

- 406 p.

Saunders mathematics books

Localisation : Monographie RdC (ABIA)

théorie des ensembles

04-XX

... Lire [+]

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

- 577 p.
ISBN 978-3-540-61031-1

Algorithms and combinatorics , 0014

Localisation : Ouvrage RdC (Math)

Erdos # combinatoire # géométrie convexe # géométrie discrète # méthode probabiliste # problème de Erdos # théorie de graphe

00A05 ; 03Exx ; 04-XX ; 05-XX ; 05Cxx ; 11-XX ; 51-XX ; 60-XX

... Lire [+]

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

- 399 p.
ISBN 978-3-540-61032-8

Algorithms and combinatorics , 0013

Localisation : Ouvrage RdC (Math)

Erdös # combinatoire # conjecture # ensemble entier # fonction de Landau # groupe fini # non-dérivabilité de fonction périodique # polynôme # probabilité # processus stochastique # progression arithmétique finie # représentation de fonction # théorie des graphes # théorie des nombres

00A05 ; 03Exx ; 04-XX ; 05-XX ; 05Cxx ; 11-XX ; 51-XX ; 60-XX

... Lire [+]

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

- 358 p.
ISBN 978-0-7204-2284-9

Studies in logic and the foundationd of mathematics , 0084

Localisation : Ouvrage RdC (Sets)

Paul Bernays # bibliographie # biographie # ensemble et classe # fonction de choix d'ensemble ou classe # principe de réflexion et indescriptibilité # rôle des classes en théorie des ensembles # schéma d'infinité en théorie axiomatique des ensembles # système de théorie axiomatique des ensembles

01A70 ; 03E25 ; 03E30 ; 03Exx ; 04-XX

... Lire [+]

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

- 152 p.
ISBN 978-0-19-853395-5

Oxford Logic Guide , 0020

Localisation : Ouvrage RdC (FORS)

NF indice trois # NF,NFU,KF # arithmétique de cardinaux et d'ordinaux # axiome # axiome de dénombrement # classe de préfixes # conbinatoire # définition inductive # ensemble bien fondé # ensemble comme espèce naturelle # ensemble comme prédicat # ensemble universel # exploration d'univers atypique # hiérarchie de quantificateurs # lemme d'automorphisme # lemme d'équiconsistance de Kaye-Specker # lemme de Boffa # modèle de permutation # modèle de terme # n-formule # paradoxe # paradoxe de Russell # problème de consistance converse # propriété de de fermeture des petits ensembles # résumé d'ensembles # sous- système # théorie # théorie des ensembles # théorie des types NF indice trois # NF,NFU,KF # arithmétique de cardinaux et d'ordinaux # axiome # axiome de dénombrement # classe de préfixes # conbinatoire # définition inductive # ensemble bien fondé # ensemble comme espèce naturelle # ensemble comme prédicat # ensemble universel # exploration d'univers atypique # hiérarchie de quantificateurs # lemme d'automorphisme # lemme d'équiconsistance de Kaye-Specker # lemme de Boffa # modèle de permutation # modèle de ...

03E10 ; 03E35 ; 03Exx ; 04-XX ; 04A10

... Lire [+]

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

- 154 p.

Localisation : Ouvrage RdC (COHE)

axiome du choix # constance de l'hypothèse du continu # fonction récursive générale # fonction récursive primitive # indépendance de l'hypothèse d'un continu # langage formel # système formel # théorème de Lawenheim-Skolem # théorie des ensembles # théorie des ensembles de Zermelo-Fraenkel # théorème de nonplénit ude de Gobel # théorème de plénitude de Gobel

03E25 ; 03E35 ; 03E50 ; 03Exx ; 04-XX

... Lire [+]

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

- 351 p.
ISBN 978-0-7204-2200-9

Studies in logic and the foundations of mathematics , 0076

Localisation : Ouvrage RdC (DRAK)

cardinal de partition # cardinal inaccessible # cardinal indescriptible # cardinal mesurable # grands cardinaux # langage # langage infinitaire # principe de réflexion # théorie des ensembles # univers constructible

03E10 ; 03Exx ; 04-XX ; 04A10

... Lire [+]

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

- 621 p.
ISBN 978-86-80593-20-3

Localisation : Oeuvres complètes RdC (KURE)

Kurepa # axiome de choix de Zermelo # calcul de partition en théorie des ensembles # chaîne et anti-chaîne # complétion métrique d'espace # dendrite d'espace # espace abstrait continu linéaire # espace distancé séparable général # espace p-adique de Hensel # espace topologique # famille des ensembles bien ordonnés de nombre rationnel # fonction cardinale en topologie # fonction factorielle gauche en domaine complexe # fonction réelle # genèse d'espace uniforme # graphe # hypothèse du continu # multiplication cartésienne # oeuvres choisies # problème de Souslin # relation symétrique réflexive # tableau ramifié de Aronszajn # théorie des ensembles axiomatique # théorie des ensembles partiellement ordonnés # théorie des nombres # topologie générale # oeuvres complètes Kurepa # axiome de choix de Zermelo # calcul de partition en théorie des ensembles # chaîne et anti-chaîne # complétion métrique d'espace # dendrite d'espace # espace abstrait continu linéaire # espace distancé séparable général # espace p-adique de Hensel # espace topologique # famille des ensembles bien ordonnés de nombre rationnel # fonction cardinale en topologie # fonction factorielle gauche en domaine complexe # fonction réelle # genèse ...

01A75 ; 03Exx ; 04-XX ; 06Axx ; 54A25

... Lire [+]

Z