数理逻辑

《数理逻辑》是计算机类专业的核心基础课程，旨在通过系统地介绍命题逻辑、谓词逻辑、形式证明方法以及逻辑推理技术，帮助学生掌握逻辑思维的基本工具和方法。本课程不仅注重理论知识的传授，更强调逻辑思维在解决实际问题中的应用能力，培养学生严谨求真的科学精神与社会责任感。

课程目标：

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

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

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