绪论 离散数学课件.pptVIP

Lu Chaojun, SJTU * Lu Chaojun, SJTU * 数理逻辑与计算机科学 计算机?图灵机 计算机能做什么,算法是什么?可计算性理论 计算机不能做什么? 算法不可解问题 逻辑程序设计(Prolog) ?谓词逻辑 程序设计语言的语义学?模型论 形式规格说明与程序验证?模型论 AI,知识表示,自动定理证明 ? 逻辑演算 从形式证明产生程序 ? 证明论(Gentzen) …… * Lu Chaojun, SJTU * Lu Chaojun, SJTU * 戴克斯特拉 Edsger Wybe Dijkstra (1930-2002) 最伟大的计算机科学家(之一?) “搞了这么多年软件,错误不知犯了多少,现在觉悟了.我想,假如我早年在数理逻辑上好好下点功夫的话,我就不会犯这么多的错误,不少东西逻辑学家早就说了,可我不知道.要是我能年轻二十岁的话,就要回去学逻辑.” 成就很多,如Dijkstra最短路径算法(见教材11.5) EWD手稿:/users/EWD/ * 图论 简介 Lu Chaojun, SJTU * Lu Chaojun, SJTU * 什么是图论? 图论(graph theory)研究图,即由顶点和边构成的数学结构. 不关心顶点位置和边的曲直长短,只关心有多少顶点以及边连接的是哪些顶点. * 图论起源 欧拉(Euler)于1736年解决K