离散数学大学课程课件。第一章命题逻辑；第二章谓词逻辑；第三章集合论；第四章二元关系；第五章函数；第六章代数系统。