注册 | 登录读书好，好读书，读好书！
读书网-DuShu.com
当前位置： 首页出版图书科学技术自然科学数学数理逻辑引论与归结原理

数理逻辑引论与归结原理

数理逻辑引论与归结原理

定　价：¥29.00

作　者： 王国俊著
出版社： 科学出版社
丛编项： 现代数学基础丛书
标　签： 数理逻辑 归结方法
ISBN： 9787030115799 出版时间： 2003-01-01 包装： 平装
开本： 24cm 页数： 字数：  

内容简介

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

作者简介

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

图书目录

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

本目录推荐