重磅推荐
任现淼， 940年6月出生，河北辛集人，毕业于哈尔滨军事工程学院.中国运载火箭技术研究院教授。代表著作《离散数学讲义》（获航天部部级优秀教材一等奖）、《标准大气》（译著，科学出版社，1982年，以此制定的国家标准“GB1920-80”获航天部1983年重大科研成果奖）、《
【目录】
上
命题逻辑：联结词真值表、等值式、推理理论
一阶逻辑：个体词、谓词、量词、解释、分类、一阶逻辑等值式、前束范式、推理理论
集合论：集合运算、运算律、文氏图、容斥原理
二元关系
函数
二元运算
代数系统
【内容简介】
本折是“离散数学”课程的配套教材，也是“大学数学折子系列”之一。
由于本课程内容多、抽象且不易记忆等特点，故本折设计时力求做到：简单精练、重点突出、易于理解且便于携带。
本折包含了教材中出现的主要定义、定理、性质、公式和方法，以及它们之间的逻辑关系，使教材由厚变薄，使学生通过反复查阅，强化记忆，便捷地达到掌握教学内容的效果。
