第一篇 集合论.pptVIP

问题三： 某件事情是甲、乙、丙、丁四个人中的某个人干的。询问四人回答如下： 甲说是丙干的； 乙说我没干； 丙说甲讲的不符合事实； 丁说是甲干的。 如果有三个人讲真话，有一个人在说谎。问这件事情到底是谁干的? 问题：让计算机来判断（表示、推理） ？ * 离散数学主要内容 集合 关 系 函 数 数 理 逻 辑 代 数 系 统 图 论 离散建模 * 二 离散数学与其它专业课的关系 离散数学 对应专业课程 集合 形式语言、编译技术、计算复杂性、 软件形式化方法 关系 关系数据库 函数 算法设计与分析、软件形式化方法 图 数据结构、网络技术 算法设计与分析、人工智能 * 离散数学 对应专业课程 树 数据结构、网络技术、 算法设计与分析 计数技术 算法设计与分析、计算复杂性、 编码 数理逻辑 人工智能、形式语义学 代数系统 数字电路设计、密码学、