【工学】01_数理逻辑介绍.pptVIP

数理逻辑 Mathematical Logic 爱因斯坦出的一道题 一个土耳其商人想找一个十分聪明的助手协助他经商，有两人前来应聘，这个商人为了试试哪个更聪明些，就把两个人带进一间漆黑的屋子里，他打开灯后说：“这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的，现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在自己头上，在我开灯后，请你们尽快说出自己头上戴的帽子是什么颜色的。”说完后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来，接着把灯打开。这时，那两个应试者看到商人头上戴的是一顶红帽子，他们互相对视，都不做声，过了一会儿，其中一个人便喊道：“我戴的是黑帽子。”请问这个人说得对吗？他是怎么推导出来的呢？ 问题分析 要回答这样的问题，实际上就是看由一些诸如“商人戴的是红帽子”这样的前提能否推出“猜出答案的应试者戴的是黑帽子”这样的结论来。这又需要经历如下过程： 1 什么是前提？有哪些前提？ ? 2 结论是什么？ ? 3 根据什么进行推理？ 4 怎么进行推理？ 问题分析（续） 第一、二个问题 命题逻辑的基本概念。 第三、四个问题 命题逻辑等值演算； 命题逻辑的推理理论。 什么是数理逻辑 字面含义 数学理论的逻辑。逻辑是研究演绎（推理）规律的学科。 广义理解 用数学方法研究演绎规律的学科。 狭义理解 用数学方法研究数学中演绎规律和数学基础的学科。 研究对象 推理过程中的正确性标准。又称符号逻辑等。 特点与方法 公理化与形式化方法 特制的符号语言 与计算机科学的联系 与其他信息学科的联系 一例 《数字电子技术》中 组合逻辑电路和时序逻辑电路 数理逻辑的知识体系 第一章 命题逻辑基本概念 第二章 命题逻辑等值演算 第三章 命题逻辑的推理理论 第四章 一阶逻辑基本概念 第五章 一阶逻辑等值演算与推理 数理逻辑 的知识体 系（续） Dijkstra算法及其它 Dijkstra算法（最短路径算法） 有向图中任意两个顶点之间的最短路径问题。 1972图灵奖。 Dijkstra的话 “我现在年纪大了，搞了这么多年软件，错误不知犯了多少，现在觉悟了，我想，假如我早年在数理逻辑上好好下点功夫的话，我就不会犯这么多错误，不少东西逻辑学家早就说了，可我不知道。要是我能年轻20岁的话我要回去学逻辑。” [1] M. Y. Vardi, A Brief History of Logic, 2003. 谢 谢 ! * *