本书主要内容包括:形式化和形式化概论,命题演算形式系统,各种形式的一阶谓词演算形式系统,直觉主义的一阶谓词演算形式系统,各种形式的模态逻辑系统,时态逻辑系统和动态逻辑系统,多值逻辑系统和模糊逻辑系统,非单调逻辑推理系统,λ-演算和组合逻辑,以及这些经典和非经典的逻辑系统在计算机科学技术中的应用。
本书可用作计算机专业、数学专业的本科生、硕士研究生的数理逻辑、计算理论等课程的教材或教学参考书。
网站首页 软件下载 游戏下载 翻译软件 电子书下载 电影下载 电视剧下载 教程攻略
霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。