绪论一、离散数学的主要内容二、离散数学的学习方法一、离散数学的主要内容离散数学是现代数学的一个重要分支,是计算机科学基础理论的核心课程,其内容一直随着计算机科学的发展而不断地扩充与更新,它所研究的对象是离散数据结构及相互关系,由于数字电子计算机是一个离散结构,它只能处理离散的或离散化了的数量关系,因此,无论计算机科学本身,
还是与计算机科学及其应用密切相关的现代科学研究领域,都面临着对离散结构建立相应的数学模型,再将已知连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理,在计算机科学中由于普遍采用了离散数学中的基本概念、基本思想和基本方法,从而使离散数学成了不可或缺的理论工具,
一、离散数学的主要内容离散数学的主要内容包括数理逻辑、集合论、代数系统、图论及组合数学等,离散数学不仅为数据结构、操作系统、编译原理、算法分析、人工智能、形式语言与自动机提供了重要的数学理论基础,而且通过对它的学习可以使我们熟悉和习惯抽象的符号表示和演算形式,培养和训练我们掌握使用数学语言或符号系统处理问题的基本方法,提高我们的抽象思维和逻辑推理能力,
一、离散数学的主要内容在数理逻辑中,介绍了命题、命题公式、谓词、量词、
变元的约束、谓词公式、重言式、等价式等基本概念,以及命题逻辑与谓词逻辑的关系,能够利用真值表、等价式推理规则进行逻辑推理,并熟练掌握常用的推理方法,在集合论中,掌握集合的运算和规则、序偶和笛卡尔乘积、
关系的表示、关系的运算,了解等价关系、相容关系、序关系以及函数和集合中基数的概念,在代数系统中,掌握抽象代数的运算和性质、两个代数系统间的同态和同构关系,在图论中,在重点掌握图论基本概念的基础上,提高利用图论的方法进行论证和给出解决实际问题算法的能力,
通过本课程的学习,使学生能得到严格的逻辑推理与抽象思维能力的训练,了解数学中的抽象思维与计算机科学实践之间的内在联系,不仅为专业后继课程的学习作准备,
而且为计算机教育打好数学基础,
通过本课程的学习,应达到知识和能力两方面的目标:
1.知识方面系统地学习数理逻辑中的基本命题逻辑和谓词逻辑,
基本掌握推理的形式结构和推理的规律,学习集合论中的集合的基本表示和性质、二元关系和函数的基本概念,学习代数系统中的代数结构及其同态与同构的概念,初步掌握用抽象的方法了解对将要处理的数学对象集合上的关系或运算,为刻画抽象数据结构打下基础,学习图论的基本概念及其应用,为后继课程的学习打好基础,
2.能力方面培养学生的数学思维能力,通过教学,最终使学生能够找出最重要的概念、最根本的定理,将这些少量的概念和定理能够透彻地理解,自如地运用,就达到了掌握离散数学的教学要求,
二、离散数学的学习方法端正学习态度,寻求学习动力从严格的数学定义出发建立概念先读书,再作题,作题时注重积累,读书时追求细腻