Cargando…
Computability in context : computation and logic in the real world /
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, base...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London : Hackensack, NJ :
Imperial College Press ; Distributed by World Scientific,
©2011.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn733048100 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 110627s2011 enka ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d EBLCP |d E7B |d MHW |d OCLCQ |d NJR |d OCLCQ |d YDXCP |d DEBSZ |d OCLCQ |d OCLCA |d OCLCQ |d OCLCF |d OCLCQ |d AZK |d LOA |d JBG |d AGLDB |d MOR |d PIFAG |d ZCU |d MERUC |d OCLCQ |d U3W |d OCLCQ |d STF |d WRM |d OCLCQ |d VTS |d NRAMU |d ICG |d INT |d VT2 |d OCLCQ |d REC |d WYU |d OCLCQ |d DKC |d AU@ |d OCLCQ |d M8D |d OCLCQ |d LEAUB |d OCLCQ |d UKCRE |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 961567356 |a 962686244 |a 966198260 |a 988430311 |a 992072877 |a 1037705514 |a 1038617556 |a 1045437745 |a 1055338581 |a 1063891443 |a 1081219230 |a 1086434227 |a 1153468993 |a 1228596014 | ||
| 020 | |a 9781848162778 |q (electronic bk.) | ||
| 020 | |a 1848162774 |q (electronic bk.) | ||
| 020 | |z 9781848162457 | ||
| 020 | |z 1848162456 | ||
| 029 | 1 | |a AU@ |b 000047753072 | |
| 029 | 1 | |a AU@ |b 000051565512 | |
| 029 | 1 | |a AU@ |b 000058255688 | |
| 029 | 1 | |a CHNEW |b 000616989 | |
| 029 | 1 | |a DEBBG |b BV043127111 | |
| 029 | 1 | |a DEBBG |b BV044156573 | |
| 029 | 1 | |a DEBSZ |b 372878946 | |
| 029 | 1 | |a DEBSZ |b 379322722 | |
| 029 | 1 | |a DEBSZ |b 421586788 | |
| 029 | 1 | |a DEBSZ |b 454996241 | |
| 029 | 1 | |a HEBIS |b 299827933 | |
| 029 | 1 | |a NZ1 |b 14256714 | |
| 035 | |a (OCoLC)733048100 |z (OCoLC)961567356 |z (OCoLC)962686244 |z (OCoLC)966198260 |z (OCoLC)988430311 |z (OCoLC)992072877 |z (OCoLC)1037705514 |z (OCoLC)1038617556 |z (OCoLC)1045437745 |z (OCoLC)1055338581 |z (OCoLC)1063891443 |z (OCoLC)1081219230 |z (OCoLC)1086434227 |z (OCoLC)1153468993 |z (OCoLC)1228596014 | ||
| 050 | 4 | |a QA9.59 |b .C655 2011eb | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3/52 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Computability in context : |b computation and logic in the real world / |c editors, S. Barry Cooper, Andrea Sorbi. |
| 260 | |a London : |b Imperial College Press ; |a Hackensack, NJ : |b Distributed by World Scientific, |c ©2011. | ||
| 300 | |a 1 online resource (viii, 410 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references. | ||
| 520 | |a Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with m. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M.M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonifaci, & B. Escoffier -- 5. Definability in the real universe / S.B. Cooper -- 6. HF-computability / Y.L. Ershov, V.G. Puzarenko, & A.I. Stukachev -- 7. The mathematics of computing between logic and physics / G. Longo & T. Paul -- 8. Liquid state machines : Motivation, theory, and applications / W. Maass -- 9. Experiments on an internal approach to typed algorithms in analysis / D. Normann -- 10. Recursive functions : An archeological look / P. Odifreddi -- 11. Reverse mathematics and well-ordering principles / M. Rathjen & A. Weiermann -- 12. Discrete transfinite computation models / P.D. Welch. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computable functions. | |
| 650 | 0 | |a Computational intelligence. | |
| 650 | 0 | |a Set theory. | |
| 650 | 0 | |a Mathematics |x Philosophy. | |
| 650 | 6 | |a Fonctions calculables. | |
| 650 | 6 | |a Intelligence informatique. | |
| 650 | 6 | |a Théorie des ensembles. | |
| 650 | 6 | |a Mathématiques |x Philosophie. | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a Computable functions |2 fast | |
| 650 | 7 | |a Computational intelligence |2 fast | |
| 650 | 7 | |a Mathematics |x Philosophy |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 700 | 1 | |a Cooper, S. B. |q (S. Barry) |1 https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq | |
| 700 | 1 | |a Sorbi, Andrea, |d 1956- |1 https://id.oclc.org/worldcat/entity/E39PCjD7tcpkttFYtT9qT7yyBP | |
| 776 | 0 | 8 | |i Print version: |t Computability in context. |d London : Imperial College Press ; Hackensack, NJ : Distributed by World Scientific, ©2011 |z 9781848162457 |w (DLC) 2010039227 |w (OCoLC)668403417 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=737616 |z Texto completo |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL737616 | ||
| 938 | |a ebrary |b EBRY |n ebr10480218 | ||
| 938 | |a EBSCOhost |b EBSC |n 373232 | ||
| 938 | |a YBP Library Services |b YANK |n 6958448 | ||
| 994 | |a 92 |b IZTAP | ||