手机扫码预览
本书内容可分为4部分第部分讲述{与逻辑演算有密切关系的
Brole代数理论.并以此为工其证明逻辑演算理论中的两个完备忤定理.
第二部分深人浅出地系统讲述命题演算与阶谓词演算理论. 第三部分清
楚而严谨地讲述归结原理理论，给出了各个难点内容的完整证明，第四部
分讲述多值逻辑演算理论、包栝Lulasievivz连续值逻辑及相关的MV代
数理论以及由作者建立的:/* 逻轭系统和相关的Rn代数理论.
本书可供计算机专业、应用数学专业、人T智能专业的研究牛与高年
级本科坐及教师阅读.
版权声明：原创作品，未经允许不得转载，否则将追究法律责任。
本站资源有的自互联网收集整理，如果侵犯了您的合法权益，请联系本站我们会及时删除。
本站资源仅供研究、学习交流之用，若使用商业用途，请购买正版授权，否则产生的一切后果将由下载用户自行承担。
技术电子书 » 现代数学基础丛书 数理逻辑引论与归结原理 (王国俊)
本站资源有的自互联网收集整理，如果侵犯了您的合法权益，请联系本站我们会及时删除。
本站资源仅供研究、学习交流之用，若使用商业用途，请购买正版授权，否则产生的一切后果将由下载用户自行承担。
技术电子书 » 现代数学基础丛书 数理逻辑引论与归结原理 (王国俊)
