离散数加学电子教案.pptVIP

离散数学主要内容 命题逻辑 谓词逻辑 集 合 二元关系 函 数 代数系统 群、环和域 格与布尔代数 图 论 离散数学的后继课程： 数据结构、编译技术、 算法分析与设计、人工智能与机器人、 数据库、网络和计算机图形学…… 教材及参考书 左孝凌等，《离散数学》，上海科学技术文献出版社，1982 同济大学应用数学系《离散数学》编写组，离散数学，统计大学出版社，2003 作业 判断下列命题公式的类型 1）(P→Q) ? (?Q→?P) 2) (?Q→P) → (P→Q) 3) ( (P∨Q)→R) →P 4) (P∧Q) ?P 5) (P→?P)→?P 作业 求主合取范式和主析取范式 1）(?P ∨ ?Q) ∨(P → ?Q) 2) Q ∧ (P ∨ ?Q) 3) P ∨ (?P → (Q∨( ?Q →R))) 4) (P →(Q ∧ R)) ∧(?P → ( ?Q ∧ ?R)) 作业： 1 甲、乙、丙、丁四人参加考试后，有人问他们谁的成绩最好，甲说“不是我”，乙说“是丁”，丙说“是乙”，丁说“不是我”，四人的回答只有一人符合实际，问成绩最好的人是谁？ 2 某科研所要从3名科研骨干A,B,C中挑选出国进修者，由于工作需要，选派时要满足以下条件：