本书在第一版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分，同时，在第一版的基础上对“计量逻辑学”，关于一阶系统完备性的证明等诸多内容做了补充或改写。
本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。
编辑推荐
内容推荐
本书在第一版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分，同时，在第一版的基础上对“计量逻辑学”，关于一阶系统完备性的证明等诸多内容做了补充或改写。
本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。
目录
第二版前言
第一版前言
第一章 预备知识
第二章 命题演算
第三章 一阶谓词演算的语义理论
第四章 一阶谓语演算的语构理论
第五章 Skolem标准形与Herbrand定理
第六章 归结原理
第七章 归结方法的简化
第八章 多值逻辑演算理论
第九章 计量逻辑学
参考文献
索引
《现代数学基础丛书》出版书目
- 流化床结构传递理论与工业应用
- 鲁迅作品集(全5册)
- 变电设备电气试验培训教材
- 列车运行管理与安全
- 信道编码逆向分析技术
- 内科学(供临床医学全科医学社区医学等其他医学相关专业使用全国高等医学院校专科规划教材)
- 病原生物学与免疫学基础(供临床医学全科医学社区医学及其他医学相关专业使用全国高等医学院校专科规划教材)
- 三软煤层绿色智能开采技术及应用
- 机械设计基础
- 乡村旅游发展与农户利益联结机制研究
- Visual FoxPro程序设计基础实验与习题(第2版)
- 微博用户群体行为研究
- 小学科学实验手册 5年级上
- 建设工程造价管理 全新版
- 质量管理小组基础知识
- 假如给我三天光明/青少年必读丛书
- 中外民间故事(畅销版)/青少年课外阅读系列/青少年必读丛书
- 新时代高校学生工作实务基础
- 舞蹈教育改革与创新发展研究
- 新时期人力资源管理体系的构建与创新优化
- 母亲的六十年洋裁岁月/郑鸿生作品
- 军事理论教程
- 药理学
- 医学微生物学实验教程
- 抢分密卷 数学文科 全国卷 2024
- Mobapad(魔派手柄辅助app) v1.4.4 安卓手机版
- 课袋管家 v2.6.4 安卓手机版
- 喜鹊招标网(投标项目企业采购平台) v1.9.2 苹果手机版
- 空调万能遥控赤辉 v1.4.1 安卓手机版
- 快影2025官方最新版 v6.76.0.676006 安卓手机版
- 安全守护(智能儿童手表配套软件) v5.2.8 安卓手机版
- 实时天气预报王 v5.2.9 安卓手机版
- AirExplorer Pro(云存储资源管理工具) v5.4.3 便携修改版
- 池馆(英语学习平台) v2.7.0 苹果手机版
- PDF Slideshow(PDF幻灯片播放) v1.0 多语免费安装版
- 怪物猎人世界默认手弩修改MOD
- 怪物猎人世界音效mod（李云龙意大利音效替换龙矢音效） 免费版
- 辐射4英联邦的背包MOD
- 怪物猎人世界全面且分类的商店MOD
- 怪物猎人世界可定制的可爱冬季外套MOD
- 怪物猎人世界诅咒与颂歌武器MOD
- 模拟人生4性感抹胸交叉连身裤MOD
- 永狱1.1.0正式版 附攻略及隐藏英雄密码 魔兽防守地图
- X4基奠升级档+未加密补丁 v1.10 免费版
- 义务警员特别版补丁 v1.03 免费版
- 桔子街的断货男
- 曾少年
- 牛下女高音
- 小女花不弃
- 长安十二时辰
- 彩虹的重力
- 请输入搜索词：WWW
- 机场特警
- 荷里活有个大老千
- 大江大河2