計(jì)算機(jī)科學(xué)中的現(xiàn)代邏輯學(xué)

定　價(jià)：￥28.00

作　者：	王元元編著
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	電子計(jì)算機(jī)

購(gòu)買(mǎi)這本書(shū)可以去

當(dāng)當(dāng)網(wǎng) (￥23.80)

ISBN：	9787030010674	出版時(shí)間：	1989-01-01	包裝：	平裝
開(kāi)本：	26cm	頁(yè)數(shù)：	266頁(yè)	字?jǐn)?shù)：

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

　　1989年科學(xué)出版社出版了《計(jì)算機(jī)科學(xué)中的邏輯學(xué)》，該書(shū)于1992年獲國(guó)家優(yōu)秀教材獎(jiǎng)，1997年被國(guó)家教委列為“九五“規(guī)劃重點(diǎn)發(fā)展教材。根據(jù)教材建設(shè)的需要，借本次重印之機(jī)，對(duì)原書(shū)的內(nèi)容進(jìn)行了增補(bǔ)，其主要內(nèi)容包括：形式化和形式系統(tǒng)的概論，命題演算形式系統(tǒng)，各種形式的一階謂詞演算形式系統(tǒng)，直覺(jué)主義的一階謂詞演算形式系統(tǒng)等內(nèi)容。

作者簡(jiǎn)介

暫缺《計(jì)算機(jī)科學(xué)中的現(xiàn)代邏輯學(xué)》作者簡(jiǎn)介

圖書(shū)目錄

一，緒論
二，命題演算形式系統(tǒng)
三，一階謂詞演算
四，其它形式的一階謂詞演算系統(tǒng)
五，消解原理及其應(yīng)用
六，霍恩子句邏輯和邏輯程序設(shè)計(jì)
七，二階謂詞演算
八，模態(tài)邏輯
九，時(shí)序邏輯與動(dòng)態(tài)邏輯
十，多值邏輯及模糊邏輯
十一，非單調(diào)邏輯
十二，λ－演算與組合邏輯