离散数学速记折（上）

　　上
　　命题逻辑：联结词真值表、等值式、推理理论
　　一阶逻辑：个体词、谓词、量词、解释、分类、一阶逻辑等值式、前束范式、推理理论
　　集合论：集合运算、运算律、文氏图、容斥原理
　　二元关系
　　函数
　　二元运算
　　代数系统
　　下
　　几个典型代数系统：群、环、域、格、布尔代数
　　图的基本概念
　　四种特殊图：二部图、euler图、hamilton图、平面图
　　树：无向树、有向树特例根树、生成树、带权图、求基本回路及割集系统、求最小生成树的kruska，算法、求最优二元树的huffman算法、求最佳前缀码、访问二叉树

　　    任现淼，
　　    940年6月出生，河北辛集人，毕业于哈尔滨军事工程学院.中国运载火箭技术研究院教授。代表著作《离散数学讲义》（获航天部部级优秀教材一等奖）、《标准大气》（译著，科学出版社，1982年，以此制定的国家标准“GB1920-80”获航天部1983年重大科研成果奖）、《大学生学习方法》（宇航出版社，1985年）、《数学定义、定理、公式记忆手册》（学苑出版社，1991年）、《趣味数学365》（北京广播学院出版社，1993年）、《新兴学科百方个为什么（数学卷）》（中央民族大学出版社，1994年）、《中学数学、物理、化学记忆手册》（共3册）。（学苑出版社，1994年）、《经济数学基础速查卡》（高等教育出版社，1998年）、《计算机数学基础》（上、下册）（中央广播电视大学大本教材）（中央广播电视大学出版社，1999、2000年）、《大学数学折子系列》（共5册）（清华大学出版社，2008－2010年）。

　　    本折是“离散数学”课程的配套教材，也是“大学数学折子系列”之一。
　　    由于本课程内容多、抽象且不易记忆等特点，故本折设计时力求做到：简单精练、重点突出、易于理解且便于携带。
　　    本折包含了教材中出现的主要定义、定理、性质、公式和方法，以及它们之间的逻辑关系，使教材由厚变薄，使学生通过反复查阅，强化记忆，便捷地达到掌握教学内容的效果。