数学极客：探索数字、逻辑、计算之美 epub pdf mobi txt 电子书下载 2024

☆☆☆☆☆
简体网页||繁体网页

[美]马克·C. 查-卡罗尔（Mark C. Chu-Carroll）罗文俊唐飞王映康袁科赵印译

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到静思书屋

book.tinynews.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-10-11

商品介绍

2018-7-1 平装 9787111602590

数学极客：探索数字、逻辑、计算之美 epub pdf mobi txt 电子书下载 2024

类似图书点击查看全场最低价

书籍描述

Mark C. Chu-Carroll　拥有Delawre大学博士学位，目前在Spotify担任数据基础架构软件工程师，之前曾在Google、Twitter担任高级软件工程师。他一直从事编程语言和软件开发工具方面的研究工作，有超过20年的从业经验。他感兴趣的领域包括协同软件开发、编程语言和工具，以及如何改善软件开发者的日常生活。业余时间，他是Scientopia.org的管理者和开发者，并撰写了博客Good Math/Bad Math，你可以通过http://scientopia.org/blogs/goodmath访问他的博客。

一本数学启蒙书！

一场别开生面的数学之旅！

如果你曾经对黄金比例、图灵机或者为什么圆周率永远算不完感到好奇，那么这本书就是为你准备的.....

数学是美丽的，它既有趣又令人兴奋，同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题：从埃及分数到图灵机，从数字的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么，或者什么限制了计算机的能力，本书将会带你找到答案。

作者从数字的基础开始带你开启美丽的数学之旅，首先通过探讨一些有趣的和奇怪的数字，如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数，带你领略数字的趣味性、数字之美和数字之用，然后深入研究现代逻辑，包括线性逻辑、Prolog语言等，以及现代集合论和现代机械化计算的进展与悖论，带你感受数学的逻辑性和计算性。

数学极客：探索数字、逻辑、计算之美 epub pdf mobi txt 电子书下载 2024

数学极客：探索数字、逻辑、计算之美下载 epub mobi pdf txt 电子书 2024

数学极客：探索数字、逻辑、计算之美 pdf 下载 mobi 下载 pub 下载 txt 电子书下载 2024

数学极客：探索数字、逻辑、计算之美 mobi pdf epub txt 电子书下载 2024

数学极客：探索数字、逻辑、计算之美 epub pdf mobi txt 电子书下载

想要找书就要到静思书屋

book.tinynews.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

读者评价

评分☆☆☆☆☆

##lambda 戳中了知识盲区

评分☆☆☆☆☆

##看了集合论和群论的部分机翻嫌疑很大英文句式逻辑不顺

评分☆☆☆☆☆

##完全时态谓词，康托尔对角化，church码λ推演，停机问题不懂。用一下午的时间翻阅了这本书，其中有些地方很生硬，也有些地方自己读不懂就跳过了，对自己感兴趣的例如虚数、群论、连分数、逻辑几章做了些笔记，也算是拓展自己的数学知识。虚数概念文中讲的还是很模糊不清，一直对i的来源比较好奇。倘若仅仅理解i为-1的开方，这是不够的，我...

评分☆☆☆☆☆

##看了集合论和群论的部分机翻嫌疑很大英文句式逻辑不顺