[理学]离散数学李盘林版第一到5章.ppt

1 离散数学的内容 数理逻辑 集合论 图论 代数结构 数理逻辑 数理逻辑又称符号逻辑、数学逻辑 ,是用数学方法研究符号化、形式化的逻辑演绎规律的数学分支。 数理逻辑的主要分支包括：逻辑演算(包括命题演算和谓词演算)、模型论、证明论、递归论和公理化集合论。 数理逻辑简史 数理逻辑是古典逻辑的发展, 古典逻辑又称形式逻辑，从亚里士多德的三段论起已有2000多年的历史。古典逻辑分析语言所表达的逻辑维形式。但人们的语言中常有含糊不清不易判别的语句引起歧义，甚至争论。 17世纪德国哲学家、数学家G.W.莱布尼兹提出用数学符号式的“通用语言”来进行思维演算，使人们能够证明思维的正确性，从而避免争论，这是数理逻辑最早的萌芽。 数理逻辑简史 到19世纪初英国数学家G.布尔终于成功地构造了一种思维的代数，后来被称为布尔代数，初步实现了莱布尼兹的部分设想，又经过不少数学家的努力，布尔代数被发展为具有逻辑蕴涵式的命题演算，成为最简单的公理化的逻辑系统。 布尔同时代的英国数学家A.德·摩根，采用符号表示命题中的谓词，使数学中的“关系”，“函数”都可以在逻辑命题中出现，加强了逻辑的表现力。 经过G.弗雷格等数学家的改进，最终建立了公理化的谓词演算，成为数理逻辑的基