成功加入购物车
中文版
[美] 尼罗德 、[美] 肖尔 著; 丁德成 编 / 机械工业出版社 / 2007-07 / 平装
售价 ¥ 168.00
品相 九品
优惠 满包邮
延迟发货说明
上书时间2018-12-25
卖家超过10天未登录
应用逻辑(原书第2版)
《应用逻辑(原书第2版)》是介绍数理逻辑的基础教材,不仅覆盖了传统的基本内容(语法、语义、可靠性、完全性和紧致性),而且很大一部分是讨论非传统的内容,诸如消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑),而这些主题在现代计算机科学中变得越来越重要。
本书讲述的内容广泛,深入浅出,简明易懂,适合作为计算机科学系和数学系高年级本科生以及低年级研究生的教材。
出版者的话专家指导委员会译者序中文版序前言绪论第一章命题逻辑第一节序和树第二节命题、联结词和真值表第三节真值指派和赋值第四节命题演算中的表证明第五节表证明的可靠性和完全性第六节前件演绎和紧致性第七节公理方法第八节消解第九节加细消解第十节线性消解、Horn子句和PROLOG进一步阅读建议第二章谓词逻辑第一节谓词和量词第二节语言:项和公式第三节形成树、结构和列表第四节语义:含义与真值第五节PROI;OG程序解释第六节证明:完全系统表第七节表证明的可靠性和完全性第八节公理化方法第九节前束范式和斯科朗化第十节厄布朗定理第十一节合一第十二节合一算法第十三节消解第十四节加细消解:线性消解进一步阅读建议第三章PROLOG第一节SLD一消解第二节执行:搜索与回溯第三节执行的控制:cut第四节PROLOG程序终止的条件第五节相等第六节因失败而否定第七节否定和非单调逻辑第八节可计算性与不可判定性进一步阅读建议第四章模态逻辑第一节可能性与必然性;知识或信念第二节框架和力迫第三节模态表第四节可靠性和完全性第五节模态公理和特殊的可达关系第六节公理化方法进一步阅读建议第五章直觉主义逻辑第一节直觉主义与构造主义第二节框架和力迫第三节直觉主义表第四节可靠性和完全性第五节可判定性和不可判定性第六节比较指南进一步阅读建议第六章集合论基础第一节集合论中的一些基本公理第二节集合的布尔代数第三节关系、函数和幂集公理第四节自然数、算术和无穷第五节替换、选择和基础第六节谓词逻辑中的策梅洛一弗兰克尔集合论第七节基数:有穷和可数第八节序数第九节序数算术和超穷归纳第十节超穷递归、选择和有秩全域第十一节基数和基数算术进一步阅读建议附录A历史回顾附录B一个家谱数据库参考文献
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30