商品分类

图书

影音

共有1个搜索结果

数学极客(探索数字逻辑计算之美)
所属分类：数理化学科>>数理化学科>>数学作者：(美)马克·C.查-卡罗尔|译者:罗文俊//唐飞//王映康//袁科//赵印出版社：机械工业
数学是美丽的，它既有趣又令人兴奋，同时也很实用。本书探讨了两干多年的数学发展历程中一些伟大的突破和有趣的话题：从埃及分数到图灵机，从数字的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么，或者什么限制了计算机的能力，马克·C.查 -卡罗尔著的这本《数学极客(探索数字逻辑计算之美 )》将会带你找到答案。作者从数字的基础开始带你开启美丽的数学之旅，首先通过探讨一些有趣的和奇怪的数字，如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数，带你领略数字的趣味性、数字之美和数字之用，然后深入研究现代逻辑，包括线性逻辑、Prolog语言等，以及现代集合论和现代机械化计算的进展与悖论，带你感受数学的逻辑性和计算性。
售价：18.00