书籍详情

数理逻辑引论与归结原理

数理逻辑引论与归结原理

作者：王国俊著

出版社：科学出版社

出版时间：2003-01-01

ISBN：9787030115799

定价：¥29.00

内容简介

　　本书讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。

作者简介

暂缺《数理逻辑引论与归结原理》作者简介

目录

暂缺《数理逻辑引论与归结原理》目录

猜您喜欢

随机微分方程导论

微积分简明教程2

密码学实验教程

读书导航