數學女孩3

數學女孩3 pdf epub mobi txt 電子書 下載 2025

[日] 結城浩 丁靈
想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
2017-11 平裝 9787115469915

具體描述

結城浩(作者)

生於1963年。日本知名技術作傢和程序員。在編程語言、設計模式、數學、加密技術等領域,編寫瞭很多深受歡迎的入門書。代錶作有《數學女孩》係列、《程序員的數學》、《圖解密碼技術》等。

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

《數學女孩》係列以小說的形式展開,重點描述一群年輕人探尋數學中的美。內容由淺入深,數學講解部分十分精妙,被稱為“絕贊的數學科普書”。

《數學女孩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)…” 另參見:https://m.ituring.com.cn/book/1859/errata

評分

##已經跟不上瞭

評分

評分

評分

##【已存櫃】 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)…” 另參見:https://m.ituring.com.cn/book/1859/errata

評分

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

© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有