123,123,123

內(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)容。

作者簡介

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

圖書目錄

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

作　者：	王元元編著
出版社：	科學(xué)出版社
叢編項：
標　簽：	電子計算機

ISBN：	9787030010674	出版時間：	1989-01-01	包裝：	平裝
開本：	26cm	頁數(shù)：	266頁	字數(shù)：

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

購買這本書可以去

內(nèi)容簡介

作者簡介

圖書目錄

本目錄推薦

TensorFlow程序設(shè)計

MATLAB GUI設(shè)計全解：基于App D…

圖像處理的分數(shù)階微積分方法

多源知識融合與應(yīng)用

面向森林生長的建模、計算和仿真…

計算機組成與體系結(jié)構(gòu)：性能設(shè)計…

智能醫(yī)學(xué)導(dǎo)論

非平衡數(shù)據(jù)分類理論與方法

邊緣工作流系統(tǒng)

新媒體與互聯(lián)網(wǎng)研究（2023）