多学旁学院公告栏

多学旁一直秉承免费开放高质视频教程为全国各地（含台湾地区）提供免费在线视频教程学习！由于带宽费用较高，难以承担高昂的视频带宽费用同时也考虑到学员在线学习的麻烦，决定逐步恢复视频教程免费下载学习观看，以便给广大自学爱好者更好的学习体验^_^。

视频下载方法：课程内容页相关下载处下载，课程如果没有提供下载链接！请留言通知我们：留言

多学旁课堂2016年9月23日

数理逻辑

（人评价）

课时：(40)
学员：(7)
浏览：(10)
收藏课程

简介
课时(40)
评论(0 )
相关下载
加入课程

课程简介

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。利用计算的方法来代替人们思维中的逻辑推理过程，这种想法早在十七世纪就有人提出过。莱布尼茨就曾经设想过能不能创造一种“通用的科学语言”，可以把推理过程象数学一样利用公式来进行计算，从而得出正确的结论。由于当时的社会条件，他的想法并没有实现。但是它的思想却是现代数理逻辑部分内容的萌芽，从这个意义上讲，莱布尼茨的思想可以说是数理逻辑的先驱。1847年，英国数学家布尔发表了《逻辑的数学分析》，建立了“布尔代数”，并创造一套符号系统，利用符号来表示逻辑中的各种概念。布尔建立了一系列的运算法则，利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础。