《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。

《最了不起的失败:工薪族田中耕一的诺贝尔奖之路》内容简介：2002年的诺贝尔化学奖让整个世界震惊。面对获奖者“田中耕一”的名字，众学术泰斗、往届诺奖得主都不知道此是何许人也。这种诺奖获得者在学术界“查无此人”的情况恐怕只此一例了，然而让你大跌眼镜的事情还有更多：本科学历，一个普通工程师，与学术界没有任何交往，从不参加升职考试，因一次实验的“常识性错误”而最终获奖……面对媒体的狂轰滥炸和围追堵截，低调、羞涩、不善言谈的他更得到了民众疯狂的追捧和喜爱，被称为“工薪族的榜样”。这位从平民中走出来的诺贝尔奖获得者在推掉几乎所有的采访和演讲邀请后，道出了自己的心声：我只想做一辈子工程师。
平凡中孕育着伟大。希望读过这本书的人都能找到自己一生为之努力的方向和动力。

本书是薮内清一生研究中国古代天文学和历法史的结晶。1969年首次出版，即深受好评，当年薮内清就因此书及其对中国科技史的研究获得在日本有很高声誉的"朝日文化赏"，1990年出版的增订版又对原书做了40多处增补。至今仍是关于中国古代天文学和历法史的标准著作。即使在中文出版物中，也没有能与之比肩的同类著作。 本书包括三大部分。首先介绍了从汉代到清代的中国天文历法的发展概况，第二部分介绍了印度、伊斯兰等西域天文学对中国天文历法的影响，第三部分介绍了中国古代历法计算方法。 作者在这部总结性的著作中，用通俗、简明的语言，阐述了他毕生研究的心得。

Blending the spirit of "Eats, Shoots and Leaves" with the science of "The Language Instinct," an original inquiry into the development of that most essential-and mysterious-of human creations: Language Language is mankind's greatest invention-except, of course, that it was never invented." So begins linguist Guy Deutscher's enthralling investigation into the genesis and evolution of language. If we started off with rudimentary utterances on the level of "man throw spear," how did we end up with sophisticated grammars, enormous vocabularies, and intricately nuanced degrees of meaning? Drawing on recent groundbreaking discoveries in modern linguistics, Deutscher exposes the elusive forces of creation at work in human communication, giving us fresh insight into how language emerges, evolves, and decays. He traces the evolution of linguistic complexity from an early "Me Tarzan" stage to such elaborate single-word constructions as the Turkish "sehirlilestiremediklerimizdensiniz" ("you are one of those whom we couldn't turn into a town dweller"). Arguing that destruction and creation in language are intimately entwined, Deutscher shows how these processes are continuously in operation, generating new words, new structures, and new meanings. As entertaining as it is erudite, "The Unfolding of Language" moves nimbly from ancient Babylonian to American idiom, from the central role of metaphor to the staggering triumph of design that is the Semitic verb, to tell the dramatic story and explain the genius behind a uniquely human faculty.

At a time of unprecedented expansion in the life sciences, evolution is the one theory that transcends all of biology. Any observation of a living system must ultimately be interpreted in the context of its evolution. Evolutionary change is the consequence of mutation and natural selection, which are two concepts that can be described by mathematical equations.Evolutionary Dynamics is concerned with these equations of life. In this book, Martin Nowak draws on the languages of biology and mathematics to outline the mathematical principles according to which life evolves. His work introduces readers to the powerful yet simple laws that govern the evolution of living systems, no matter how complicated they might seem.
Evolution has become a mathematical theory, Nowak suggests, and any idea of an evolutionary process or mechanism should be studied in the context of the mathematical equations of evolutionary dynamics. His book presents a range of analytical tools that can be used to this end: fitness landscapes, mutation matrices, genomic sequence space, random drift, quasispecies, replicators, the Prisoner's Dilemma, games in finite and infinite populations, evolutionary graph theory, games on grids, evolutionary kaleidoscopes, fractals, and spatial chaos. Nowak then shows how evolutionary dynamics applies to critical real-world problems, including the progression of viral diseases such as AIDS, the virulence of infectious agents, the unpredictable mutations that lead to cancer, the evolution of altruism, and even the evolution of human language. His book makes a clear and compelling case for understanding every living system--and everything that arises as a consequence of living systems--in terms of evolutionary dynamics.

- The only version of this classic text in print
- Incorporates all Fisher's published and unpublished amendments
- Foreword and extensive notes by Henry Bennett
R A Fisher's classic The Genetical Theory of Natural Selection was first published by the Oxford University Press in 1930. It was the first attempt to assess and explain Darwin's evolutionary theories in terms of the genetic processes underlying them, and was also original in being the first book to establish a firm theoretical basis for evolution. Since then, it has become a classic text in evolutionary biology, with Fisher hailed as one of the greatest evolutionary biologists of this century. This Variorum edition will be the definitive version - the only version of The Genetical Theory in print: it will include both Fisher's original 1930 text and that of a second edition of the book, published by Dover publications in 1958, which is now out of print. It also has a new Foreword, some unpublished material by Fisher that he wrote in his own copy, and letters between Fisher and Darwin's grandson, Leonard Darwin. Students, researchers, and general readers with an interest in the history of evolutionary biology will welcome this new edition.

When does history begin? What characterizes it? This brilliant and beautifully written book dissolves the logic of a beginning based on writing, civilization, or historical consciousness and offers a model for a history that escapes the continuing grip of the Judeo-Christian time frame. Daniel Lord Smail argues that in the wake of the "Decade of the Brain" and the best-selling historical work of scientists like Jared Diamond, the time has come for fundamentally new ways of thinking about our past. He shows how recent work in evolution and paleohistory makes it possible to join the deep past with the recent past and abandon, once and for all, the idea of prehistory. Making an enormous literature accessible to the general reader, he lays out a bold new case for bringing neuroscience and neurobiology into the realm of history.

《世界科普名著精选:拓扑学奇趣》主要内容：拓扑学是数学的比较年轻又极为重要的分支。著名法国数学家安•韦伊曾说过，为争取每一个数学家的心灵，拓扑天使和抽象代数恶魔都要角斗。这正说明了，拓扑学无比的优雅和美丽；整个数学是拓扑学和代数学观念的奇妙的编织物。近年来，拓扑学愈来愈渗透入到物理学、化学和生物学领域中，愈来愈显示出它的重要地位。《世界科普名著精选:拓扑学奇趣》采用大量插图和通俗的语言对拓扑学这个既年轻又被视作较为深奥的数学分支作了简明的介绍，并把通常数学理论所必备的定义、定理，用通俗的语言和大量的插图作了较为直观的描述，使读者能在不知不觉中接受了拓扑学的一些理论和知识。书中还列有200多道习题供有一定数学基础并乐于进行思考的读者探索。

看到一张在晨曦中摇曳的珠网，你会不会觉得它过于纤弱，有可能溶解于露水的浸润或破裂于微风的轻拂？事实上，蛛丝是目前已知的最为强韧的纤维状材料之一。究其原因，正在于蛛丝中分子链独特的组织方式。这是一本以分子为主题的书。在如此短的篇幅之内，从现实应用、原理探究到前沿的研究进展，分子的故事被娓娓道来。
一个活细胞的内部运行就像一座城市，其中布满分子居民，它们移动、交流、合作、竞争。在这本书中，菲利普•鲍尔深入探究了分子结构和分子活动如何决定着物质的特性和生命的过程，显示了我们身体内部的分子和周围世界的分子发挥着怎样的作用：比如，一个小小的受精卵如何生长为多细胞的音乐家莫扎特，蛛丝在晨露中为何不会溶解。作者还考察了我们对分子的认识和合成如何开启了一些激动人心的新领域，使分子机器以及体积微小但功能强大的分子计算机的开发进入日程。

Proofs without words are generally pictures or diagrams that help the reader see why a particular mathematical statement may be true, and how one could begin to go about proving it. While in some proofs without words an equation or two may appear to help guide that process, the emphasis is clearly on providing visual clues to stimulate mathematical thought. The proofs in this collection are arranged by topic into five chapters: Geometry and algebra; Trigonometry, calculus and analytic geometry; Inequalities; Integer sums; and Sequences and series. Teachers will find that many of the proofs in this collection are well suited for classroom discussion and for helping students to think visually in mathematics.

电车难题是伦理学领域中最为知名的思想实验之一，哲学家与社会学家透过这个问题的思辩来探讨进退两难的道德问题，诸如堕胎、战争、牺牲少数成全多数的各种议题。电车难题最早是由牛津大学哲学教授菲利帕•富特提出的，用来批判伦理哲学中的功利主义。著名哲学家戴维•爱德蒙兹用幽默的文笔透过历史上类似电车难题的事件，如二战期间，伦敦饱受德国V1、V2导弹威胁之苦，然而德国的飞弹因为是无人驾驶，绝大部份掉落于伦敦市中心的南方，死伤虽没那么严重，但是死亡的市民大部分是较穷困的劳动阶级。作者就“生命的数量或生命的质量能否做为利益衡量之标准?”“少数服从多数真的是最正确的答案吗?”发出追问。作者在书末写到他不会选择将胖子推下桥，但他问了读者“你们会把胖子推下桥吗?”

本书记述了一名钢铁工人蜕化为具有人道关怀思想的神经外科医师的里程碑。作者以一个黑色幽默的角度看待神经外科医生的修炼历程，描绘医院里为生死博斗的悲喜剧。行文鲜活生动、风趣幽默，却又带着令人鼻酸的感伤与无奈。故事情节紧凑、明快，在时而欢笑、时而垂泪的阅读中，深刻体验医生工作的甘苦、压力与使命，病患流露出的无助、期望与感激。文中提到内科与外科的互相排斥，医生面对病患终告不治时的悲哀与痛切，医生与护士或其他医护工作人员的小小冲突磨擦等等，也是医界不断上演的戏码，不分国界。我相信，读者阅读起来，有如聆听医生的肺腑之言，文中情境也都可能发生在自己身上。在药水、针筒、电子仪器的场景中，交织成有血有泪，却又真实无比的人生，让人体悟更深、感受更强、启示更鲜明。
要知道这是官方简介。
一个从医大毕业的实习医生转变了医院的所有科，终于选择了神经外科。并且在那个拥有“疼痛博物馆”的科室，一待就是七年。

在这本书中，詹姆斯·卡斯向我们展示了世界上两种类型的「游戏」：「有限的游戏」和「无限的游戏」。
有限的游戏，其目的在于赢得胜利；无限的游戏，却旨在让游戏永远进行下去。有限的游戏在边界内玩，无限的游戏玩的就是边界。有限的游戏具有一个确定的开始和结束，拥有特定的赢家，规则的存在就是为了保证游戏会结束。无限的游戏既没有确定的开始和结束，也没有赢家，它的目的在于将更多的人带入到游戏本身中来，从而延续游戏。
推荐：
它改变了我对生活、宇宙和其他一切事情的看法。
——《失控》作者凯文·凯利（Kevin Kelly）
这本书让人禁不住一读再读，值得我们仔细研究。
——《全球概览》创始人斯图尔特·布兰德（Stewart Brand）
有本书对我蛮有影响的——叫做《有限与无限的游戏》。有限游戏在边界内玩，无限游戏却是在和边界，也就是和“规则”玩，探索改变边界本身。实际上只有一个无限游戏，那就是你的人生，死亡是不可逾越的边界。与之相比，其他的边界并不是那么重要了。
——人人网、美团网、饭否网创始人王兴

永远不要低估一个孩子
*多年来关于游戏和教育最好的一本书
*展现电子游戏重新设计学习、学校乃至教育体系的门径
*其实《瓦尔登湖》的阅读也可以通过游戏来完成
*斯坦福大学数学系教授作序推荐
=======================================================
本书超越了空泛地探讨“玩数字游戏有益还是有害”的层面，转而去思考：
如果孩子们都爱玩数字游戏，那是为什么？
什么样的数字游戏，以及从成功的数字游戏中学到的什么手段，可以用来重新设计学习、学校乃至教育体系，使之对孩子产生巨大的吸引和切实的好处？
如何用数字游戏帮助治疗孩子的心理疾病？
父母应该如何跟孩子谈论其玩游戏的习惯？
作者格雷格·托波是一位资深的教育记者。他写作本书的出发点，是美国教育系统涌现出的诸多问题，例如三分之一的高中毕业生在余下的一生中都不会再阅读任何书籍；又如学校教育不够有挑战性，也越来越倾向应试教育，让大部分学生每天都感到厌倦。因此，这首先是一本关于教育的书，只不过它尝试着去观察数字游戏作为一种新体验和新机制，是如何被引入教育改革的领域，有哪些成功的案例。
通过扎实的采访调研和丰富的资料引证，本书向我们揭示了美国教育中令人兴奋的一股潮流。中小学教师、校长、科学家、游戏设计师们共同参与和推动了这一潮流，从设计精巧的“教育类游戏”，到“游戏进校园”；从借鉴游戏机制来设计课程和学科竞赛，到把整所学校都游戏化地重新定义。
不论你是一位家长，一位老师，还是一位学习者，这都将会是充满希望、值得探索的新领域。激励所有的游戏玩家，让玩家成为学习者。
=====================名家推荐===============================
十年以来关于游戏与教育最重要的一本书！
——简·麦戈尼格尔（Jane McGonigal），《游戏改变世界》作者，世界顶级未来趋势智库“未来学会”游戏研发总监，TED大会新锐演讲者
多年以来关于游戏与教育的最佳书籍！非常值得一读！
——拉夫·科斯特（Raph Koster），《游戏设计快乐之道》作者，世界传奇的游戏设计者和思想家，曾任
电子游戏不仅仅是“寓教于乐”的手段，这本书向我们展示了电子游戏的教育成果，有些是书本知识生动地加强，而另一些则是课堂上学不到的。
——钟以山，环球互娱总裁，资深游戏媒体出版人，曾任日本史克威尔艾尼克斯市场总监
一本教你如何从游戏改变教育，从教育改变人生的读本。
——冯应谦，香港中文大学新闻与传播学院院长，北京师范大学数字创意媒体中心主任，千人计划学者
本书提供了极有说服力的案例，证明游戏能做很多事情，很多我们期待学校和教师去做的事情，例如差异化教学、搜集数据、学习表现评估等，而且还做的非常好……《游戏改变教育》一书让我重新审视自己的一些成见。我希望自己并非唯一这样想的人。
——《美国新闻与世界报道》

本书是一本科学史的经典名著。它名为“科学史”，实际上是一部科学思想的发展史，同时讲述了科学与哲学及宗教在各个历史时期所发生的纠葛。对于了解科学本身深层次的意义及其与哲学、宗教等学科的关系不无裨益。

本书资料丰富，笔触生动，视角独特，观点新颖，可读性极强，堪称当今最受青睐的教会史入门教材。作者摆脱了“西方中心”的倾向，站在普世的高度，对历史上的基督教做了整体、客观的回顾。修订版中，作者在思想时代变化和参考最新研究成果的基础上，更将叙述时限延伸到21世纪最初十年，增加了许多重要的内容和议题，如妇女在基督教会史上的重要作用、基督教在“第三世界”国家的最新发展、不同宗教信仰之间的对话等等。

This book explains how today's computing and communications world operates, from hardware through software to the Internet and the web. It includes enough detail that you can understand how these systems work, no matter what your technical background. The social, political and legal issues that new technology creates are discussed as well, so you can understand the difficult issues we face and appreciate the tradeoffs that have to be made to resolve them.

家用电器、汽车、飞机、相机、手机、GPS 导航仪，还有游戏机，虽然你看不见，但这些设备都有计算能力。手机通信网络、有线电视网络、空中交通管制系统、电力系统、银行和金融服务系统等基础设施背后无一不是计算机在支撑。如今的世界是数字的，而计算机和计算无处不在。这本书就是要告诉大家数字世界有关计算机的一切。本书没有高深莫测的专业术语，但它全面解释了当今计算和通信领域的工作方式，包括硬件、软件、互联网、通信和数据安全，并且讨论了新技术带来的社会、政治和法律问题。
无论你有没有计算机背景，无论你从事什么职业，只要你认同自己生活在数字时代，这本书就是必读的！

十几亿年前，在浩瀚宇宙的某个时空，两个黑洞发生了碰撞。其中一个黑洞的质量是太阳的29倍，另一个是太阳的36倍，它们碰撞后合并成一个大黑洞，质量达到太阳的60倍。黑洞碰撞是宇宙起源以来威力最大的天文事件之一，释放出的能量超过1021个太阳。黑洞合并时，无数能量以引力波的形式，不停地向外传播，在时空中荡起层层涟漪。
1916年，阿尔伯特·爱因斯坦在一篇关于广义相对论的论文中预言了引力波的存在。2015年9月，引力波经过长达14亿光年的星际旅行来到了地球。
从伽利略用一架简陋的望远镜观察太阳开始，人类利用400多年来所拍摄的一系列静止的太空照片，汇编成一部讲述宇宙历史的无声电影。然而，所有望远镜都无法记录黑洞碰撞的过程，人类能够捕捉到的唯一线索可能就是时空振荡发出的声音。
半个世纪之前，一股记录宇宙声音的热潮悄然掀起。为了“在相当于地球周长1000亿倍的距离上测量出比人的头发丝直径还要小的长度变化”，为了给宇宙历史这部无声电影配上一张原声大碟，许多科研人员全身心地投入到引力波探测实验当中。
2015年9月和2016年2月，激光干涉引力波天文台（LIGO）两次成功探测到引力波，证实了100年前爱因斯坦的预言。
在书中，作者珍娜·莱文再现了50多年来，LIGO科学合作组织的科研人员在此过程中面临的困难、经受的考验和付出的艰辛。引力波探测本来只是一个有意思的思想实验，但引起了雷纳·韦斯、基普·索恩和罗纳德·德雷弗的注意。为了把梦想变成现实，他们组建了一支规模达数百人的国际性研究团队，建造了两台灵敏度非常高的巨型探测器。他们一直在跟时间赛跑，希望在爱因斯坦提出引力波概念100周年纪念日到来之前，能聆听到来自遥远太空的“引力波蓝调”。
珍娜·莱文将这个精彩程度不亚于《星际穿越》的故事娓娓道来，以引人入胜的笔触为我们描述了其间的惊奇、失望、成就、风险和人性。
这是一部关于引力波的编年史，有情节，有声音，更有温度。
迄今为止最权威、最一手、最受LIGO项目官方认可的“引力波”读物。一手的翔实资料，烧脑的科学知识，精彩的人性故事，坚毅的科学精神，生动呈现引力波长达14亿光年的星际之旅。
李淼、张双南、基普·索恩、曹军威国内外最华丽的物理学与天文学大咖阵容联袂力荐。
“能够穿越星际的，唯有引力波和爱” ，这是一部关于引力波的编年史和科普大片，也是一个有情节、有声音、有温度的“巨星”故事和一部划时代的使命宣言。
引力波的发现，补全了爱因斯坦广义相对论缺失的“最后一块拼图”，是过去100年最重要的宇宙学发现，LIGO项目组成员将是未来诺贝尔物理学奖的有力角逐者。
这部文笔优美的著作引领读者透过“引力波的窗口”了解宇宙探索的奥秘，认知黑洞碰撞与时空弯曲引发的天文现象。作为引力波探索活动的参与者，我发现珍娜·莱文把我们的愿景、奋斗过程，以及在成功道路上克服一切艰难险阻的精神都表现得淋漓尽致。我认为这是一部非常棒的作品。
——基普·索恩，著名理论物理学家、《星际穿越》作者

Jim Al-Khalili教授在本三集纪录片中，带领观众探究元素背后的故事。