ISBN/价格: | 978-7-03-022899-4:CNY78.00 |
---|---|
作品语种: | eng |
出版国别: | CN 110000 |
题名责任者项: | Introduction to mathematical logic and resolution principle/.王国俊,周红军著 |
出版发行项: | 北京:,科学出版社:,2009 |
载体形态项: | 335页:;+23cm |
丛编项: | Mathematics monograph series |
一般附注: | 计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师 |
提要文摘: | 本书在第一版的基础上进行修订再版,全书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的最新理论等4部分。同时,在第一版的基础上对“计量逻辑学”,关于一阶系统K完备性的证明等诸多内容做了补充或改写。本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。 |
并列题名: | 数理逻辑引论与归结原理 chi |
题名主题: | 数理逻辑 |
中图分类: | O141 |
个人名称等同: | 王国俊 著 |
个人名称等同: | 周红军 著 |
记录来源: | CN LCTBU 20101110 |