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

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

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

『簡體書』普通高等学校十一五规划教材?数理逻辑(第2版)

書城自編碼: 2622511
分類:簡體書→大陸圖書
作者: 汪芳庭
國際書號(ISBN): 9787312027086
出版社: 中国科学技术大学出版社
出版日期: 2010-09-01

頁數/字數: 204页/
書度/開本: 16 釘裝: 平装

售價:HK$ 64.9

我要買

share:

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


新書推薦:
数据有道:数据分析+图论与网络+微课+Python编程(鸢尾花数学大系:从加减乘除到机器学习)
《 数据有道:数据分析+图论与网络+微课+Python编程(鸢尾花数学大系:从加减乘除到机器学习) 》

售價:HK$ 273.7
500万次倾听:陪伤心的人聊聊
《 500万次倾听:陪伤心的人聊聊 》

售價:HK$ 55.2
英国商业500年(见证大国崛起与企业兴衰,启迪未来商业智慧。)
《 英国商业500年(见证大国崛起与企业兴衰,启迪未来商业智慧。) 》

售價:HK$ 82.8
万千心理·儿童心理治疗中的心智化:临床实践指导
《 万千心理·儿童心理治疗中的心智化:临床实践指导 》

售價:HK$ 89.7
自我囚禁的人:完美主义的心理成因与自我松绑(破除你对完美主义的迷思,尝试打破自我评价过低与焦虑的恶性循环)
《 自我囚禁的人:完美主义的心理成因与自我松绑(破除你对完美主义的迷思,尝试打破自我评价过低与焦虑的恶性循环) 》

售價:HK$ 67.9
周易
《 周易 》

售價:HK$ 45.8
东南亚的传统与发展
《 东南亚的传统与发展 》

售價:HK$ 69.0
乾隆制造
《 乾隆制造 》

售價:HK$ 87.4

 

建議一齊購買:

+

HK$ 48.0
《逻辑与形而上学教科书系列:作为哲学的数理逻辑》
+

HK$ 181.3
《数理逻辑教程》
+

HK$ 91.0
《集合论:对无穷概念的探索》
+

HK$ 93.6
《逻辑与形式而上学教科书系列:数理逻辑:证明及其限度》
內容簡介:
《普通高等学校十一五规划教材?数理逻辑(第2版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材?数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍,对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。
《普通高等学校十一五规划教材?数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材,并可供数学、哲学、逻辑等专业研究及教学人员参考。

 

 

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