第1讲-离散数学省公开课金奖全国赛课一等奖微课获奖PPT课件

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

第一部分 数理逻辑
数理逻辑(Mathematical Logic)又称符号逻辑(Symbolic Logic)是用数学方法来研究推理形式结构和推理规律数学学科。与计算机科学、人工智能、语言学等有亲密联络。有证实论、模型论、递归论、集合论四大分支
本课程介绍数理逻辑最基本内容：逻辑演算中命题逻辑和一阶逻辑
简单历史——三个阶段（一）
1、初始阶段：1660年代—19世纪末将数学应用于逻辑Aristotle：形式逻辑（主词和谓词逻辑）。Leibniz：建立直观而又准确思维演算。遇有争论，双方能够拿起笔来说：让我们来算一下。George Boole: 逻辑代数。De Morgan: 关系逻辑。[1] 王宪钧，数理逻辑引论，北京大学出版社，1982。
简单历史——三个阶段（二）
2、过分阶段：19世纪末— 1940前后逻辑应用于数学非欧几何与公理化方法。微积分与实数理论，Piano算术。集合论与数学基础(1900年世界数学家大会)悖论与第三次数学危机，Hilbert计划。

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：ppt课件 离散数学 一等奖 公开课 ppt

相关内容：离散数学课件ppt