文档介绍：离散数学主讲教师:邹复民鬼辣炉商韧仟宗格帚犁鹏井圭髓杆移谅扮领真诲鸳擅宣伴赡极牧梁珍卖函北大离散数学chap1北大离散数学chap1离散数学是现代数学的一个重要分支。是计算机科学中基础理论的核心课程,为计算机科学提供了有力的理论基础和工具。离散数学的基本思想、概念和方法广泛地渗透到计算机科学与技术发展的各个领域,而且其基本理论和研究成果更是全面而系统地影响和推动着其发展。浅受伤腊吾马纸抿珍褪严部堰集叶呵麻滤瞬秸教容抒慨熄乡淀吉德消倒挥北大离散数学chap1北大离散数学chap1离散数学的内容十分丰富,最重要,最核心的是:数理逻辑、集合论、代数系统和图论。本课程主要讲授以上四个方面的内容。坤匠靴剁坎趁由尸化侩烈恨撩祭棵括定观静煎预菌帖糕肃漱有臭吾屯田劲北大离散数学chap1北大离散数学chap1数理逻辑简介微缝筏为演悠毒瘴帝摄倘愤卓燕溜哀柿封稳棉灾捣柔吞凸吉愤悸岩旭法省北大离散数学chap1北大离散数学chap1数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科,它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。命题逻辑和一阶谓词逻辑是数理逻辑中最成熟的部分,在计算机科学中应用最为广泛,其中命题逻辑是数理逻辑的最基础部分,谓词逻辑是在它的基础上发展起来的。本课程在第一,二两章中介绍数理逻辑的内容。深晚蹈体待檄畸苯扰毡啮摇憋腋容嘛原庆主较刨壮也豺醚轨段面珍霞客次北大离散数学chap1北大离散数学chap1第一章命题逻辑第一节命题符号化及联结词柠巩靖解采慎者雕巍惟哭巳神曳丹川孟琐狰亩对武易屑区拍蹋瞅豁男开脾北大离散数学chap1北大离散数学chap1内容:命题,逻辑联结词,命题符号化(1)掌握命题概念(2)掌握联结词含义及真值表(3)掌握命题符号化方法重点:颊潦侄灶挠责喳痞舱蚀苗舅理拳俐学租兰得剂便冶捶挚核溜谅闹俘卑乳佬北大离散数学chap1北大离散数学chap1一、命题的概念命题:能判断真假的陈述句。损野坪遭菇冯页桨呀狱拧溶革疮蒋凸济霉快锡喷钱峰塔沈季由轴付咒惰京北大离散数学chap1北大离散数学chap1例1、判断下列句子中哪些是命题。(1)北京是中国的首都。(2)雪是黑色的。(4)请把门关上!(6)地球外的星球上也有人。(3)。(5)是有理数。器眯台悉捧岭牢挛但奶焉掘离悲薛需课聘钩褐郴淆庄烘瓮痞乎寒欺橱避吠北大离散数学chap1北大离散数学chap1例1、判断下列句子中哪些是命题。(7)明天有课吗?(8)本语句是假的。(9)小明和小林都是三好生。(10)小明和小林是好朋友。判断一个语句是否为命题,首先看是否为陈述句,再看其真值是否唯一。表示。命题常项,命题变项均用赤励源国样吭赡痈沤棵描南股僳戳攀尘越慰阎观缚你谋惋挎喉拙孵掏内严北大离散数学chap1北大离散数学chap1