本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
引言
第一章莱布尼茨之梦
第二章布尔把逻辑变成代数
第三章弗雷格:从突破到绝望
第四章康托尔:在无限中摸索
第五章希尔伯特的营救
第六章哥德尔使计划落空
第七章图灵构想通用计算机
第八章研制第一批通用计算机
第九章超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
新日本语能力考试N1语法解说篇 本书特色 新考试,新图书。一册在手,n1语法轻松掌握。日本语能力考试新书重磅出击,n1语法不用愁: 书中语法条目,均已新考试改革...
李煜诗词英译全集 本书特色 本书为了让读者更加深入地了解李煜在诗词上的造诣,探寻其不同侧面的人生轨迹,作者搜集了李煜分散在古典名著中被引用的零星诗句或残句,译介...
《数学分析(上册)(第3版)》是教育部“高等教育面向21世纪教学内容和课程体系改革计划”的研究成果,是面向21世纪课程教材,普通高
初中作文训练八阶方略 本书特色 《初中作文训练八阶方略》特色:注重能力提升,遵循学生发展为本,体现教学内容序列化特点。注重范例导引,把握教学核心知识,体现教学知...
三年级-小学生作文创新设计-() 本书特色 亲爱的同学,你喜欢作文吗?你是否一想到写作文就愁眉苦脸?你是否面对一个个作文题目而束手无策?你又是否期盼着有人对你的...
美学原理(第二版)(本科教材) 本书特色 《美学原理(第二版)/马克思主义理论研究和建设工程重点教材》以马克思主义理论为指导,对各个时代、各个国家的美学理论成果...
2013考研英语写作基础词汇-我要考研 本书特色 考研英语大纲词汇考点突破考研英语写作基础词汇考研英语真题长难句突破考研英语翻译考点突破考研英语基础阅读突破20...
分享孩子的智慧——改进教学的建议 本书特色 课程改革十多年了,我们取得了巨大的进展和成绩。我们开始关注学生了,课堂教学出现了以杜郎口中学为代表的,以展示、交流为...
中学生必背古诗词-中国诗词大会 本书特色 1.严格按照教育部新课程标准所规定的初中阶段必背古诗文编写。2.由人大附中原副校长、语文特级教师沈献章主审。 3.精选...
三国演义-汉俄对照 本书特色 ★ 16开精装,人民文学出版社出版★ 中俄双语,左页中文,右页俄文,互为对照★ 《三国演义》为120回全译本,初版于1954年由苏...
飘 本书特色 玛格丽特·米切尔编著的《飘》是一部有关战争的小说,但作者玛格丽特没有把着眼点放在战场上。除了亚特兰大失陷前五角场上躺满伤病员那悲壮的一幕外,其他战...
3年级第一学期-从课本到奥数-(第二版)-B版周周练 本书特色《从课本到奥数》每个年级包括两本图书:a版和b版,其中a版为每天使用的天天练,b版为周末使用的周周...
卡门-创美文学馆世界经典名著 本书特色 《卡门》是法国作家梅里美的中短篇小说集,包括《马铁奥·法尔科恩》、《高龙芭》、《伊勒的维纳斯》、《卡门》等。这些作品叙述...
7年级-初中生分类作文-名师面对面-权威版 本书特色 本书精选七年级作文各类文体的优秀习作,囊括七年级中学生所接触的各类文体,共有“名师专题”“名师开讲”“师生...
老人与海 本书特色 《老人与海(读练考精编版)》:教育部“语文课程标准”指定书目。名师点评、精批详注、读练结合。老人与海 节选 《老人与海(读练考精编版)》是根...
入门篇-赖世雄零起点英语 本书特色 很多人想学好英语,却总是事与愿违,其实不是我们学不好,而是英语基础不够扎实。英语教学专家赖世雄老师发现这些问题之后,在喜马拉...
《找对首席人才官:企业家打造组织能力的关键》内容简介:这是一本让中国企业家找对和用好首席人才官的书籍。我们发现一些企业度过
本书是从萨姆·劳埃德(SamLoyd)的皇皇巨著《趣题大全》(CyclopediaofPuzzles,由他的儿子编辑,并在他去世后的1914年出版)中
本书作者让·迪厄多内是著名数学家,布尔巴基学派的代表人物之一。本书是特地为这样一些读者写的:他们由于各种原因对科学感兴趣,但不是职业数学家。虽然这些人喜欢阅读和...
经济法-第七板 本书特色高晋康主编的《经济法(第7版)》讲解广义经济 法,在内容安排上遵循民法一商法一狭义经济法的逻 辑顺序来叙述,由导论、民法、商法、部门经济...