登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書

『簡體書』哥德尔不完全性定理

書城自編碼: 3301578
分類:簡體書→大陸圖書→哲學/宗教哲學
作者: [美]雷蒙德 M.,斯穆里安 著,余俊伟 译
國際書號(ISBN): 9787030596345
出版社: 科学出版社
出版日期: 2019-01-01


書度/開本: 16开 釘裝: 平装

售價:HK$ 105.3

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
彩色图解伤寒论:漫画讲透伤寒论,增强免疫 百病食疗 防病为先 中医八大名著之一养生图解
《 彩色图解伤寒论:漫画讲透伤寒论,增强免疫 百病食疗 防病为先 中医八大名著之一养生图解 》

售價:HK$ 79.4
长城砖系列:血拼的海路:明末清初私人海上贸易
《 长城砖系列:血拼的海路:明末清初私人海上贸易 》

售價:HK$ 112.7
汇通天下:乔致庸
《 汇通天下:乔致庸 》

售價:HK$ 57.3
长城砖系列:清人社会生活
《 长城砖系列:清人社会生活 》

售價:HK$ 112.7
量子计算Python与Q#编程实战
《 量子计算Python与Q#编程实战 》

售價:HK$ 114.8
新能源汽车动力蓄电池及管理技术
《 新能源汽车动力蓄电池及管理技术 》

售價:HK$ 68.9
官场现形记(全2册,足本60回未删版,20世纪中文小说100强。讲透古代官场奥秘,全面批判封建官僚制度)
《 官场现形记(全2册,足本60回未删版,20世纪中文小说100强。讲透古代官场奥秘,全面批判封建官僚制度) 》

售價:HK$ 101.2
忧乐圆融:北宋士大夫的精神世界   光明社科文库·政治与哲学
《 忧乐圆融:北宋士大夫的精神世界 光明社科文库·政治与哲学 》

售價:HK$ 109.3

 

建議一齊購買:

+

HK$ 52.7
《 数学不简单 从《最强大脑》发现思维乐趣 》
+

HK$ 52.7
《 数学写真集(第4季) 直观思考的进阶 》
+

HK$ 79.7
《 量子世界的发现之旅 》
+

HK$ 118.8
《 化学之书 》
+

HK$ 64.8
《 黎曼几何 》
+

HK$ 65.0
《 量子时代 》
內容簡介:
本书主要介绍哥德尔不完全性定理,在用简单例子解说哥德尔的本质思想的基础上,证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理,给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明,结合典型逻辑谜题与证明结果,表明了证明结果与模态逻辑的紧密联系。

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.