数理逻辑在线学习

数理逻辑

主讲:王捍贫

院校:北京大学

评分:顶(1)踩(0)

播放组:优酷视频

数学热门课程

数理逻辑 课程介绍

      本课程为北京大学数理逻辑视频教程,全套课程共41学时,由壹课堂网整理免费共享。

      数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。

友情提示:壹课堂,最全面的大学课程教学视频网站,全学科覆盖,为您提供最全面的网络学习空间。

版权声明:本网站为非赢利性站点,本网站所有内容均来源于互联网相关视频站点,相关链接已经注明来源。