格是用来表达对象之间关系的,因此关于格还需要从对象元素的内在关系来理解,如包含关系、子集与诸子集关系、命题的蕴含关系,但又不是所有的两两对象都能有这种关系,所以偏序关系用格来限量研究它的对象关系的性质和作用。如求解一个群部分与子群的部分的关系就是求格,求的是什么情况下群的部分即是子群的上确界或下确界,又和子群集有着特殊的共性关系。
1.集合论部分: 集合及其运算、 二元关系与函数、 自然数及自然数集、集合的基数;
2.图论部分:图的基本概念、 欧拉图与 哈密顿图、树、图的 矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用;
3.代数结构部分:代数系统的基本概念、 半群与 独异点、 群、 环与 域、 格与 布尔代数;
4.组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理;
5.数理逻辑部分: 命题逻辑、一阶谓词演算、消解原理。
一、解释:
离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素,主要是研究基于离散量的结构和相互间的关系,其对象一般是有限个或可数个元素。离散数学在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。
二、应用:
1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。
2、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。
3、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。
4、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理。
更多精彩资讯请关注微经验,我们将持续为您更新最新资讯!
上一篇: 电脑怎么压缩文件发微信 下一篇: 活螃蟹怎么蒸