计算机科学中的现代逻辑学

图书标准信息

• 作者 王元元 编
• 出版社 科学出版社
• 出版时间 2001-09
• 版次 1
• ISBN 9787030010674
• 定价 28.00元
• 装帧 平装
• 开本 其他
• 纸张 其他
• 页数 266页

【内容简介】

1989年科学出版社出版了《计算机科学中的逻辑学》，该书于1992年获国家优秀教材奖，1997年被国家教委列为“九五“规划重点发展教材。根据教材建设的需要，借本次重印之机，对原书的内容进行了增补，其主要内容包括：形式化和形式系统的概论，命题演算形式系统，各种形式的一阶谓词演算形式系统，直觉主义的一阶谓词演算形式系统等内容。

【目录】

一，绪论二，命题演算形式系统三，一阶谓词演算四，其它形式的一阶谓词演算系统五，消解原理及其应用六，霍恩子句逻辑和逻辑程序设计七，二阶谓词演算八，模态逻辑九，时序逻辑与动态逻辑十，多值逻辑及模糊逻辑十一，非单调逻辑十二，λ－演算与组合逻辑