关闭清空全部浏览记录
QQ登录
微信登录
QQ注册
微信注册
已有6,718,781人加入外唐网
微信扫码登录
我已阅读并同意 《外唐网网络服务使用协议》
手机号注册
我已阅读并同意 《网络服务使用协议》
设置密码
本课程为北京大学数理逻辑视频教程,全套课程共41学时,由外唐网整理免费共享。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
正在加载二维码...