數(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最優(yōu)因析設(shè)計(jì)理論（英）

01

最優(yōu)因析設(shè)計(jì)理論（英）
02基于Bayesian統(tǒng)計(jì)推斷的粒…

02

基于Bayesian統(tǒng)計(jì)推斷的粒子濾波…
03因果推斷方法及其應(yīng)用

03

因果推斷方法及其應(yīng)用
04非凸變分不等式：基本理論…

04

非凸變分不等式：基本理論、數(shù)值…
05凸分析

05

凸分析
06Lie代數(shù)的分類和識(shí)別（影…

06

Lie代數(shù)的分類和識(shí)別（影印版）…
07希爾伯特空間及應(yīng)用導(dǎo)論（…

07

希爾伯特空間及應(yīng)用導(dǎo)論（英文版…
08圓錐曲線論（卷I-IV）

08

圓錐曲線論（卷I-IV）
09時(shí)標(biāo)動(dòng)態(tài)經(jīng)濟(jì)建模與分析

09

時(shí)標(biāo)動(dòng)態(tài)經(jīng)濟(jì)建模與分析
10羅馬尼亞大師杯數(shù)學(xué)競(jìng)賽試…

10

羅馬尼亞大師杯數(shù)學(xué)競(jìng)賽試題及解…

掃描二維碼