Cargando…
The universal computer : the road from Leibniz to Turing /
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and di...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boca Raton, FL :
CRC Press,
©2012.
|
| Edición: | Turing centenary ed. |
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | OR_ocn773034282 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 120117s2012 flua ob 001 0 eng d | ||
| 010 | |z 2011039841 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d E7B |d EBLCP |d MHW |d UIU |d CDX |d OCLCO |d OCLCQ |d DEBSZ |d OCLCF |d OCLCQ |d OCLCO |d UIU |d CRCPR |d OCLCQ |d COO |d OCLCQ |d OCLCO |d CUS |d MERUC |d BUF |d UUM |d CEF |d VT2 |d OCLCQ |d WYU |d LVT |d G3B |d S9I |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCA |d OCLCO | ||
| 019 | |a 809977291 |a 859859751 |a 1048236507 |a 1050973181 |a 1065719012 |a 1076644867 |a 1229469677 |a 1281713995 | ||
| 020 | |a 9781466505209 |q (electronic bk.) | ||
| 020 | |a 1466505206 |q (electronic bk.) | ||
| 020 | |a 9781138413931 |q (hbk.) | ||
| 020 | |a 1138413933 | ||
| 020 | |z 9781466505193 | ||
| 020 | |z 1466505192 | ||
| 024 | 8 | |a 9786613908667 | |
| 029 | 1 | |a AU@ |b 000049145822 | |
| 029 | 1 | |a CHBIS |b 011431957 | |
| 029 | 1 | |a CHNEW |b 000618329 | |
| 029 | 1 | |a CHVBK |b 567546373 | |
| 029 | 1 | |a DEBSZ |b 397217145 | |
| 029 | 1 | |a NLGGC |b 401255204 | |
| 029 | 1 | |a NZ1 |b 14243802 | |
| 035 | |a (OCoLC)773034282 |z (OCoLC)809977291 |z (OCoLC)859859751 |z (OCoLC)1048236507 |z (OCoLC)1050973181 |z (OCoLC)1065719012 |z (OCoLC)1076644867 |z (OCoLC)1229469677 |z (OCoLC)1281713995 | ||
| 037 | |a 390866 |b MIL | ||
| 050 | 4 | |a QA76.17 |b .D38 2012eb | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Davis, Martin, |d 1928-2023, |e author. | |
| 245 | 1 | 4 | |a The universal computer : |b the road from Leibniz to Turing / |c Martin Davis. |
| 246 | 1 | |i Title page: |a Universal computer : the road from Liebniz to Turing | |
| 250 | |a Turing centenary ed. | ||
| 260 | |a Boca Raton, FL : |b CRC Press, |c ©2012. | ||
| 300 | |a 1 online resource (xiv, 224 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 | ||
| 500 | |a "An A K Peters Book." | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Leibniz's dream -- Boole turns logic into algebra -- Frege : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Gödel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age -- the logicians. The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor, Hilbert, and Godel, before turning to Turing. Turing's analysis of algorithmic pro. | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Electronic digital computers |x History. | |
| 650 | 6 | |a Ordinateurs |x Histoire. | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Electronic digital computers |2 fast | |
| 655 | 0 | |a Electronic books. | |
| 655 | 7 | |a History |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Davis, Martin, 1928- |t Universal computer. |b Turing centenary ed. |d Boca Raton, FL : CRC Press, ©2012 |z 9781466505193 |w (DLC) 2011039841 |w (OCoLC)756596194 |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781466505209/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24074007 | ||
| 938 | |a Coutts Information Services |b COUT |n 23413002 | ||
| 938 | |a CRC Press |b CRCP |n AKP0KE16055PDF | ||
| 938 | |a ebrary |b EBRY |n ebr10522552 | ||
| 938 | |a YBP Library Services |b YANK |n 7265087 | ||
| 994 | |a 92 |b IZTAP | ||