數理邏輯:證明及其限度(第2版)(簡體書)
商品資訊
系列名:邏輯與形而上學教科書系列
ISBN13:9787309145687
出版社:復旦大學出版社
作者:郝兆寬; 楊睿之; 楊躍
出版日:2020/09/17
裝訂/頁數:平裝/255頁
規格:24cm*17cm (高/寬)
版次:二版
商品簡介
相關商品
商品簡介
本書是“邏輯與形而上學教科書系列”中的一本。書中從零起點開始,介紹了數理邏輯的基本知識。全書共10章:第一章是預備知識,主要介紹書中所需要的集合論的初步知識:第二至第六章是一階邏輯的基本內容,重點介紹哥德爾的完全性定理;第七章是遞歸論的基本知識,也是為後面內容所做的準備;第八章介紹一階算術的一些片段;第九和第十章是哥德爾的兩個不完全性定理。本書主要面向對數學基礎感興趣的讀者。與其他數理邏輯教材相比,本書更加強調邏輯與元數學的聯繫,更多介紹語義部分,更加強調語法與語義的統一。書中除了講解各個知識點本身之外,還介紹了它們的思想背景,也簡單介紹了數理邏輯當代研究成果及其與本書內容的聯繫。本書適合作為數理邏輯系列課程的導論教材,可以為進-步學習與研究數理邏輯後繼課程建立興趣並打下基礎。本書也可以幫助有興趣的讀者瞭解數理邏輯的基本概念與技巧。
主題書展
更多書展今日66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。