本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。

本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。

一本数学启蒙书！ 一场别开生面的数学之旅！ 如果你曾经对黄金比例、图灵机或者为什么圆周率永远算不完感到好奇，那么这本书就是为你准备的..... 数学是美丽的，它既有趣又令人兴奋，同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题：从埃及分数到图灵机，从数字的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么，或者什么限制了计算机的能力，本书将会带你找到答案。 作者从数字的基础开始带你开启美丽的数学之旅，首先通过探讨一些有趣的和奇怪的数字，如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数，带你领略数字的趣味性、数字之美和数字之用，然后深入研究现代逻辑，包括线性逻辑、Prolog语言等，以及现代集合论和现代机械化计算的进展与悖论，带你感受数学的逻辑性和计算性...(展开全部)

一本数学启蒙书！ 一场别开生面的数学之旅！ 如果你曾经对黄金比例、图灵机或者为什么圆周率永远算不完感到好奇，那么这本书就是为你准备的..... 数学是美丽的，它既有趣又令人兴奋，同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题：从埃及分数到图灵机，从数字的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么，或者什么限制了计算机的能力，本书将会带你找到答案。 作者从数字的基础开始带你开启美丽的数学之旅，首先通过探讨一些有趣的和奇怪的数字，如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数，带你领略数字的趣味性、数字之美和数字之用，然后深入研究现代逻辑，包括线性逻辑、Prolog语言等，以及现代集合论和现代机械化计算的进展与悖论，带你感受数学的逻辑性和计算性...(展开全部)

数学是什么？它是如何被创造出来的？过去与现在，创造和实践它的人又是谁？人们能描绘出它的发展，它在科学思想史中所扮演的角色并预测它的未来吗？本书试图对这些问题的本质，以及这个主题的范围和深度提供一些浅见。 本书首先讨论关于整数的问题，其中出现了无穷的概念，并通过关于数与几何对象的更抽象概念的演变而发展。作者展示了数学家如何来考虑一般变换的群，继而考虑诸如空间这些对象的集合，他们尝试如何建立一般的结构理论。本书还考虑了数学与实验科学之间的关系，高速计算机对数学实验范围的深远影响，以及数学的进展取决于“发明”和“发现”程度的问题。对于数学家、物理学家或任何学习数学思想演变的学生来说，这项备受关注的研究提供了一项对数学本质的激发性研究。

数学是什么？它是如何被创造出来的？过去与现在，创造和实践它的人又是谁？人们能描绘出它的发展，它在科学思想史中所扮演的角色并预测它的未来吗？本书试图对这些问题的本质，以及这个主题的范围和深度提供一些浅见。 本书首先讨论关于整数的问题，其中出现了无穷的概念，并通过关于数与几何对象的更抽象概念的演变而发展。作者展示了数学家如何来考虑一般变换的群，继而考虑诸如空间这些对象的集合，他们尝试如何建立一般的结构理论。本书还考虑了数学与实验科学之间的关系，高速计算机对数学实验范围的深远影响，以及数学的进展取决于“发明”和“发现”程度的问题。对于数学家、物理学家或任何学习数学思想演变的学生来说，这项备受关注的研究提供了一项对数学本质的激发性研究。

· 为什么1+1=2？ · 为什么奇数和偶数交替? · 代数的意义是什么? · 数学问题真的有且只有一种标准答案吗? 从实数、虚数到复杂的运算顺序，将“消除世界对数学的恐惧”视为终身奋斗事业的剑桥博士、谢菲尔德大学终身教授郑乐隽带领我们进入了一段从未见过的数学旅程，揭示了如何从看似不可能的来源中发现深刻的真相。作者认为，数学不仅仅是关于如何得到正确答案的科学，数学也是关于自己创造的科学和真理，是一段令人兴奋，令人畏惧，令人敬畏，最终获得快乐的经历。她希望通过这本书的阐释，帮助读者理解数学到底是什么，通过理解数学的本质，消除关于数学的神话和误解，消除对数学狭隘的、缺乏想象力的认识，用有趣的数学思维理解我们的真实世界。

“计算机数学”是计算机类专业的一门基础课，它描述了计算机科学离散性的特点。全书共分6章，深入浅出地介绍了数字系统，集合、关系和函数，命题逻辑、谓词和量词、推理规则，算法基础(欧氏算法、递归算法等)，图论，树和二叉树等基础知识。同时各章节配备了适量的习题供读者练习，以便读者切实掌握相应的数学知识，增强应用能力。

“计算机数学”是计算机类专业的一门基础课，它描述了计算机科学离散性的特点。全书共分6章，深入浅出地介绍了数字系统，集合、关系和函数，命题逻辑、谓词和量词、推理规则，算法基础(欧氏算法、递归算法等)，图论，树和二叉树等基础知识。同时各章节配备了适量的习题供读者练习，以便读者切实掌握相应的数学知识，增强应用能力。

本书与人教版小学数学六年级教材同步，为课时练习教辅资料，注重基础，注重对算理算法的理解和掌握；同时又高于教材，传授给学生一定的计算技巧，培养学生"正确、迅速、合理、灵活”计算能力。全书设题形式多样，讲解直观灵动，充分激发学生的计算欲望，体现实用性、针对性和有效性，具备同步性、创新性和培优性等鲜明特色。