书籍简介:

本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给出了各个难点内容的完整证明；第四部分讲述多值逻辑演算理论，包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的逻辑系统和相关的R0代数理论。

书籍规格:

书籍详细信息
书名	数理逻辑引论与归结原理站内查询相似图书
丛书名	现代数学基础丛书
	9787030115799 《数理逻辑引论与归结原理》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)		语种	简体中文
尺寸	20	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

数理逻辑引论与归结原理是科学出版社于2003.08出版的中图分类号为 O141 的主题关于数理逻辑 ,归结方法的书籍。