發表於2024-12-22
正版四數理邏輯導引9787030545794馮琦 pdf epub mobi txt 電子書 下載
【拍前必讀】:
本店銷售的書籍品相可能因為存放時間長短關係會有成色不等,請放心選購。
付款後,不缺貨的情況下,48小時內發貨,如有缺貨的情況下,我們會及時在聊天窗口給您留言告知。
發貨地北京,一般情況下發貨後同城次日可以到達,省外具體以快遞公司運輸為準。
望每位讀者在收貨的時候要驗貨,有什麼意外可以拒簽,這是對您們權益的保護。
注意:節假日全體放假,請自助下單;如需幫助請及時與我們聯係。祝您購物愉快!商傢熱綫:010-57272736
基本信息
書名:數理邏輯導引
定價:198.00元
作者:馮琦
齣版社:科學齣版社
齣版日期:2018-03-01
ISBN:9787030545794
字數:
頁碼:
版次:31
裝幀:平裝
開本:128開
商品重量:0.4kg
編輯推薦
內容提要
本書是作者在新加坡國立大學、北京大學和中國科學院大學為本科高年級學生開設的數理邏輯選修課和在新加坡國立大學、中國科學院數學與係統科學研究院為研究生開設的專業課程所寫講義基礎上整理齣來的結果。本書主要由一階邏輯的核心內容和有關數的邏輯探索和分析兩大部分組成,其中包括完備性、緊緻性、同質縮小、型省略等基本定理;有關數的經典理論的完全性和可定義性分析;哥德爾不完全性定理、丘奇不可判定性定理、塔爾斯基自然數標準模型真相不可定義性定理以及巴黎-哈靈頓不完全性定理。
目錄
作者介紹
文摘
序言
正版四數理邏輯導引9787030545794馮琦 pdf epub mobi txt 電子書 下載