掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
中醫(yī)基礎(chǔ)理論
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫(yī)內(nèi)科學·全國中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
-
>
中醫(yī)診斷學--新世紀第五版
-
>
中藥學·全國中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
買過本商品的人還買了
數(shù)理邏輯:證明及其限度 版權(quán)信息
- ISBN：9787309145687
- 條形碼：9787309145687 ; 978-7-309-14568-7
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
數(shù)理邏輯:證明及其限度 內(nèi)容簡介
本書是“邏輯與形而上學教科書系列”中的一本。書中從零起點開始，介紹了數(shù)理邏輯的基本知識。全書共10章:**章是預備知識，主要介紹書中所需要的集合論的初步知識:第二至第六章是一階邏輯的基本內(nèi)容，重點介紹哥德爾的完全性定理;第七章是遞歸論的基本知識，也是為后面內(nèi)容所做的準備;第八章介紹一階算術(shù)的一些片段;第九和第十章是哥德爾的兩個不完全性定理。本書主要面向?qū)?shù)學基礎(chǔ)感興趣的讀者。與其他數(shù)理邏輯教材相比，本書更加強調(diào)邏輯與元數(shù)學的聯(lián)系，更多介紹語義部分，更加強調(diào)語法與語義的統(tǒng)一。書中除了講解各個知識點本身之外，還介紹了它們的思想背景，也簡單介紹了數(shù)理邏輯當代研究成果及其與本書內(nèi)容的聯(lián)系。本書適合作為數(shù)理邏輯系列課程的導論教材，可以為進-步學習與研究數(shù)理邏輯后繼課程建立興趣并打下基礎(chǔ)。本書也可以幫助有興趣的讀者了解數(shù)理邏輯的基本概念與技巧。
數(shù)理邏輯:證明及其限度 目錄
第二版序引言：什么是數(shù)理邏輯？章預備知識1.1證明的必要性1.2集合1.3關(guān)系1.4函數(shù)1.5等價關(guān)系與劃分1.6序1.7結(jié)構(gòu)的例子第二章命題邏輯2.1引言2.2命題邏輯的語言2.3真值指派2.4唯一可讀性2.5其他聯(lián)詞2.6命題邏輯的一個推演系統(tǒng)2.7命題邏輯的自然推演2.8命題邏輯的可靠性和完全性定理2.9模態(tài)邏輯簡介……
展開全部
書友推薦
- >
推拿
- >
上帝之肋:男人的真實旅程
- >
姑媽的寶刀
- >
伊索寓言-世界文學名著典藏-全譯本
- >
史學評論
- >
月亮虎
- >
莉莉和章魚
- >
隨園食單
本類暢銷
