数理逻辑Mathematical Logic
课程号：
00130730
学分：
3
先修课程：
高等数学
开课院系：
数学科学学院
中文简介：
数理逻辑是一个基础学科，一门本科生（研究生可选）必修基础课程，旨在讲授数理逻辑的基础。本课程主要内容是一阶逻辑演算，包括命题逻辑，一阶（谓词）逻辑和基本数学系统等。适用于数学专业，信息科学专业，计算机科学专业和哲学专业的学生。本课程内容参见讲义。
英文简介：
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.
