建國科技大學圖書館 |

語系: 繁體中文

說明(常見問題)

圖書館個人資料蒐集告知聲明

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Turing's legacy : developments from ...

Downey, R. G.

Turing's legacy : developments from Turing's ideas in logic

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	developments from Turing's ideas in logic
其他作者:	DowneyR. G.,
出版地:	Cambridge, United Kingdom
出版者:	Cambridge University Press;
出版年:	2014
面頁冊數:	x, 529 p.ill. : 24 cm.;
集叢名:	Lecture notes in logic42
標題:	Computational complexity -
標題:	Machine theory -
標題:	Turing - Alan Mathison -
電子資源:	http://assets.cambridge.org/97811070/43480/cover/9781107043480.jpg
附註:	"ASL, Association for Symbolic Logic."
摘要註:	"Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church-Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later"--Provided by publisher
ISBN:	978-1-107-04348-0

Turing's legacy : developments from Turing's ideas in logic
Turing's legacy : developments from Turing's ideas in logic / edited by Rod Downey - Cambridge, United Kingdom : Cambridge University Press, 2014. - x, 529 p. ; ill. ; 24 cm.. - (Lecture notes in logic ; 42).
"ASL, Association for Symbolic Logic."Includes bibliographical references.
ISBN 978-1-107-04348-0ISBN 1-107-04348-4
Computational complexityMachine theory

Downey, R. G.

Turing's legacy : developments from Turing's ideas in logic
LDR:01839cam0 2200253 450 001 363635
005 20141205121133.0
009 2014000240
010 1 $a 978-1-107-04348-0 $b hbk. $d NT3095
010 1 $a 1-107-04348-4 $b hbk.
020 $a us $b 2014000240
100 $a 20160729d2014 m y0engy50 ba
101 0 $a eng
102 $a gb
105 $a a a 000yd
200 1 $a Turing's legacy $e developments from Turing's ideas in logic $f edited by Rod Downey
210 $a Cambridge, United Kingdom $c Cambridge University Press $d 2014
215 1 $a x, 529 p. $c ill. $d 24 cm.
225 1 $a Lecture notes in logic $v 42
300 $a "ASL, Association for Symbolic Logic."
300 $a Includes bibliographical references
330 $a "Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church-Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later"--Provided by publisher
600 1 $a Turing $b Alan Mathison $f 1912-1954 $2 lc $3 300472
606 $a Computational complexity $2 lc $3 66498
606 $a Machine theory $2 lc $3 73041
676 $a 510.92 $v 23
680 $a QA267.7 $b .T87 2014
702 1 $a Downey $b R. G. $g Rod G. $3 343632
856 4 $3 Cover image $u http://assets.cambridge.org/97811070/43480/cover/9781107043480.jpg