第一章命题逻辑(1,2,3).ppt

离散数学
Discrete Mathematics
主讲教师
王卫苹
电话:62332931
邮箱:shiya666888@
办公地点:信息机电楼728室
课程简介
现代数学重要分支
以研究离散量的结构和相互间的关系为主要目标。
信息类学科基础理论的核心课程。
是数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析等课程必不可少的先行课程。
培养缜密思维,提高综合素质。
主要内容
数理逻辑
命题逻辑、一阶谓词逻辑
集合论
集合及其运算、二元关系与函数
代数结构
代数系统的基本概念、群、环、域、格与布尔代数
图论
图的基本概念、欧拉图与哈密顿图、树、平面图
数理逻辑和集合论作为两块基石奠定了离散数学乃至整个数学理论的基础,在上面生长着代数结构、序结构、拓扑结构和混合结构,这四大结构涵盖与生长出许多数学分支,同时各分支间交叉融合,又形成了许多新的数学分支,形成了庞大的数学体系。
拓扑结构
混合结构
序结构
代数结构
数理逻辑
集合论
教材介绍
教材名称:离散数学
编著者:杨炳儒,谢永红,刘宏岚,洪源,罗熊.
高等教育出版社
教材特色:
本教材以认知结构教学论(亦称KM教学论)基本内涵为贯穿,即“双图融合”的教学机制;“教学回路”的教学模式;“立体结构”的教学内容;“三段论式”的教学方法。
具有全新的模式与体例,其演绎铺展的路径如下:
全书概述---篇引论(树形类化图)-----章粗概图-----章应用概图-----按节展开(核心知识点;嵌入思维形式注记图;每节小结)-----章习题类化(常见题典型解析)-----章知识逻辑结构图-----扩展阅读------习题------篇知识逻辑结构图。
参考资源
屈婉玲,
左孝陵,
中国高校计算机课程网离散数学课程讨论/computer/html/lssx/
成绩评定
平时成绩(30%)+考试成绩(70%)
平时成绩组成:
上课出勤
作业
第一篇数理逻辑
Mathematical Logic
什么是数理逻辑
数理逻辑是用数学方法来研究推理规律的数学学科。
主要研究内容:推理
着重于推理过程是否正确
着重于语句之间的关系
主要研究方法:数学的方法
引进一套符号体系的方法。
所以数理逻辑又称符号逻辑。
与计算机科学的联系
计算机及计算机科学与数理逻辑有着十分密切的关系。人们说数字电子计算机是数理逻辑与电子学结合的产物。