您的位置：
《数理逻辑05-06》
（提示：如果视频分为多个小段，请下载后用视频合并软件合并。）序号选择视频教程名称大小操作
本课程为北京大学数理逻辑视频教程，全套课程共41学时，由外唐网整理免费共享。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。