TOP
0
0
2025國際書展現場活動搶先看

縮小範圍


商品類型

簡體書 (5)
商品狀況

可訂購商品 (4)
無法訂購商品 (1)
庫存狀況

無庫存 (5)
商品定價

$199以下 (1)
$200~$399 (4)
出版日期

2019~2020 (3)
2017年以前 (2)
裝訂方式

平裝 (5)
作者

郝兆寬 (2)
姚寧遠 (1)
楊睿之 (1)
郝兆寬、楊睿之、楊躍 (1)
出版社/品牌

復旦大學出版社 (5)

三民網路書店 / 搜尋結果

5筆商品,1/1頁
數理邏輯:證明及其限度(第2版)(簡體書)
滿額折
作者:郝兆寬; 楊睿之; 楊躍  出版社:復旦大學出版社  出版日:2020/09/17 裝訂:平裝
本書是“邏輯與形而上學教科書系列”中的一本。書中從零起點開始,介紹了數理邏輯的基本知識。全書共10章:第一章是預備知識,主要介紹書中所需要的集合論的初步知識:第二至第六章是一階邏輯的基本內容,重點介紹哥德爾的完全性定理;第七章是遞歸論的基本知識,也是為後面內容所做的準備;第八章介紹一階算術的一些片段;第九和第十章是哥德爾的兩個不完全性定理。本書主要面向對數學基礎感興趣的讀者。與其他數理邏輯教材相比
海外經銷商無庫存,到貨日平均30天至45天
定價:294 元, 優惠價:87 256
作者:郝兆寬  出版社:復旦大學出版社  出版日:2014/09/19 裝訂:平裝
郝兆寬等著的《集合論(對無窮概念的探索)/邏 輯與形而上學教科書系列》是“邏輯與形而上學教科 書系列”中
絕版無法訂購
初等模型論(簡體書)
滿額折
作者:姚寧遠  出版社:復旦大學出版社  出版日:2019/10/14 裝訂:平裝
本書從一階邏輯的語法和語義開始, 介紹了緊致性定理、Lwenheim–Skolem定理、Tarski準則、量詞消去、飽和模型、齊次模型、Omega-穩定理論、不可區分序列以及Morley定理等內容。
海外經銷商無庫存,到貨日平均30天至45天
定價:216 元, 優惠價:87 188
作為哲學的數理邏輯(簡體書)
滿額折
作者:楊睿之  出版社:復旦大學出版社  出版日:2016/12/05 裝訂:平裝
作為現代哲學主流形式的分析哲學與作為現代邏輯基礎的數理邏輯有著共同的起源。然而,隨著各自的發展,兩者自上世紀中葉以來逐漸分道揚鑣。本書將展示分析哲學與數理邏輯在它們的“蜜月期”中共同取得的重要成果以及兩者分離後邏輯學的發展路徑。《作為哲學的數理邏輯》試圖說明,當代邏輯學的研究仍然具有深刻的哲學內涵,並且可以為面臨困境的當代哲學提供新的思想資源。本書定位為枕邊的邏輯書,可以作為哲學家了解邏輯學、邏輯
海外經銷商無庫存,到貨日平均30天至45天
定價:192 元, 優惠價:87 167
遞歸論:算法與隨機性基礎(簡體書)
滿額折
作者:郝兆寬  出版社:復旦大學出版社  出版日:2019/08/05 裝訂:平裝
本書是“邏輯與形而上學教科書系列”中的一本。遞歸論是數理邏輯的主要分支之一。本書介紹了遞歸論的基礎知識,以及某些有影響的問題與經典構造。本書共分5章。第一章介紹了圖靈機、遞歸、遞歸可枚舉等概念以及相關的定理。第二章列舉了一些重要的不可判定問題,其中包括希爾伯特第十問題(丟番圖整數解判定問題)的否定性結果(即馬季亞謝維奇定理)和它的完整證明。第三章介紹了遞歸論度理論的核心概念和基本事實。在第四章中,
海外經銷商無庫存,到貨日平均30天至45天
定價:234 元, 優惠價:87 204

暢銷榜

客服中心

收藏

會員專區