a|b表示a整除b,等价于存在c使得b=ac,这里a、b、c均是整数,
a=b当且仅当2|(a-b)。
即等价于a、b关于模2同余,或a、b用2除余数相同或2整除a、b之差。
通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
离散数学的学科内容:
1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。
2、图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。
3、代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。
4、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。
5、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理。
参考资料来源:百度百科-离散数学
通常在数学上用a|b表示a整除b,等价于存在c使得b=ac,这里a,b,c均是整数,
应该是a=b当且仅当2|(a-b)。
即等价于a,b关于模2同余,或a,b用2除余数相同或2整除a,b之差.