掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書(shū)更多>
-
>
闖進(jìn)數(shù)學(xué)世界――探秘歷史名題
-
>
中醫(yī)基礎(chǔ)理論
-
>
當(dāng)代中國(guó)政府與政治(新編21世紀(jì)公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國(guó)特色社會(huì)主義理論體系概論(2021年版)
-
>
中醫(yī)內(nèi)科學(xué)·全國(guó)中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
中圖價(jià):¥39.2
加入購(gòu)物車
數(shù)理邏輯:證明及其限度 版權(quán)信息
- ISBN：9787309145687
- 條形碼：9787309145687 ; 978-7-309-14568-7
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>>
數(shù)理邏輯:證明及其限度 內(nèi)容簡(jiǎn)介
本書(shū)是“邏輯與形而上學(xué)教科書(shū)系列”中的一本。書(shū)中從零起點(diǎn)開(kāi)始，介紹了數(shù)理邏輯的基本知識(shí)。全書(shū)共10章:**章是預(yù)備知識(shí)，主要介紹書(shū)中所需要的集合論的初步知識(shí):第二至第六章是一階邏輯的基本內(nèi)容，重點(diǎn)介紹哥德?tīng)柕耐耆远ɡ?第七章是遞歸論的基本知識(shí)，也是為后面內(nèi)容所做的準(zhǔn)備;第八章介紹一階算術(shù)的一些片段;第九和第十章是哥德?tīng)柕膬蓚(gè)不完全性定理。本書(shū)主要面向?qū)?shù)學(xué)基礎(chǔ)感興趣的讀者。與其他數(shù)理邏輯教材相比，本書(shū)更加強(qiáng)調(diào)邏輯與元數(shù)學(xué)的聯(lián)系，更多介紹語(yǔ)義部分，更加強(qiáng)調(diào)語(yǔ)法與語(yǔ)義的統(tǒng)一。書(shū)中除了講解各個(gè)知識(shí)點(diǎn)本身之外，還介紹了它們的思想背景，也簡(jiǎn)單介紹了數(shù)理邏輯當(dāng)代研究成果及其與本書(shū)內(nèi)容的聯(lián)系。本書(shū)適合作為數(shù)理邏輯系列課程的導(dǎo)論教材，可以為進(jìn)-步學(xué)習(xí)與研究數(shù)理邏輯后繼課程建立興趣并打下基礎(chǔ)。本書(shū)也可以幫助有興趣的讀者了解數(shù)理邏輯的基本概念與技巧。
數(shù)理邏輯:證明及其限度 目錄
第二版序引言：什么是數(shù)理邏輯？章預(yù)備知識(shí)1.1證明的必要性1.2集合1.3關(guān)系1.4函數(shù)1.5等價(jià)關(guān)系與劃分1.6序1.7結(jié)構(gòu)的例子第二章命題邏輯2.1引言2.2命題邏輯的語(yǔ)言2.3真值指派2.4唯一可讀性2.5其他聯(lián)詞2.6命題邏輯的一個(gè)推演系統(tǒng)2.7命題邏輯的自然推演2.8命題邏輯的可靠性和完全性定理2.9模態(tài)邏輯簡(jiǎn)介……
展開(kāi)全部
書(shū)友推薦
- >
有舍有得是人生
- >
龍榆生：詞曲概論/大家小書(shū)
- >
朝聞道
- >
【精裝繪本】畫(huà)給孩子的中國(guó)神話
- >
二體千字文
- >
山海經(jīng)
- >
羅曼·羅蘭讀書(shū)隨筆-精裝
- >
伯納黛特,你要去哪(2021新版)
本類暢銷
