關(guān)于我們
書(shū)單推薦
新書(shū)推薦
|
數(shù)理邏輯:證明及其限度(第二版)(邏輯與形而上學(xué)教科書(shū)系列) 本書(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ù)理邏輯的基本概念與技巧。
你還可能感興趣
我要評(píng)論
|