TOP
0
0
三民出版.新書搶先報|最速、最優惠的新鮮貨報給你知!

縮小範圍


商品類型

簡體書 (5)
商品狀況

可訂購商品 (5)
庫存狀況

無庫存 (5)
商品定價

$400~$599 (2)
$600~$799 (1)
$800以上 (2)
出版日期

2022~2023 (1)
2020~2021 (4)
裝訂方式

平裝 (5)
作者

(德)沃爾克‧哈爾巴赫 (1)
(美)約翰‧埃切門迪 (1)
(美)雷蒙德‧M.斯穆里安 (1)
(英)D. M. 加貝 (1)
(英)邁克爾‧波特 (1)
出版社/品牌

科學出版社 (5)

三民網路書店 / 搜尋結果

5筆商品,1/1頁
哥德爾不完全性定理(簡體書)
滿額折
作者:(美)雷蒙德‧M.斯穆里安  出版社:科學出版社  出版日:2020/12/14 裝訂:平裝
本書介紹了哥德爾不接近性定理的各種證明及相關的塔斯基定理,包括純抽象的不接近性定理,使用真概念的基於加、乘及冪運算的算術公理化的哥德爾不接近性定理及僅基於加與乘運算的哥德爾不接近性定理,哥德爾當初不使用真概念基於ω-一致性的不接近性證明,羅瑟的基於簡單一致性的不接近性證明。本書還介紹了謝頗德森表示與分離定理、不動點定理、第二不接近性定理、與不接近性定理相關的一些邏輯謎題以及不接近性定理和模態邏輯的
海外經銷商無庫存,到貨日平均30天至45天
定價:468 元, 優惠價:87 407
作者:(英)D. M. 加貝  出版社:科學出版社  出版日:2020/12/08 裝訂:平裝
《應用邏輯中的數學問題》圍繞“邏輯學中最重要、最突出、最緊迫的問題是什麼”這一個主題展開,內容分上、下兩篇,共13 章。上篇內容涉及描述邏輯中的非標準推理、可證邏輯中的問題與邏輯動態中的開放問題、可計算性理論、邏輯學的發展、邏輯與認知科學、中世紀的阿拉伯語義、應用邏輯與其他學科發展之間的關係等。下篇內容涉及可證邏輯與證明邏輯、可計算性理論的研究動機與發展方向、可計算模型、相對論的一階邏輯基礎、數理
缺貨無法訂購
邏輯後承概念(簡體書)
滿額折
作者:(美)約翰‧埃切門迪  出版社:科學出版社  出版日:2020/12/08 裝訂:平裝
《邏輯後承概念》主要討論與塔斯基說明的充分性有關的種種直覺的或概念的考慮,解釋了塔斯基說明令人信服的各種混淆和誤解。首先,討論了表徵語義學並與塔斯基說明進行了對比,詳細展示了塔斯基原來的定義,以及它與標準的模型論說明之間的關係。其次,從規約原則、實質概括、邏輯常項、元理論的邏輯方面分析了邏輯後承的標準的語義學說明是錯誤的。
海外經銷商無庫存,到貨日平均30天至45天
定價:528 元, 優惠價:87 459
真之公理化理論(簡體書)
滿額折
作者:(德)沃爾克‧哈爾巴赫  出版社:科學出版社  出版日:2021/03/31 裝訂:平裝
本書用公理化方法研究哲學的核心概念“真”,即將真視為一個不通過其他概念來定義的初始概念,通過一組公理與規則研究真的演繹系統,及其相關的結果。全書分為四個部分,第一部分是基礎,簡述了一些數學上預備性的記號約定,並概述了研究公理化真理論的某些動機。第二、三部分分別是類型化的真理和類型自由的真理,給出了公理化真理論及與之相關的結果。第四部分是真理之路,主要評估公理化真理論形式結果的哲學含義。
海外經銷商無庫存,到貨日平均30天至45天
定價:768 元, 優惠價:87 668
集合論及其哲學:批判性導論(簡體書)
滿額折
作者:(英)邁克爾‧波特  出版社:科學出版社  出版日:2023/11/01 裝訂:平裝
《集合論及其哲學――批判性導論》分為四個部分:第一部分介紹了基本概念和 ZU 的公理;第二部分討論了如何由此引出自然數、實數、線等概念;第三部分的主題是基數和序數;第四部分主要討論了選擇公理和連續統假設。《集合論及其哲學――批判性導論》不僅由淺入深地呈現了集合論領域的技術手段和證明結論,還論述了這些工作背後的哲學動機,可以讓讀者瞭解那些貌似繁雜冗長的技術細節背後的哲學思考。
海外經銷商無庫存,到貨日平均30天至45天
定價:1134 元, 優惠價:87 987

暢銷榜

客服中心

收藏

會員專區