南京大学：《计算机问题求解》课程教学资源（课件讲稿）什么样的推理是正确的

计算机问题求解-论题1-2 一什么样的推理是正确的？ Logic-The discipline that deals with the methods of reasoning

计算机问题求解-论题1-2 --什么样的推理是正确的？ Logic--The discipline that deals with the methods of reasoning

计算机解题与数学 * 对问题的理解必须用严格的数学语言描述。 *其前提是必须建立问题的数学模型。 *可用的数学模型必须是计算机能对其进行操作的。 *让计算机能理解的解题plan必须建立在严密的数学基础上 *将plan表示为计算机能执行的“指示”的语言必须建立在严密的数学基础上 *分析计算机计算的结果必须使用数学方法： *用逻辑证明结果正确； *动用必要的数学手段分析解法的效率

计算机解题与数学  对问题的理解必须用严格的数学语言描述。  其前提是必须建立问题的数学模型。  可用的数学模型必须是计算机能对其进行操作的。  让计算机能理解的解题plan必须建立在严密的数学基础上  将plan表示为计算机能执行的“指示”的语言必须建立在严密的数学基础上  分析计算机计算的结果必须使用数学方法：  用逻辑证明结果正确；  动用必要的数学手段分析解法的效率

命题符号化及其逻辑代数推演 We know that Bill,Jim and Sam are from Boston,Chicago and Detroit,respectively.Each of following sentence is half right and half wrong: Bill is from Boston,and Jim is from Chicago. Sam is from Boston,and Bill is from Chicago. Jim is from Boston,and Bill is from Detroit. Tell the truth about their home town

命题符号化及其逻辑代数推演 We know that Bill, Jim and Sam are from Boston, Chicago and Detroit, respectively. Each of following sentence is half right and half wrong: Bill is from Boston, and Jim is from Chicago. Sam is from Boston, and Bill is from Chicago. Jim is from Boston, and Bill is from Detroit. Tell the truth about their home town

寻找答案 *尽可能精确的表述问题 *例如：采用符号，用P *尽可能列出已经确定的信息，例如 *如果Bil来自波士顿，Jim就不会来自波士顿 *如果Sam来自波士顿，那么Bi训就不会来自芝加哥 剩下的是就是：“猜”+“推理

寻找答案  尽可能精确的表述问题  例如：采用符号，用P  尽可能列出已经确定的信息，例如  如果Bill来自波士顿，Jim就不会来自波士顿  如果Sam来自波士顿，那么Bill就不会来自芝加哥  ……  剩下的是就是：“猜”+“推理

可能的推理过程 如果第一句话的前半句是正确的，那么： 米〉 *Bill来自波士顿and *im不是芝加哥人and *Jim也不是波士顿人and *Bi训就是底特律人 *因此矛盾； *因此，Jim一定是芝加哥人=》Sam是波士顿人=》Bi训是底 特律人

可能的推理过程  如果第一句话的前半句是正确的，那么：  Bill来自波士顿 and  Jim不是芝加哥人 and  Jim也不是波士顿人 and  Bill就是底特律人  因此矛盾；  因此，Jim一定是芝加哥人=》Sam是波士顿人=》Bill是底 特律人