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

出版時間:2001-9  出版社:科學(xué)出版社  作者:王元元編  
Tag標簽:無  

內(nèi)容概要

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

圖書封面

圖書標簽Tags

評論、評分、閱讀與下載


    計算機科學(xué)中的現(xiàn)代邏輯學(xué) PDF格式下載


用戶評論 (總計0條)

 
 

 

250萬本中文圖書簡介、評論、評分,PDF格式免費下載。 第一圖書網(wǎng) 手機版

京ICP備13047387號-7