数学女孩3 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


数学女孩3

简体网页||繁体网页
[日] 结城浩 作者
人民邮电出版社
丁 灵 译者
2017-11 出版日期
406 页数
52.00 元 价格
平装
图灵新知 丛书系列
9787115469915 图书编码

数学女孩3 在线电子书 图书标签: 数学  科普  日本  小说  结城浩  图灵新知  逻辑学  文学   


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




点击这里下载
    

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

发表于2024-12-22


数学女孩3 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

数学女孩3 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

数学女孩3 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024



数学女孩3 在线电子书 用户评价

评分

【已存柜】 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)…”

评分

前边都挺科普,最后一章开启狂奔模式——一步接一步地定义了一堆定义,代入一堆需要往前翻的公理,推出了哥德尔的两个不完备定理(这一部分建议当作传统教科书,拿起纸笔推演)。

评分

良心大作,头一次在科普读物里看到了哥德尔不完备定理的完整证明

评分

章节引言中提到不少颇合胃口的书籍;依旧是数学部分较日常有趣,对“猫语”稍无奈。整体难度跨度偏大,从不用动脑的小题到读起来着实耗神的最后一章……

评分

【已存柜】 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 在线电子书 著者简介

结城浩(作者)

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

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


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


数学女孩3 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

数学女孩3 在线电子书 图书描述

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

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

数学女孩3 在线电子书 下载 mobi epub pdf txt 在线电子书下载

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

数学女孩3 在线电子书 读后感

评分

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

评分

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

评分

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

评分

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

评分

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

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

数学女孩3 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


分享链接





数学女孩3 在线电子书 相关图书




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

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有