數(shù)理邏輯
認(rèn)領(lǐng)
0粉絲
本書是數(shù)理邏輯方面的經(jīng)典教材。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含本書是數(shù)理邏輯方面的經(jīng)典教材。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含了與計(jì)算機(jī)科學(xué)有關(guān)的主題，如有限模型。本書特點(diǎn)是：內(nèi)容可讀性強(qiáng)；組織結(jié)構(gòu)更靈活，授課教師可根據(jù)教學(xué)需要節(jié)選本書的內(nèi)容；反映了近幾年來理論計(jì)算機(jī)科學(xué)對(duì)邏輯學(xué)產(chǎn)生的影響；包含較多的示例和說明。本書
簡介
本書是數(shù)理邏輯方面的經(jīng)典教材。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含本書是數(shù)理邏輯方面的經(jīng)典教材。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含了與計(jì)算機(jī)科學(xué)有關(guān)的主題，如有限模型。本書特點(diǎn)是：內(nèi)容可讀性強(qiáng)；組織結(jié)構(gòu)更靈活，授課教師可根據(jù)教學(xué)需要節(jié)選本書的內(nèi)容；反映了近幾年來理論計(jì)算機(jī)科學(xué)對(duì)邏輯學(xué)產(chǎn)生的影響；包含較多的示例和說明。本書... 更多
屬性
出版社
人民郵電出版社
ISBN
9787115141453
出版年
2006-01-01
裝幀
平裝
價(jià)格
39.00
頁數(shù)
317
評(píng)價(jià)
0.0（滿分 10 分）0 個(gè)評(píng)分
什么是點(diǎn)評(píng)分
圖片
表情
全部評(píng)價(jià)(
0)
推薦率
100%