中央财经大学离散数学课件-第1章命题逻辑.pdfVIP

中央财经大学 离散数学 离散数学 任课教师： 孙 博 任职单位： 中央财经大学统计与数学学院 联系方式： caijingdaxuesunbo@163.com 2022年5月10日星期二 中央财经大学 线性代数教案孙博 绪论 --第3页-- 离散数学 （Discrete mathematics) 是研究离散的结构 及其相互关系的数学学科，是线代数学的一个重要分支。 它在各学科领域特别在计算机科学与技术领域有着广泛的应用。 同时，离散数学也是计算机专业的许多专业课程，如： 程序设计语言，数据结构，操作系统，编译技术，人工 智能，数据库，算法设计与分析，理论计算机科学基础 等必不可少的先行课程。 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 序言部分 --第4页-- 离散数学 （Discrete mathematics) 是现代数学的 一个重要分支，是计算机类专业的重要课程。 它以研究离散量的结构及其相互间的关系为主要 目标， 其研究对象一般是有限个或可数个元素，因此离散数学 可以充分描述计算机学科离散性的特点。 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 序言部分 --第5页-- 离散数学课程所传授的思想和方法，广泛的体现在 计算机科学技术及相关专业的诸领域， 从科学计算到信息处理， 从理论计算机科学到计算机应用技术， 从计算机软件到计算机硬件， 从人工智能到认知系统， 无不与离散数学密切相关。 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 序言部分 --第6页-- 数字电子计算机是一个离散结构，它只能处理离散 的或离散化了的数量关系。 因此，无论计算机科学本身还是与计算机科学及其 应用密切相关的现代科学研究领域，都与离散数学的学 习和研究分不开。 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 序言部分 --第7页-- 为什么离散数学在计算学科的知识掌握 中有着举足轻重的意义呢? 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 序言部分 --第8页-- 计算学科 （Computing Science ）即我们所熟悉的计算机 科学与技术(Computer Science and Technology)。 计算学科是对描述和变换信息的算法过程，包括其理论、 分析、设计、效率分析、实现和应用等进行的系统研究的一门 学科。 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 序言部分 --第9页-- 计算学科的基本问题是能行与效率的问题, 即它的核心问题是“能行”问题(Practicability)： 1) 什么是 （实际）可计算的？ 什么是 （实际）不可计算的？ 2) 如何保证计算的自动性、有效性及正确性？ 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 序言部分 --第10页-- 计算学科作为现代技术的标志，已成为世界各国经济增长 的主要动力。 计算学科诞生于20世纪40年代初，它的理论基础可以说 在这之前就已经建立起来了。正是电子数字计算机的问世才促 进这一门学科的发展。 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 序言部分 --第11页-- 世人一般公认1946年2月14 日研制成功的ENIAC （电子 数字积分器和计算器，Electronic Numerical