当前位置:首页  »  数理化生  »  数理逻辑
数理逻辑

数理逻辑视频教程

学校:中科院  
类别:数理化生 计算机        时间:2015-12-28 09:07
教程简介:
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴..查看详细

数理逻辑视频教程播放列表 :

热门教程推荐

最近更新教程

数理逻辑视频教程简介:

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
 
简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。
 
逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。

本站视频教程均从互联网搜索整理而来,本站不提供资源存储,也不参与录制、上传。如有侵权,请附上版权证明邮件告知,在收到邮件后第一时间内删除。邮箱: dxsbb#qq.com (#换为@)

Copyright © 2012-2018 大学生自学网