简介
1989年科学出版社出版了《计算机科学中的逻辑学》，该书于1992年获国家优秀教材奖，1997年被国家教委列为“九五“规划重点发展教材。根据教材建设的需要，借本次重印之机，对原书的内容进行了增补，其主要内容包括：形式化和形式系统的概论，命题演算形式系统，各种形式的一阶谓词演算形式系统，直觉主义的一阶谓词演算形式系统等内容。
目录
一，绪论
二，命题演算形式系统
三，一阶谓词演算
四，其它形式的一阶谓词演算系统
五，消解原理及其应用
六，霍恩子句逻辑和逻辑程序设计
七，二阶谓词演算
八，模态逻辑
九，时序逻辑与动态逻辑
十，多值逻辑及模糊逻辑
十一，非单调逻辑
十二，λ－演算与组合逻辑
二，命题演算形式系统
三，一阶谓词演算
四，其它形式的一阶谓词演算系统
五，消解原理及其应用
六，霍恩子句逻辑和逻辑程序设计
七，二阶谓词演算
八，模态逻辑
九，时序逻辑与动态逻辑
十，多值逻辑及模糊逻辑
十一，非单调逻辑
十二，λ－演算与组合逻辑
计算机科学中的逻辑学
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
