结城浩(作者)
生于1963年。日本知名技术作家和程序员。在编程语言、设计模式、数学、加密技术等领域,编写了很多深受欢迎的入门书。代表作有《数学女孩》系列、《程序员的数学》、《图解密码技术》等。
作者主页:http://www.hyuki.com
发表于2025-04-11
数学女孩3 2025 pdf epub mobi 电子书
虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
评分虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
评分虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
评分虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
评分虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...
图书标签: 数学 科普 日本 小说 结城浩 图灵新知 逻辑学 文学
《数学女孩》系列以小说的形式展开,重点描述一群年轻人探寻数学中的美。内容由浅入深,数学讲解部分十分精妙,被称为“绝赞的数学科普书”。
《数学女孩3:哥德尔不完备定理》有许多巧思。每一章针对不同议题进行解说,再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图,拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。整本书一气呵成,非常适合对数学感兴趣的初高中生以及成人阅读。
最后一章实在扛不住,看来还得找本专门的数理逻辑细究一番。
评分获得出版社样书
评分第十章真是...一言难尽啊
评分最后一章太多定义了我看不懂(对不起????
评分最后一章真是……其实我很想知道男主和三个女主的结局
数学女孩3 2025 pdf epub mobi 电子书