本书在第一版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分，同时，在第一版的基础上对“计量逻辑学”，关于一阶系统完备性的证明等诸多内容做了补充或改写。
本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。
编辑推荐
内容推荐
本书在第一版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分，同时，在第一版的基础上对“计量逻辑学”，关于一阶系统完备性的证明等诸多内容做了补充或改写。
本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。
目录
第二版前言
第一版前言
第一章 预备知识
第二章 命题演算
第三章 一阶谓词演算的语义理论
第四章 一阶谓语演算的语构理论
第五章 Skolem标准形与Herbrand定理
第六章 归结原理
第七章 归结方法的简化
第八章 多值逻辑演算理论
第九章 计量逻辑学
参考文献
索引
《现代数学基础丛书》出版书目
- 海洋知识全知道/青少年科普知识枕边书
- 肝胆外科典型病例荟萃
- 影响世界的文化名人(上中下)/陪孩子畅游中华传统文化
- 安全管理一本通(第2版)
- 冬/小磨诗坊
- 法国发展报告(2018版2017-2018)/法国蓝皮书
- 奇幻乐园(3+)/欢乐贴贴纸
- 初中数理化定理概念公式速查(合订本彩色图解版)
- 联合国关于调解所产生的国际和解协议公约立法背景及条文释义
- 布依族古籍文献研究文集(精)/国际视野中的贵州人类学
- 现代日本社会(21世纪日语系列教材)
- 安全科学原理(双色印刷)
- 纳税实务习题与实训(高等职业教育会计专业课程系列教材)
- 世界名枪全鉴(手枪珍藏版第3版)
- 十万个为什么(神奇科学)
- 战胜系统性红斑狼疮/战胜风湿骨病丛书
- 战胜强直性脊柱炎/战胜风湿骨病丛书
- 认识星座
- 数学(9下配人教版)/1+1轻巧夺冠课堂直播
- 中国品格(6年级中华优秀传统文化教材)
- 考研数学考前冲刺5套卷(数学2 2019新大纲2019年全国硕士研究生招生考试用书)
- 2019中药学专业知识(二)模拟试卷及解析(国家执业药师资格考试推荐辅导用书)
- 我的社区/特殊教育成长丛书
- 草书醉歌行游玉泉山诗卷(墨迹本)/中国国家博物馆馆藏法帖书系/中华宝典
- 会计信息化实务操作(用友ERP-U8V10.1高等职业教育会计专业富媒体智能型精品系列教材)
- IP网卡修改&IP端口重定向 v1.0.0
- VAS视频加字幕 v5
- IP网卡修改&IP端口重定向 v1.0.0
- IP网卡修改&IP端口重定向 v1.0.0
- 云商电子销售管理系统 v2.1
- IP网卡修改&IP端口重定向 v1.0.0
- IP网卡修改&IP端口重定向 v1.0.0
- AirPodsDesktop v0.4.0
- 韩博士数据恢复 v1.3.26.751
- 意表64位电脑版 v1.0.52
- 求生之路2旋风斧头MOD v2.3
- 辐射4双重尖刺项圈MOD v2.43
- DNF女鬼剑剑豪五气朝元改超炫效果地狱光环 v2.3
- 怪物猎人OL亚当兰伯特捏脸数据 濡ゅ倹蓱缁旂笨1.2
- 辐射4核战后的天气MOD v2.3
- 城市天际线葛蓓莉亚冰淇淋店MOD v2.3
- 模拟人生4混沌眼睛MOD v2.3
- 饥荒联机版少女秘封俱乐部人物MOD v2.3
- 迷你qq记牌器 v26.3
- 超次元海王星U战斗释放自调Reshade画质补丁 v2.3
- pocket-sized
- pocket veto
- pockmark
- pockmarked
- pod
- podcast
- podgy
- podiatrist
- podium
- poem
- [BT下载][且试天下][全40集][WEB-MP4/20.80G][国语配音/中文字幕][1080P][SeeWEB] 剧集 2022 大陆 剧情 打包
- [BT下载][二十四味暖浮生][全24集][WEB-MP4/11.81G][国语音轨/中文字幕][1080P][EntWEB] 剧集 2022 大陆 剧情 打包
- [BT下载][二十四味暖浮生][全24集][WEB-MP4/13.00G][国语配音/中文字幕][1080P][EntWEB] 剧集 2022 大陆 剧情 打包
- [BT下载][二十四味暖浮生][全24集][WEB-MP4/14.62G][国语配音/中文字幕][1080P][H265][CatWEB] 剧集 2022 大陆 剧情 打包
- [BT下载][北京地铁][全31集][WEB-MP4/38.36G][国语配音/中文字幕][1080P][CatWEB] 剧集 2019 大陆 剧情 打包
- [BT下载][姻缘大人请留步][全24集][WEB-MP4/57.68G][国语配音/中文字幕][4K-2160P][60帧率][H265][SeeTV] 剧集 2022 大陆 剧情 打包
- [BT下载][没有工作的一年][全16集][WEB-MP4/62.59G][国语配音/中文字幕][4K-2160P][SeeTV] 剧集 2022 大陆 剧情 打包
- [BT下载][没有工作的一年][全16集][WEB-MP4/26.97G][国语配音/中文字幕][1080P][CatWEB] 剧集 2022 大陆 剧情 打包
- [BT下载][没有工作的一年][全16集][WEB-MP4/68.59G][国语配音/中文字幕][4K-2160P][CatWEB] 剧集 2022 大陆 剧情 打包
- [BT下载][蓝焰突击][全33集][WEB-MP4/60.35G][国语配音/中文字幕][4K-2160P][60帧率][H265][SeeTV] 剧集 2022 大陆 剧情 打包
- Win10hosts文件配置异常上不了网怎么办？
- Win11亮度调节不见了怎么办？Win11亮度调节不见了的解决方法
- Win10蓝牙连接声音卡顿怎么办 Win10蓝牙声音断断续续卡顿解决方法
- Win10分区表用MBR还是GPT好 Win10分区表用MBR还是GPT详细介绍
- Win11wifi驱动如何下载 Win11wifi驱动下载安装教程
- Win11右键菜单怎么改回Win10 Win11右键菜单改回Win10的方法
- Win11鼠标灵敏度怎么调 Win11鼠标灵敏度调整方法
- Win10玩命运2老掉线怎么办 Win10玩命运2老掉线解决方法
- Win10文件管理打不开怎么办 Win10文件管理打不开解决方法
- KB5010342更新失败 Win10 KB5010342更新失败错误代码0x80073701