07 2023 档案

期末总结：面向计算机科学的数理逻辑：系统建模与推理

摘要：面向计算机科学的数理逻辑：系统建模与推理 Chapter 1 命题逻辑 ——逻辑符号 ——证明规则 ——作为形式语言的命题逻辑 ——命题逻辑的语义 ——范式 Chapter 2 谓词逻辑 ——作为形式语言的谓词逻辑 ——谓词逻辑的证明论 ————自然演绎规则 ——谓词逻辑的语义 ——谓词逻辑的不可判阅读全文

posted @ 2023-07-24 15:53 一条咸得发慌的鱼阅读(53) 评论(0) 推荐(0) 编辑