數(shù)理邏輯

定　價(jià)：￥2.20

作　者：	汪芳庭編著
出版社：	中國(guó)科學(xué)技術(shù)大學(xué)出版社
叢編項(xiàng)：	離散數(shù)學(xué)
標(biāo)　簽：	數(shù)理邏輯

ISBN：	9787312002007	出版時(shí)間：	1990-09-01	包裝：
開(kāi)本：	20cm	頁(yè)數(shù)：	273頁(yè)	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(shū)前兩章介紹了命題演算和謂詞演算，第三章介紹形式算術(shù)，遞歸函數(shù)及二者的關(guān)系，第四章中心是不完備性定理，其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算術(shù)的不可判定性定理、無(wú)矛盾性不可證性定理的一種易證形式等。

作者簡(jiǎn)介

暫缺《數(shù)理邏輯》作者簡(jiǎn)介

圖書(shū)目錄

暫缺《數(shù)理邏輯》目錄

本目錄推薦

01趣味魔術(shù)與數(shù)學(xué)故事

01

趣味魔術(shù)與數(shù)學(xué)故事
02大數(shù)據(jù)分析中的數(shù)學(xué)基本理…

02

大數(shù)據(jù)分析中的數(shù)學(xué)基本理論與方…
03半離散Hardy-Hilbert不等…

03

半離散Hardy-Hilbert不等式的拓…
04有限域基礎(chǔ)

04

有限域基礎(chǔ)
05數(shù)學(xué)競(jìng)賽中奇妙的多項(xiàng)式

05

數(shù)學(xué)競(jìng)賽中奇妙的多項(xiàng)式
06應(yīng)當(dāng)這樣解答高考題：十年…

06

應(yīng)當(dāng)這樣解答高考題：十年高考真…
07俄羅斯數(shù)學(xué)經(jīng)典：阿諾德偏…

07

俄羅斯數(shù)學(xué)經(jīng)典：阿諾德偏微分方…
08易懂的Lebesgue測(cè)度與積分…

08

易懂的Lebesgue測(cè)度與積分導(dǎo)引（…
09商務(wù)統(tǒng)計(jì)數(shù)據(jù)分析

09

商務(wù)統(tǒng)計(jì)數(shù)據(jù)分析
10半經(jīng)典分析（影印版）

10

半經(jīng)典分析（影印版）

掃描二維碼