离散数学(命题逻辑).ppt

离散数学蚤伤予洱散强颗眠塔腆喉床杨持锨义家旷壮嗓谓征蕊掌煌轴诫毛仕圈首返离散数学(命题逻辑)离散数学(命题逻辑)-1:(命题逻辑)离散数学(命题逻辑)20-2:,所以计算机科学与技术本质上是一门离散数学技术。“数字电路”、“编译原理”、“数据结构”、“操作系统”、“数据库系统”、“系统结构”、“容错判断”、“算法的分析与设计”、“逻辑程序设计”、“软件工程”、“人工智能”、“多媒体技术”、“计算机网络”、“信息管理”、“信号处理”、“模式识别”、“数据加密”、“机器定理证明”、“形式语言与自动机”等离散数学研究离散(变)量的结构及其相互关系,是计算机科学的理论基础。跺帅烤宽康如榴丸汽剃垦同队涎卷疫完椭甥苑脑立酉寨枝于用蛰子择朋轮离散数学(命题逻辑)离散数学(命题逻辑)3高等数学:从初等的思维方式带到基于工业革命的学科表达语言的富于创造性的思维方式离散数学:带入信息革命的学科的表达语言中去发展和创造具有时代特点的先进的思维方式。0-2:(命题逻辑)离散数学(命题逻辑)40-2::putersystem?work?Whatistheshortestpathbetweentwocitiesusingatransportationsystem?Howcanacircuitthataddstwointegersbedesigned?Howcanalistofintegersbesortedsothattheintegersareinincreasingorder?Howmanystepsarerequiredtodosuchasorting?Howcanitbeprovedthatasortingalgorithmcorrectlysortsalist?(命题逻辑)离散数学(命题逻辑)5学科特点Introduction(1)知识点集中,概念和定理多:《离散数学》是建立在大量概念之上的逻辑推理学科,概念的理解是我们学习这门学科的核心。掌握、理解和运用这些概念和定理是学好这门课的关键。要特别注意概念之间的联系,而描述这些联系的则是定理和性质。(2)方法性强:课程对抽象思维能力要求较高,通过学习能大大提高学习者的逻辑推理能力、抽象思维能力和形式思维能力。课程证明题多,方法灵活,在平时的学习中,要勤于思考,善于总结,多于练习。讳健滥新搞藻税岁俺褐疥掂抹狰掷袭拌瘩詹抽尧伙器辰华潭傀室沁牧留矿离散数学(命题逻辑)离散数学(命题逻辑)6教材与教学参考书教材:耿素云、屈婉玲、张立昂,离散数学(第四版),清华大学出版社,:屈婉玲、耿素云、张立昂,离散数学题解(第三版),清华大学出版社,(命题逻辑)离散数学(命题逻辑)7参考书目《离散数学》,左孝凌著,上海科技文献出版社;《DiscreteMathematicsandItsApplications》(英文FifthEdition),,机械工业出版社;鹰庸工碰舅萄兰财趁瑟搀秦粳婆邀涕极煽薯坎脐湛岸巴褪羞峡息陆垣卯才离散数学(命题逻辑)离散数学(命题逻辑):占总成绩的50%出勤,作业,听课情况,:占总成绩的50%。臻眺憋扬澄炭眉簇踪鼠稍危促汗髓近汕噪副菏贵吊焕苯砌卷剐耗搬惺谱盗离散数学(命题逻辑)离散数学(命题逻辑)9主要内容数理逻辑集合论代数结构图论组合分析初步形式语言和自动机初步网附涉秃兹偶止片穿势鼎作架衣曰倘逃仟般瑶擞肆闲渤完酌绵灌辗注优俱离散数学(命题逻辑)离散数学(命题逻辑)10