郭云莲，天津工业大学副教授，离散数学、运筹学教师，从事大学数学课程一线教学工作19年，主讲的离散数学及运筹学课程深受欢迎，讲课风格细致入微，表达清晰。离散数学，考点1 命题符号化及联结词、考点2 命题公式及分类、考点3 等值演算。未经高等教育出版社书面许可，谢绝转载。