Name: 数理逻辑引论与归结原理
ISBN: 9787030165831

作者: 王国俊
出版社: 科学出版社
出版年: 2006-3
页数: 258
定价: 38.00元
丛书: 现代数学基础丛书
ISBN: 9787030165831

豆瓣评分

评价人数不足

评价:

内容简介 · · · · · ·

《数理逻辑引论与归结原理》在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第3部分清楚而严谨地讲述归结原理理论，给出了各个难点内容的完整证明。第4部分讲述多值逻辑演算理论，包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的&*逻辑系统和相关的R0代数理论。《数理逻辑引论与归结原理》可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。