MARC状态:审校 文献类型:中文图书 浏览次数:25
- 题名/责任者:
- 数理逻辑引论与归结原理/王国俊著
- 出版发行项:
- 北京:科学出版社,2003
- ISBN及定价:
- 7-03-011579-1/CNY29.00
- 载体形态项:
- 216页:图;24cm
- 丛编项:
- 现代数学基础丛书;85
- 个人责任者:
- 王国俊 著
- 学科主题:
- 数理逻辑
- 学科主题:
- 归结方法
- 中图法分类号:
- O141
- 出版发行附注:
- 陕西师范大学优秀学术著作基金资助出版
- 书目附注:
- 有书目 (第208页)和索引
- 提要文摘附注:
- 本书分四部分。第一部分讲述了与逻辑演算有密切关系的Boole代数理论,并以此为工具证明逻辑演算理论中的两个完备性定理。第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第三部分清楚而严谨地讲述归结原理理论,给出了各个难点内容的完整证明。第四部分讲述多值逻辑演算理论,包括Lukasiewicg连续值逻辑及相关的MV代数理论以及由作者建立的逻辑系统和相关的Ro代数理论。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 定位信息 | 书刊状态 |
O141/37 | A0705129 | - | 自科典藏库(5楼) | 导航 | 可借 |
O141/37 | A0705131 | - | 自科借阅1(N-S/U-Z)(104室) | 导航 | 可借 |
O141/37 | A0726648 | - | 自科借阅1(N-S/U-Z)(104室) | 导航 | 可借 |
O141/37 | A0726649 | - | 自科借阅1(N-S/U-Z)(104室) | 导航 | 可借 |
O141/37 | A0705130 | - | 流通密集库 | 导航 | 阅览 |
O141/37 | A0890594 | - | 流通密集库 | 导航 | 阅览 |
O141/37 | A0890595 | - | 流通密集库 | 导航 | 阅览 |
O141/37 | A0890596 | - | 流通密集库 | 导航 | 阅览 |
显示全部馆藏信息