课程
学校
学校云
慕课堂
下载APP
扫码下载官方APP
数理逻辑
分享
课程详情
课程评价
spContent=逻辑是所有数学推理的基础，也是所有自动推理的基础。数理逻辑知识对计算机的设计、软硬件系统规范说明、人工智能、计算机程序设计、程序设计语言以及计算机科学的其他许多研究领域都是非常重要的。另外，本课程中进行的逻辑推理与证明训练，十分有益于培养学习者抽象思维能力、逻辑推导能力、归纳构造能力，十分有益于学习者严谨、完整、规范的科学态度的培养。这些能力与态度是一切计算机科学软、硬件工作者必须具备的。 课程是计算机及相关专业的核心基础课程，在计算机学科的本科课程体系中不需要先修课程，计算机及相关专业本科生必须在低年级选修本课程。任何有志于学习计算机科学知识的学习者，包括中学生，只要具备一定的代数知识，就可选修本课程，就可以进行数理逻辑的推理与证明训练，为后续学习打下坚实的基础。
—— 课程团队
课程概述

       数理逻辑知识的范畴很广，本课程主要学习数理逻辑在离散数学中的部分，是计算机及其相关专业的核心基础课程，目前很多学校都已经单独开课。课程内容包括命题逻辑和谓词逻辑两个部分，均涉及命题逻辑和谓词逻辑的符号化、等价演算、以及推理与证明等。学生者学习后应能对自然语言和各类逻辑问题进行符号化，能对命题公式和谓词公式进行等价变换，能进行命题逻辑和谓词逻辑的推理与证明。本课程为计算机及相关专业中问题的形式化描述、建立数学模型提供方法和思路，学习过程中进行的推理与证明训练对培养学习者逻辑思维能力非常有帮助。

授课目标

目标1：运用命题逻辑和谓词逻辑的符号语言对自然语言（系统规范说明等）或其他逻辑问题进行符号化。

目标2：运用命题逻辑和谓词逻辑中的基本等价形式对公式进行等价演算（求真值、等价证明、化简、求取主范式等）。

目标3：能运用直接证明方法和间接证明法以及基本的推理规则进行命题逻辑和谓词逻辑的推理与证明。

课程大纲
预备知识

无

证书要求

为积极响应国家低碳环保政策， 2021年秋季学期开始，中国大学MOOC平台将取消纸质版的认证证书，仅提供电子版的认证证书服务，证书申请方式和流程不变。

 

电子版认证证书支持查询验证，可通过扫描证书上的二维码进行有效性查询，或者访问 https://www.icourse163.org/verify，通过证书编号进行查询。学生可在“个人中心-证书-查看证书”页面自行下载、打印电子版认证证书。

 

完成课程教学内容学习和考核，成绩达到课程考核标准的学生（每门课程的考核标准不同，详见课程内的评分标准），具备申请认证证书资格，可在证书申请开放期间（以申请页面显示的时间为准），完成在线付费申请。

 

认证证书申请注意事项：

1. 根据国家相关法律法规要求，认证证书申请时要求进行实名认证，请保证所提交的实名认证信息真实完整有效。

2. 完成实名认证并支付后，系统将自动生成并发送电子版认证证书。电子版认证证书生成后不支持退费。


参考资料

《离散数学及其应用》（第3版），傅彦等，高等教育出版社，2019年8月第3版，ISBN: 9787040521528