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,...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Davis, Martin, 1928-2023 (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boca Raton, FL : CRC Press, [2018]
Edición:Third edition.
Temas:
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)

MARC

LEADER 00000cam a2200000 i 4500
001 OR_on1027825362
003 OCoLC
005 20231017213018.0
006 m o d
007 cr |n|||||||||
008 180307s2018 flu ob 001 0ceng d
040 |a YDX  |b eng  |e rda  |e pn  |c YDX  |d OCLCO  |d N$T  |d NLE  |d OCLCQ  |d CRCPR  |d EBLCP  |d CNCGM  |d OBE  |d COO  |d YDX  |d UMR  |d MERER  |d OCLCQ  |d EZ9  |d U3W  |d UMR  |d OCLCQ  |d OTZ  |d OCLCQ  |d TYFRS  |d OCLCQ  |d S2H  |d OCLCO  |d UKMGB  |d OCLCQ  |d VT2  |d OCL  |d OCLCQ  |d OCLCO  |d K6U  |d OCLCQ  |d OCLCA 
015 |a GBB824032  |2 bnb 
016 7 |a 018718776  |2 Uk 
019 |a 1023818770  |a 1028047472  |a 1028072628  |a 1028807196  |a 1028881225  |a 1029842357  |a 1029889606  |a 1048764786  |a 1153013829  |a 1192328002  |a 1240512638  |a 1272925622 
020 |a 9781351384827  |q (electronic book) 
020 |a 1351384821  |q (electronic book) 
020 |a 9781315144726  |q (electronic book) 
020 |a 1315144727  |q (electronic book) 
020 |a 9781351384803 
020 |a 1351384805 
020 |a 9781351384810  |q (ePub ebook) 
020 |a 1351384813 
020 |z 9781138502086 
020 |z 1138502081 
020 |z 9780815384021 
020 |z 0815384025 
024 3 |a 9781351384810 
029 1 |a CHBIS  |b 011430633 
029 1 |a CHNEW  |b 001058305 
029 1 |a CHVBK  |b 567530876 
029 1 |a CHVBK  |b 569749085 
029 1 |a UKMGB  |b 018718776 
035 |a (OCoLC)1027825362  |z (OCoLC)1023818770  |z (OCoLC)1028047472  |z (OCoLC)1028072628  |z (OCoLC)1028807196  |z (OCoLC)1028881225  |z (OCoLC)1029842357  |z (OCoLC)1029889606  |z (OCoLC)1048764786  |z (OCoLC)1153013829  |z (OCoLC)1192328002  |z (OCoLC)1240512638  |z (OCoLC)1272925622 
037 |a 5312951  |b Proquest Ebook Central 
050 4 |a QA76.17  |b .D38 2018 
072 7 |a BIO  |x 000000  |2 bisacsh 
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/.09  |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. 
250 |a Third edition. 
264 1 |a Boca Raton, FL :  |b CRC Press,  |c [2018] 
300 |a 1 online resource (xv, 222 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references and index. 
505 0 |a Cover; Half Title; Title Page; Copyright Page; Dedication; Table of Contents; Preface to Third Edition; Preface to Second Edition; Preface; Introduction; 1: Leibnizs Dream; 2: Boole Turns Logic into Algebra; George Booles Hard Life; 3: Frege: From Breakthrough to Despair; 4: Cantor: Detour through Infinity; 5: Hilbert to the Rescue; 6: Gadel Upsets the Applecart; 7: Turing Conceives the All-Purpose Computer; 8: Making the First Universal Computers; 9: Beyond Leibnizs Dream; Epilogue; Notes; Bibliography; Index. 
520 2 |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. New to the thrid edition; much expanded version of the discussion of artificial intelligence and current technology, and the way it confirms the significance of Turing's pencil-and-paper universal machine. Further exploration of the relationship between Kronecker and Cantor."--Provided by publisher 
588 0 |a Online resource; title from digital title page (viewed on April 18, 2018). 
590 |a O'Reilly  |b O'Reilly Online Learning: Academic/Public Library Edition 
650 0 |a Electronic digital computers  |x History. 
650 0 |a Mathematicians  |v Biography. 
650 6 |a Ordinateurs  |x Histoire. 
650 6 |a Mathématiciens  |v Biographies. 
650 7 |a BIOGRAPHY & AUTOBIOGRAPHY  |x General.  |2 bisacsh 
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 Mathematicians.  |2 fast  |0 (OCoLC)fst01012154 
650 7 |a Electronic digital computers.  |2 fast  |0 (OCoLC)fst00907122 
650 7 |a Computers.  |2 fast  |0 (OCoLC)fst00872776 
655 2 |a Biography 
655 7 |a Biographies.  |2 fast  |0 (OCoLC)fst01919896 
655 7 |a History.  |2 fast  |0 (OCoLC)fst01411628 
655 7 |a Biographies.  |2 lcgft 
655 7 |a Biographies.  |2 rvmgf 
776 0 8 |z 9781351384827  |z 9781351384810 
856 4 0 |u https://learning.oreilly.com/library/view/~/9781351384810/?ar  |z Texto completo (Requiere registro previo con correo institucional) 
938 |a EBL - Ebook Library  |b EBLB  |n EBL5312951 
938 |a EBSCOhost  |b EBSC  |n 1723198 
938 |a Taylor & Francis  |b TAFR  |n 9781315144726 
938 |a YBP Library Services  |b YANK  |n 16137384 
938 |a YBP Library Services  |b YANK  |n 15501172 
938 |a YBP Library Services  |b YANK  |n 15200804 
938 |a YBP Library Services  |b YANK  |n 15214408 
994 |a 92  |b IZTAP