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

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

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

『簡體書』算术、真与悖论

書城自編碼: 2989439
分類:簡體書→大陸圖書→自然科學數學
作者: 熊明
國際書號(ISBN): 9787030519627
出版社: 科学出版社
出版日期: 2017-03-01
版次: 1 印次: 1

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

售價:HK$ 142.1

我要買

share:

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


新書推薦:
中国历代户口、田地、田赋统计——梁方仲著作集
《 中国历代户口、田地、田赋统计——梁方仲著作集 》

售價:HK$ 148.5
反乌合之众——跳出羊群,逆向获利
《 反乌合之众——跳出羊群,逆向获利 》

售價:HK$ 76.8
帝国作为装饰品:英国人眼中的大英帝国(帝国与国际法译丛)
《 帝国作为装饰品:英国人眼中的大英帝国(帝国与国际法译丛) 》

售價:HK$ 86.9
AI芯片应用开发实践:深度学习算法与芯片设计
《 AI芯片应用开发实践:深度学习算法与芯片设计 》

售價:HK$ 75.9
世界之中(文明三部曲之后,亚洲图书奖得主张笑宇充满想象力的重磅新作)
《 世界之中(文明三部曲之后,亚洲图书奖得主张笑宇充满想象力的重磅新作) 》

售價:HK$ 86.9
柏拉图《美诺》疏证
《 柏拉图《美诺》疏证 》

售價:HK$ 96.8
山西明清寺观壁画的内蕴与社会潜流研究
《 山西明清寺观壁画的内蕴与社会潜流研究 》

售價:HK$ 140.8
莎士比亚全集十卷
《 莎士比亚全集十卷 》

售價:HK$ 591.8

 

建議一齊購買:

+

HK$ 126.4
《疯狂的罗素:逻辑学与数学的奇幻之旅》
+

HK$ 287.1
《数理逻辑导引》
+

HK$ 113.1
《实分析》
+

HK$ 189.0
《《逻辑哲学论》研究》
+

HK$ 181.3
《数理逻辑教程》
內容簡介:
本书内容分为三个部分:算术、真和悖论。*部分"算术"部分主要阐述形式真理论在二十世纪三十年代的成果,包括了哥德尔不完全性定理中与真理论密切相关的技术思想和方法,重点阐述了塔斯基不可定义性定理及其相关的延伸性结果。这一部分为后续理论提供了技术与思想两方面的准备。第二部分"真"部分除阐述了塔斯基的语言层次理论之外,主要阐述六十年代直到*近逻辑学家围绕真与悖论问题而建立起的占主流地位的几个基本理论,包括克里普克、赫兹伯格、古普塔、贝尔纳普、莱特格布等人的理论。这一部分侧重于真在形式语言中的可定义性问题的探究。第三部分"悖论"部分是笔者自2005年以来在形式真理论领域一系列成果的总结和发展。这部分侧重于与真相关的悖论的可描述性问题的探索。总体说来,*部分是全书的基础,而第二、三部分则是全书的主体,内容上各有侧重。我们希望提供这种构架把形式真理论的基本理论与*成果进行融会贯通,既全面系统地阐述形式真理论的核心理论,又深入研究领域的腹地开拓新问题为形式真理论的发展指明新的研究课题和研究方向。

 

 

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