3 résultat(s) recherche sur le mot-clé 'computability'

Collected works of A. M. Turing / Turing, A.M.

Public ISBD Titre : Collected works of A. M. Turing : Pure mathematics Type de document : texte imprimé Auteurs : Turing, A.M. ; Britton, J. L. Ed. Editeur : Amsterdam : North-Holland/Elsevier Année de publication : 1992 Collection : Collected works of A. M. Turing Importance : xxii - 287 p. ISBN/ISSN/EAN : 978-0-444-88059-8 Langues : Anglais Catégories : 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D40 Word problems, etc. 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F10 Word problems, other decision problems, connections with logic and automata Mots-clés : riemann hypothesis  computability  analytic number theory  collected works Index. décimale : O1 Oeuvres Collected works of A. M. Turing : Pure mathematics [texte imprimé] / Turing, A.M. ; Britton, J. L. Ed. . - Amsterdam : North-Holland/Elsevier, 1992 . - xxii - 287 p.. - (Collected works of A. M. Turing) . ISBN : 978-0-444-88059-8 Langues : Anglais Catégories : 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D40 Word problems, etc. 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F10 Word problems, other decision problems, connections with logic and automata Mots-clés : riemann hypothesis  computability  analytic number theory  collected works Index. décimale : O1 Oeuvres

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13329	01 TUR	imprimé / autre	CRDM	01//OEUVRES COMPLETES	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

la Reconnaissance des formes par algorithmes / Simon, Jean-Claude

Public ISBD Titre : la Reconnaissance des formes par algorithmes Type de document : texte imprimé Auteurs : Simon, Jean-Claude Editeur : Paris : Masson Année de publication : 1984 Collection : Etudes et Recherches en Informatique Importance : 251 p. ISBN/ISSN/EAN : 978-2-225-80194-5 Langues : Français Catégories : 62-XX Statistics:62CXX Decision theory :62C10 Bayesian problems; characterization of Bayes procedures 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity 68-XX Computer science :68TXX Artificial intelligence:68T10 Pattern recognition, speech recognition Mots-clés : signal processing  interpretation  representation  computability  pattern recognition  computational complexity Index. décimale : 68C Monographie la Reconnaissance des formes par algorithmes [texte imprimé] / Simon, Jean-Claude . - Paris : Masson, 1984 . - 251 p.. - (Etudes et Recherches en Informatique) . ISBN : 978-2-225-80194-5 Langues : Français Catégories : 62-XX Statistics:62CXX Decision theory :62C10 Bayesian problems; characterization of Bayes procedures 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity 68-XX Computer science :68TXX Artificial intelligence:68T10 Pattern recognition, speech recognition Mots-clés : signal processing  interpretation  representation  computability  pattern recognition  computational complexity Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16044	68C197	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible