离散数学演示课件Thefirstcourse.pptVIP

《集合论与数理逻辑》 概 述 　关于这门课程，有两点要提醒大家注意的： 本身比较抽象，概念多，比较枯燥，内容一环扣一环，难学好。 要学好也不难。建议各位上课认真听讲，踏踏实实地学好每一个基本概念，基本内容，这样课后就不用花太多的时间复习。 作业建议独立完成，不会解答的可以讨论，但不可以不做，一定要向别人请教，直到弄懂为止。千万不要抄作业！ 说　明 总学时：64学时 本课程为考试+限选科目 答疑时间：每周一晚上，17:30—19:00 答疑地点：行政南楼432室 总评成绩：平时成绩占10%，期中考试占20%，期末考试成绩占70%。（每周上课后交作业） 教学网站的选课密钥是 discrete 例2：他虽聪明但不用功。 　　这里原子命题也是P.Q.　联结词“虽…但”也是“与”，所以公式应为： P　　　Q。 例3：如果明天上午七点不下刀子，则我去学校。 　　P：明天上午七点下刀子；Q：我去学校。“如果…则”与“若，则”一致，所以公式为： 　　P　　Q。 例4：除非你努力，否则你将失败。 　　P：你努力；Q：你将失败。“除非…否则”相当于“如果不…那么…”，所以译为：　 　　　P　　Q　　　　Q　　P * 南京邮电大学计算机学院 江苏省无线传感网高技术研究重点实验室 My E-mail: hhp@ 教学网站： 黄 海 平 教材：《离散数学》左孝凌 编著 　 主要参考书： （1）上海科技文献出版社 《离散数学 理论.分析.题解》 左孝凌等编著 （2）清华大学出版社 《离散数学学练考全面冲刺》 王海艳编著 （3）清华大学出版社 《离散数学习题与解析》 胡新启等编著 （4）高等教育出版社 《离散数学及其应用》第五版影印版 Discrete Mathematics and Its Applications Kenneth H. Rosen 等著 说　明 离散数学是现代数学的一个重要分支，是计算机科学中的基础课程，它具有两个特点： (1)以离散量为研究对象，以讨论离散量的结构和相互之间的关系为主要目标，这些对象一般是有限个或可数个元素，充分描述了计算机科学离散性的特点，与我们以前学过的连续数学如高等数学、数学分析、函数论形成了鲜明对比。 (2)它是数学中的一个分支，因而它有数学的味道，比如用一些符号、引进一些定义、运用定理推导等等。因而学习离散数学，对提高我们的抽象能力，归纳能力、逻辑推理能力将有很大帮助。 离散数学的内容很多，由于学时有限，我们只介绍其基本内容：数理逻辑、集合论、代数结构与希尔代数，图论与代数系统。 课程简介 　　　　　　　　　第一篇数理逻辑 逻辑学是研究思维形式和规律的科学。它包括辨证逻辑和形式逻辑。而数理逻辑是：用数学方法来研究形式逻辑的推理规则。这里所指的数学方法，就是指引进一套符号体系，所以又称为符号逻辑。下面介绍数理逻辑的最基本的内容：命题逻辑和谓词逻辑。 第一章 命题逻辑 1-1 命题及其表示法 所谓命题是指能够判别真假的陈述句。一个命题，总是具有一个确定的“值”，称之为“真值”。一种是True,记为T，另一种是False,记为F。只有能够判别真假的陈述句才是命题。 例（1）：你是小可爱。 这是一个命题 ，其真值为T。 第一篇　　数理逻辑 （4）：本句是假的。 若它是命题，若其值为T，则本句是真的；若说它是假，则本句是真的。这是悖论，不能算是命题。（不能确定真假） （2）：芙蓉姐姐是大美女么？（疑问句） （3）：我勒个去！（感叹句） （5）：我正在说谎。 若它是命题，则应有确定的真值。 若为T，则我确定说谎，我讲的是真话，与说谎矛盾。 若为F，则我不在说谎，我说的是真话，则“我确实是在说谎” 1-1 命题及其表示法 成立，与“不在说谎”矛盾。所以它不是命题，不能确定真假，是悖论。 （6）：X=3 不是命题 不能判断真假。 命题有两种类型。一是原子命题（不能分解为更简单的陈述句）二是复合命题 （由原子命题、联结词和标点符号复合构成的命题） 如：我学英语，或者我学日语。 由两个原子命题，联结词“或者”，标点符号“，”构成。 又如：格格巫和阿滋猫是难兄难弟。 它是原子命题。 关于联结词我们下一节将做详细介绍。 1-1 命题及其表示法 在数理逻辑中，用大写英文字母P，Q，R, …表示命题，或带下标的大写字母如Pi ，P j, …或数字如[