面向计算机科学的数理逻辑 陆万钟 第二版 上传者：mochabohe 2020-05-13 03:49:48上传 PDF文件 33.37MB 热度 49次 陆万钟老师的经典数理逻辑教材，内容详实，知识点突出，例子丰富。 全书主要介绍了命题逻辑，一阶谓词逻辑，构造性逻辑，模态命题逻辑，模态一阶逻辑等几种复杂度依次提升的逻辑系统。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2020-05-13 03:49:48 计算机必学教材。 发表评论
计算机必学教材。