9 résultat(s) recherche sur le mot-clé 'completeness'

Comparison of statistical experiments / Erik N. Torgersen

Public ISBD Titre : Comparison of statistical experiments Type de document : texte imprimé Auteurs : Erik N. Torgersen, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 2009 Collection : Encyclopedia of Mathematics and Its Applications num. 36 Importance : xx, 675 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-0-521-10282-7 Note générale : Reprint of the 1991 hardback ed. Langues : Anglais Catégories : 62-XX Statistics:62-02 Research exposition (monographs, survey articles) 62-XX Statistics:62BXX Sufficiency and information:62B15 Theory of statistical experiments 62-XX Statistics:62CXX Decision theory :62C05 General considerations Mots-clés : information content of experiments  finite sample results  vector lattices  defiency  game theory  Lorenz ordering  conical measures  sufficiency  completeness  extremeness of experiments  asymptotic minimax risk theorem  Hájek-LeCam convolution theorem  weak convergence of procedures  linear models Index. décimale : 62C Monographie Comparison of statistical experiments [texte imprimé] / Erik N. Torgersen, Auteur . - Cambridge : Cambridge University Press, 2009 . - xx, 675 p. : ill. ; 25 cm. - (Encyclopedia of Mathematics and Its Applications; 36) . ISBN : 978-0-521-10282-7 Reprint of the 1991 hardback ed. Langues : Anglais Catégories : 62-XX Statistics:62-02 Research exposition (monographs, survey articles) 62-XX Statistics:62BXX Sufficiency and information:62B15 Theory of statistical experiments 62-XX Statistics:62CXX Decision theory :62C05 General considerations Mots-clés : information content of experiments  finite sample results  vector lattices  defiency  game theory  Lorenz ordering  conical measures  sufficiency  completeness  extremeness of experiments  asymptotic minimax risk theorem  Hájek-LeCam convolution theorem  weak convergence of procedures  linear models Index. décimale : 62C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18612	62C405	imprimé / autre	CRDM	62/STATISTIQUES	Disponible

A course in mathematical logic for mathematicians / Yuri Ivanovich Manin

Public ISBD Titre : A course in mathematical logic for mathematicians Type de document : texte imprimé Auteurs : Yuri Ivanovich Manin, Auteur Mention d'édition : 2nd ed. Editeur : New York, NY : Springer Année de publication : 2010 Collection : Graduate Texts in Mathematics num. 53 Importance : xvii - 384 p. Format : 25 cm ISBN/ISSN/EAN : 978-1-4419-0614-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic Mots-clés : mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness Index. décimale : 03C Monographie A course in mathematical logic for mathematicians [texte imprimé] / Yuri Ivanovich Manin, Auteur  . -  2nd ed. . - New York, NY : Springer, 2010 . - xvii - 384 p. ; 25 cm. - (Graduate Texts in Mathematics; 53) . ISBN : 978-1-4419-0614-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic Mots-clés : mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20561	03C184	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Les démonstrations et les algorithmes / Gilles Dowek

Public ISBD Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : Éd. de l'École polytechnique Année de publication : 2010 Collection : Informatique Importance : 193 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 104I Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : Éd. de l'École polytechnique, 2010 . - 193 p. ; 24 cm. - (Informatique) . ISBN : 978-2-7302-1569-5 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 104I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21099	104I31	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible

Differential-operator equations: ordinary and partial differential equations / Yakubov, Sasun

Public ISBD Titre : Differential-operator equations: ordinary and partial differential equations Type de document : texte imprimé Auteurs : Yakubov, Sasun ; Yakubov, Yakov Editeur : Boca Raton, FL : Chapman & Hall/CRC Press Année de publication : 2000 Collection : Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics. num. 103 Importance : 541 p. ISBN/ISSN/EAN : 978-1-58488-139-1 Langues : Anglais Mots-clés : resolvent  regge problem  agmon's conditions  well-posedness  gevrey space  cauchy problem  principally boundary value problem  root vectors  abel basis  n-fold completeness  completeness  polynomial operator pencils Index. décimale : 35C Monographie Differential-operator equations: ordinary and partial differential equations [texte imprimé] / Yakubov, Sasun ; Yakubov, Yakov . - Boca Raton, FL : Chapman & Hall/CRC Press, 2000 . - 541 p.. - (Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics.; 103) . ISBN : 978-1-58488-139-1 Langues : Anglais Mots-clés : resolvent  regge problem  agmon's conditions  well-posedness  gevrey space  cauchy problem  principally boundary value problem  root vectors  abel basis  n-fold completeness  completeness  polynomial operator pencils Index. décimale : 35C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12445	35C282	imprimé / autre	CRDM	35/EQUATIONS AUX DERIVEES PARTIELLES	Disponible

Mathematical foundations of quantum scattering theory for multiparticle systems / Israel M. Sigal

Public ISBD Titre : Mathematical foundations of quantum scattering theory for multiparticle systems Type de document : texte imprimé Auteurs : Israel M. Sigal Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1978 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 209 Importance : iii - 147 p. Langues : Anglais Catégories : 47-XX Operator theory:47AXX General theory of linear operators:47A40 Scattering theory 47-XX Operator theory:47AXX General theory of linear operators:47A70 (Generalized) eigenfunction expansions; rigged Hilbert spaces 81-XX Quantum theory:81UXX Scattering theory :81U10 $n$-body potential scattering theory Mots-clés : quantum scattering theory  completeness  existence Index. décimale : Mem Mathematical foundations of quantum scattering theory for multiparticle systems [texte imprimé] / Israel M. Sigal . - Providence, R.I. : American Mathematical Society, 1978 . - iii - 147 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 209) . Langues : Anglais Catégories : 47-XX Operator theory:47AXX General theory of linear operators:47A40 Scattering theory 47-XX Operator theory:47AXX General theory of linear operators:47A70 (Generalized) eigenfunction expansions; rigged Hilbert spaces 81-XX Quantum theory:81UXX Scattering theory :81U10 $n$-body potential scattering theory Mots-clés : quantum scattering theory  completeness  existence Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15278	Mem/209	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Mathematical scattering theory / Dmitri Yafaev

Permalink

Proofs and algorithms / Gilles Dowek

Permalink

Selected papers on algebra and topology / Birkhoff, Garrett

Permalink

Theory of point estimation / Lehmann, E. L.

Permalink