数理逻辑-Mathematical Logic
Course ID：
00130730
Credits：
3
Department：
数学科学学院
Introduction in Chinese：
数理逻辑是一个基础学科，一门本科生（研究生可选）必修基础课程，旨在讲授数理逻辑的基础。本课程主要内容是一阶逻辑演算，包括命题逻辑，一阶（谓词）逻辑和基本数学系统等。适用于数学专业，信息科学专业，计算机科学专业和哲学专业的学生。本课程内容参见讲义。
Introduction in English：
Mathematical logic is a fundation of mathematics and computer science, and foundation course for the students of mathematics and computer science. The content of this course includes propositional logic, first-order (predicate) logic and basic mathematical systems.
