数理逻辑引论与归结原理

王国俊著

作者王国俊著
出版社北京：科学出版社
标注页数216 页
文件页数226 页
文件大小8.39 MB
出版时间2003
ISBN7030115791

内容简介

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

发现好书期刊，享受阅读乐趣

数理逻辑引论与归结原理