出版時(shí)間:2001-9 出版社:科學(xué)出版社 作者:王元元編
Tag標(biāo)簽:無
內(nèi)容概要
1989年科學(xué)出版社出版了《計(jì)算機(jī)科學(xué)中的邏輯學(xué)》,該書于1992年獲國家優(yōu)秀教材獎(jiǎng),1997年被國家教委列為“九五“規(guī)劃重點(diǎn)發(fā)展教材。根據(jù)教材建設(shè)的需要,借本次重印之機(jī),對(duì)原書的內(nèi)容進(jìn)行了增補(bǔ),其主要內(nèi)容包括:形式化和形式系統(tǒng)的概論,命題演算形式系統(tǒng),各種形式的一階謂詞演算形式系統(tǒng),直覺主義的一階謂詞演算形式系統(tǒng)等內(nèi)容。
圖書封面
圖書標(biāo)簽Tags
無
評(píng)論、評(píng)分、閱讀與下載
計(jì)算機(jī)科學(xué)中的現(xiàn)代邏輯學(xué) PDF格式下載