2023年7月24日
期末总结：面向计算机科学的数理逻辑：系统建模与推理
摘要： 面向计算机科学的数理逻辑：系统建模与推理 Chapter 1 命题逻辑 ——逻辑符号 ——证明规则 ——作为形式语言的命题逻辑 ——命题逻辑的语义 ——范式 Chapter 2 谓词逻辑 ——作为形式语言的谓词逻辑 ——谓词逻辑的证明论 ————自然演绎规则 ——谓词逻辑的语义 ——谓词逻辑的不可判 阅读全文
posted @ 2023-07-24 15:53 一条咸得发慌的鱼 阅读(129) 评论(0) 推荐(0)