数学女孩3 2025 pdf epub mobi 电子书


数学女孩3

简体网页||繁体网页

数学女孩3 2025 pdf epub mobi 电子书 著者简介

结城浩(作者)

生于1963年。日本知名技术作家和程序员。在编程语言、设计模式、数学、加密技术等领域,编写了很多深受欢迎的入门书。代表作有《数学女孩》系列、《程序员的数学》、《图解密码技术》等。

作者主页:http://www.hyuki.com


数学女孩3 电子书 图书目录




下载链接1
下载链接2
下载链接3
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2025-04-10

数学女孩3 2025 pdf epub mobi 电子书

数学女孩3 2025 pdf epub mobi 电子书

数学女孩3 2025 pdf epub mobi 电子书



喜欢 数学女孩3 电子书 的读者还喜欢


数学女孩3 电子书 读后感

评分

虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...

评分

虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...

评分

虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...

评分

虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...

评分

虽然是科普书,但没有纯谈数理逻辑的演化史,从概念出发,到推理结束,一环裹一环,像不断裹挟上升的浪花,看得非常过瘾。里面主体讲的是数理逻辑,还讲了一小些极限、连续、正余弦函数(并不知道为什么插入这些内容)。 可以瞥见,数理逻辑是计算机软件的雏形和基础,尤其是从...

类似图书 点击查看全场最低价
出版者:人民邮电出版社
作者:[日] 结城浩
出品人:
页数:406
译者:丁 灵
出版时间:2017-11
价格:52.00 元
装帧:平装
isbn号码:9787115469915
丛书系列:图灵新知

图书标签: 数学  科普  日本  小说  结城浩  图灵新知  逻辑学  文学   


数学女孩3 2025 pdf epub mobi 电子书 图书描述

《数学女孩》系列以小说的形式展开,重点描述一群年轻人探寻数学中的美。内容由浅入深,数学讲解部分十分精妙,被称为“绝赞的数学科普书”。

《数学女孩3:哥德尔不完备定理》有许多巧思。每一章针对不同议题进行解说,再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图,拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。整本书一气呵成,非常适合对数学感兴趣的初高中生以及成人阅读。

数学女孩3 2025 pdf epub mobi 电子书

数学女孩3 2025 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

数学女孩3 2025 pdf epub mobi 用户评价

评分

虽然最后在罗列一堆哥德尔定理,直接跳过了,但还是学到一些的

评分

最后一章实在扛不住,看来还得找本专门的数理逻辑细究一番。

评分

前面九章还算是在平地上悠闲散步,但第十章哥德尔不完备定理简直就是在坐着过山车狂奔。从这本书中又领悟到了不少数学证明中的奇思妙想。数学这门学科就是由天才书写的历史,如我等一样的凡人只能努力去体会天才留下的作品。

评分

断断续续大半年, 终于看完了.「选聪明的还是选可爱」这个世纪难题还是没揭开, 不会又是喜闻乐见的套路吧. 不过在我舒一口气的同时: 中文版只出到了 3, 日文原版出到了 6, 而且还没完结!

评分

【已存柜】 p359定义37“…IsBoundAt(w,n,t)”根据哥德尔原论文的英译版(Godel,Collected Works,V1,Oxford,1986,p169)(w Geb n,y)或应改为“…IsBoundAt(w,n,y)” p360定义40“…IsVarType(u,n+1)∧IsVarType(u,n)…”根据前文内涵公理的形式及下文或应改为“…IsVarType(u,n+1)∧IsVarType(v,n)…”

数学女孩3 2025 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有