数理逻辑引论与归结原理

数理逻辑引论与归结原理

王国俊, 编著

出版社:科学出版社

年代:2005

定价:

书籍简介:

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

书籍规格:

书籍详细信息
书名数理逻辑引论与归结原理站内查询相似图书
丛书名现代数学基础丛书
9787030165831
如需购买下载《数理逻辑引论与归结原理》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位科学出版社
版次2版印次1
定价(元)语种简体中文
尺寸24装帧平装
页数印数

书籍信息归属:

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