- 1、本文档共40页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Lu Chaojun, SJTU Lu Chaojun, SJTU 离散数学 课程介绍 Lu Chaojun, SJTU * Lu Chaojun, SJTU * * 教师信息 主讲 陆朝俊(电信学院计算机科学与工程系) 电子邮箱: lu-cj@ 教学资料: :990/lu-cj 用户/密码:lucj/public 办公室: 电院楼群3-525 助教 Lu Chaojun, SJTU * Lu Chaojun, SJTU * 教材和参考书 教材 《离散数学》 董晓蕾,曹珍富编著 机械工业出版社,2009. 参考书 Discrete Mathematics and Its Applications,第5版 K. Rosen 机械工业出版社,2003. Lu Chaojun, SJTU Lu Chaojun, SJTU * Lu Chaojun, SJTU * * 讲授内容 第一篇:数理逻辑 第1章:命题逻辑 1.9不做要求 第2章:谓词逻辑 2.4.1不做要求 第五篇:图论 第11章:无向图 第12章:平面图与着色 第13章:有向图 第14章:树 离散数学精品课程网站 /dm/ Lu Chaojun, SJTU * Lu Chaojun, SJTU * * 什么是离散数学? 离散数学(discrete mathematics)是研究离散对象的数学分支. 离散:由分离的元素组成.如自然数集,学生集合. 相对应的是连续对象. 如实数集. 微积分就是研究连续函数的数学分支. 内容包括: 集合,关系,函数 见本教材第二篇,建议不熟悉的同学自己阅读 数理逻辑 图论 抽象代数 组合数学, …… Lu Chaojun, SJTU * Lu Chaojun, SJTU * 为什么学离散数学? 提高数学论证和求解能力 培养抽象思维能力和逻辑推理能力 是计算机科学和技术的数学基础 数据结构,算法,数据库理论,自动机理论,形式语言,编译理论,计算机安全,操作系统,人工智能,数字电路 也是运筹学,化学,工程,生物学等很多领域的数学基础 * 数理逻辑 简介 Lu Chaojun, SJTU * Lu Chaojun, SJTU * 为什么要学逻辑? 思维必须符合规律才不会导致谬妄. 推理是获得知识的一种途径 逻辑研究怎样的推理是可靠的. 逻辑还研究一组知识是否协调(一致,相容). 各门科学都是在特殊领域的思维推理活动,故逻辑是一切科学的公共基础. Geology, biology, physiology, … 逻辑思维能力是学习、工作乃至日常生活中的重要能力. * Lu Chaojun, SJTU * Lu Chaojun, SJTU * 形式逻辑 形式逻辑(formal logic)研究推理的形式,推理有效性由形式而非内容决定. 例:“所有A是B,所有B是C,故所有A是C”是正确的推理形式,把ABC换成任何具体对象都有效. 但“我喜欢吃辣,也喜欢吃鱼,故我喜欢吃辣子鱼”恐怕就不能得出一般的形式. * Lu Chaojun, SJTU * Lu Chaojun, SJTU * 数理逻辑 符号逻辑(symbolic logic):对逻辑推理的形式特征进行符号抽象. 使用人工符号语言. 分为命题逻辑和谓词逻辑. 数理逻辑(mathematical logic):是符号逻辑及其在其他数学领域的扩展. 四论:集合论,模型论,递归论,证明论 或说:符号逻辑=数理逻辑 * Lu Chaojun, SJTU * Lu Chaojun, SJTU * 数理逻辑发展简史 逻辑发展史中的里程碑人物 亚里士多德 莱布尼茨 布尔 弗雷格 希尔伯特 罗素 哥德尔 * Lu Chaojun, SJTU * Lu Chaojun, SJTU * 古典逻辑 亚里士多德的三段论(syllogism) 从两个前提推出一个结论的逻辑论证形式: 1.大前提(major premise) 人都是两足动物 2.小前提(minor premise) 希腊人都是人 3.结论(conclusion) 希腊人都是两足动物 斯多葛学派(Stoics)的命题逻辑 芝诺(Zeno of Citium)于301BC创立 克吕希波(Chrysippus)大大发展了Stoic logic * Lu Chaojun, SJTU * Lu Chaojun, SJTU * 亚里士多德 Aristotle (384BC-322BC) 形式逻辑的奠基人 第一个逻辑学家 第一个形式演绎逻辑系统:三段论 三段论是传统演绎推理的核心,在西方逻辑中一直处于统治地位,直至19世纪被数理逻辑(一阶谓词逻
文档评论(0)