新修订高中信息技术课标培训《“谁 在 说 谎”中 的 逻 辑 推 理》.pptx

“谁 在 说 谎”中 的 逻 辑 推 理 案例内容 某地区发生了一桩命案，警官圈定了四名嫌疑人甲、乙、丙、丁，这四人口供如下：甲说：“不是我”，乙说：“是丙”，丙说：“是丁”，丁说：“不是我”。警方确定有一人在说谎，而说谎的这个人就是凶手。设计算法 编程判断 案例分析1意义与作用概念与原理2目标与方法34过程与实施Private Sub Command1_Click()Dim x As Integer, y As IntegerDim a As Integer, b As Integerx = InputBox(请输入头的数量)y = InputBox(请输入脚的数量)a = y / 2 - xb = x - aPrint 鸡的数量是; bPrint 兔子的数量是; aEnd Sub1、数学的“可计算”类问题鸡兔同笼 素数问题 2、需要逻辑推理和深度思考的“非计算”类问题谁在说谎目标与方法过程与实践 逻辑运算是用数学方法研究逻辑问题，通过对非数值表达的客观事物的状态、现象等进行判断来实现推理和演绎。鸡兔同笼问题：已知有35个头，94只脚。 a+b=352a+4b=94 a+b=352a+4b=94设有鸡a只，兔b只 逻辑运算是用数学方法研究逻辑问题，通过对非数值表达的客观事物的状态、现象等进行判断来实现推理和演绎。运算关系与或非值1真0假目标与方法过程与实践 推 理 问 题 逻 辑 运 算 计 算 思 维抽象 量化 建模意义与作用目标与方法过程与实践教学目标（计算思维）（1）了解利用逻辑运算是解决“非计算”类问题的一种思路。（2）能够从实际问题中抽象并量化关键要素，建立数学模型，形成和优化解决方案。（3）有意识地运用计算思维解决问题的能力，能够将计算思维的思想迁移到现实生活中。实用程序思维算法意义与作用目标与方法过程与实践计算思维界定建模教 学方 法讲授法任务驱动法抽象自动化重点量化迁移难点（案例回顾）意义与作用目标与方法过程与实践 某地区发生了一桩命案，警官圈定了四名嫌疑人甲、乙、丙、丁，这四人口供如下：甲说：“不是我”，乙说：“是丙”，丙说：“是丁”，丁说：“不是我”。警方确定有一人在说谎，而说谎的这个人就是凶手。抽象与界定问题意义与作用目标与方法过程与实践界定问题 把复杂的问题划分为具有可操作性的若干个小问题。（1）能否将文字描述进行量化；（2）能否确定量化后的各数据之间的逻辑关系；（3）能否在给定条件下，设计出可以进行逻辑推理的算法；（4）能否编程实现算法，得出正确结果。抽象与界定问题抽象 从问题出发，通过比较、分析、排除无关因素，提取研究对象的重要特征，找到解决问题的关键要素。甲说：“不是我”，乙说：“是丙”，丙说：“是丁”，丁说：“不是我”。有一人在说谎量化 把从实际问题中抽象出来的非数值型特征，如事物的状态、颜色、大小等，转化成为可计算的数据形式，便于计算机处理。姓名符号化甲1乙2丙3丁4口供逻辑关系“不是我”x 1“是丙”x = 3“是丁”x = 4“不是我”x 4凶手x 建立数学模型 通过关键要素间的逻辑关系，用形式化的方法来处理逻辑演算，构建数学模型。姓名编号口供逻辑关系甲1“不是我”x 1乙2“是丙”x = 3丙3“是丁”x = 4丁4“不是我”x 4建立数学模型数 学 模 型（x 1）+（x = 3）+（x = 4）+（x 4）= -3姓名编号口供逻辑关系甲1“不是我”x 1乙2“是丙”x = 3丙3“是丁”x = 4丁4“不是我”x 4True→ -1False→ 0算法设计开始穷举法x = 1 根据数学模型，设计出支持自动化处理的解题步骤。k =（x 1）+（x = 3）+（x = 4）+（x 4）Tk = -3输出xFx = x + 1Fx 4T结束编程并调试选择某种计算机语言自动化实现算法步骤。Private Sub Command1_Click()Dim x , k As Integerx = 1Do k = (x 1) + (x = 3) + (x = 4) + (x 4)If k = -3 Then Print xx = x + 1Loop Until x 4End Sub逻辑推理意义与作用概念与原理目标与方法过程与实践可计算类问题非计算类问题数学知识公式定理抽象量化建模谢谢各位的聆听