计算理论与符号逻辑.pdf 本书共十五章，主要包括集合的可数性、图灵可计算性、算盘可计算性、递归函数可计算性、递归函数与递归关系、不同计算模型之间的等价性等。 叁号仓库 2022年07月17日 0 点赞 0 评论 8865 浏览
符号逻辑：语法、语义和证明.pdf 本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表；命题逻辑语言不能完全充分表 叁号仓库 2022年07月18日 0 点赞 0 评论 6091 浏览
