高中信息技术选修1用穷举法求解问题基本过程教学设计

高中信息技术选修1用穷举法求解问题基本过程教学设计本课面向高中选择性必修阶段信息技术课堂，对应粤教版选修1中“算法与程序设计”单元，落点为4.2.1“用穷举法求解问题的基本过程”。学生已经掌握顺序、选择、循环三种基本控制结构，能够读写简单Python程序，但对“把现实问题转成可计算对象”仍停留在模仿层面。本课的价值不在于多写几行循环，而在于让学生理解穷举法是一种有边界的搜索思想：在有限候选集合中逐一检验，按条件筛出解，并用可验证的方式说明结果可靠。课程标准强调计算思维、数字化学习与创新的协同发展。本课以“候选对象—检验条件—循环控制—结果记录”为主线，把抽象算法放回具体问题中，让学生经历从自然语言描述到流程图、再到程序实现的完整转换。课堂不追求技巧炫示，而追求三件事：候选空间是否穷尽，判断条件是否等价，程序输出是否可复现。一、教学目标定位知识与技能目标聚焦四点：能说出穷举法的适用前提，即候选集有限、判定条件明确、单项检验代价较低；能用变量刻画候选对象；能用循环结构枚举候选，用条件结构筛选答案；能对结果做去重、计数、保存与验证。过程与方法目标落在“问题形式化”上。学生面对“百钱买百鸡”“水仙花数”“密码副本排查”等任务，不只给出答案，还要说明范围从何而来、循环上界为何这样取、条件写反会漏掉什么。教师引导学生把“试试看”改造成“按规则全部试完”，把零散尝试提升为可控搜索。情感态度与价值观目标强调理性耐心与证据意识。穷举常被误解为“笨办法”，课堂要还其本来面目：当问题规模可控、规则清楚时，穷举是稳定、透明、可审计的策略。学生应形成朴素判断：能证明穷尽，就不必惧怕朴素；不能界定边界，再巧的写法也可能跑偏。学科核心素养通过三组行为落地：抽象与建模，体现为把物品、价格、位数、次数转成变量；算法设计，体现为循环边界与条件表达式的准确书写；信息社会责任，体现为在“枚举账号密码”类讨论中明确合法边界，知道穷举技术不可用于未授权访问。二、学情研判与教学难点高一学生处在形式运算能力快速发展期，能处理符号，但容易把数学经验直接搬进程序。常见问题有三类：一是把“所有可能”理解成“我能想到的几种”，候选集漏项；二是循环变量与判断变量混用，导致条件引用错误；三是得到结果便停，缺少对时间复杂度的直觉。教学重点确定为“穷举对象的确定”和“判定条件的程序化”。教学难点是“边界控制与效率估算”。前者靠实例解剖，后者靠对比实验：同一道题分别取过宽范围、贴切范围、带剪枝范围，观察运行次数与结果一致性，让学生看到边界不是细节，而是算法正确性的组成部分。课堂遵循三个判断：只要是有限对象，先问“最小候选集是什么”；只要写循环，先写清楚起点、终点、步长与终止状态；只要有输出，必须能用另一组数据复核。这样的设计可避免把穷举教学做成模板背诵。三、教学资源与环境准备机房按四人小组排布，每组两台可运行Python的终端，一台用于个人调试，一台用于投影对比。教师预置四个文件：任务单、半成品代码、测试数据、评价量规。半成品代码故意保留两类缺口，一类是循环范围未闭合，一类是条件表达式使用“或”而应为“且”，供课堂诊断。黑板采用三区结构。左区写问题原型，中区写变量与边界，右区保留给生成的反例。屏幕侧栏长期显示一句提示：候选尽、条件准、结果可复查。该提示不作为口号诵读，而在每次小组汇报时被追问落实。学习材料不使用花哨情境堆砌，用一张“校园实践周采购单”贯穿：总预算固定，采购物品单价已知，要求组合数量满足约束。情境贴近学校生活，变量关系清楚，便于嵌入后续任务。四、教学过程设计（一）情境进入：从“能不能刚好花完”开始上课初始，教师投放采购单：笔记本每本8元，实验耗材包每套15元，展示板每块26元，总预算200元，要求三类都至少购买一件，问是否存在刚好用完的方案。学生凭直觉会很快心算，教师不急着评判，只要求每组把猜想写成一行：笔记本x本，耗材y套，展示板z块，是否存在8x＋15y＋26z＝200且x≥1、y≥1、z≥1。这一环节的关键是把“有没有”变成“哪些要检查”。教师追问：x最多可能是多少。学生容易说25，教师继续压问：若y和z最少各为1，剩余预算还能买几本笔记本。由此得到上界不是200÷8，而是(200－15－26)÷8取整后再结合题意调整。课堂首次出现穷举核心：范围不是越大越保险，过大浪费，过小漏解。学生列出初步约束：1≤x≤19，1≤y≤12，1≤z≤6。教师再让学生估计三层循环总量约19×12×6＝1368次。这个数很小，计算机瞬时完成；但“很小”不是凭感觉，而是由边界推出。此处埋下效率意识：穷举的底气来自可计算的上限。（二）概念建构：把笨办法改造成可靠方法教师给出穷举法的工作定义：对有限候选集合中的元素逐个考察，用同一判定条件筛选，保留满足条件的对象，并保证考察过程覆盖全部候选。定义只记四词：有限、逐个、同尺、覆盖。与“随机试”“凭经验”“搜到就停”相区分。随后用流程骨架统一认识：初始化结果容器；生成候选；读取一个候选；执行判定；若满足则记录；候选未穷尽则继续；候选穷尽后输出并对输出做核验。学生将该骨架转写为Python结构，外层负责生成，内层负责验证，输出区只做汇总，不在循环里夹带未完成逻辑。伪代码以所见即所得呈现：count←0；forx←1to19：fory←1to12：forz←1to6：若8x＋15y＋26z＝200，则记录(x,y,z)且count←count＋1。学生对照骨架发现，判定语句必须同时满足总价与数量约束；若把条件写成“≤200”，就解决的是另一个问题。教师安排一分钟静默阅读，让每人用指尖顺着伪代码走两遍：第一遍只看循环边界，第二遍只看条件真假。静默的价值在于把注意力从屏幕效果拉回结构本身。（三）任务一：补全边界，修复漏解学生拿到半成品程序，运行后输出为空。小组检查三层循环，发现z范围写成1到5，少算了z＝6的可能；另一个版本把总价条件误写成“或至少一件”，逻辑完全变形。教师要求不直接改，而先写“漏解说明”：原程序没有访问哪些三元组，哪些三元组本应满足总价但被漏掉。修复后程序输出若干方案，学生发现并不只一组。教师顺势提出去重问题：若采购中同价物品可调换顺序，是否会产生重复组合。本题变量含义不同，(x,y,z)本身有序且语义确定，不存在组合重复；但若改成“两种相同价格赠品可互换”，重复就会出现。学生由此辨别“变量语义重复”和“显示重复”的差异。本任务设评价点三处：边界能否解释，条件是否等价，输出是否带计数。只得到答案不得满分，说不出覆盖证明也不得分。评价前置使小组在讨论时就收集证据，而非汇报时补措辞。（四）任务二：水仙花数中的位分解与候选压缩第二任务转向经典问题：找出所有三位水仙花数，即满足abc＝a³＋b³＋c³的三位数，其中a为百位，b为十位，c为个位。学生可从100循环到999，用整除与取余拆位；也可直接让a从1到9，b、c从0到9，组合成n＝100a＋10b＋c。两者都得到153、370、371、407，但后者更显“按位生成”的结构。教师不规定唯一写法，而让两组分别实现并交换查错。查错清单包含：百位是否允许为0；立方幂运算符是否写对；是否把条件误写成a＋b＋c；是否在循环外误清空了结果表。查错过程中，学生体会到穷举不是机械套循环，候选生成方式本身就体现抽象。随后引入轻量优化：当a³已大于999时内层无意义；当n已确定而n不等于位立方和时立即跳过。课堂不展开复杂剪枝理论，只要求记录循环体执行次数。学生看到，范围从900次到条件预判后的更少次数，Correctnessremainswhilecostchanges.为保持全中文表达，此处转述为：正确性不变，代价下降。（五）任务三：从可解到可信，引入验证与复杂度直觉第三任务设置“错版答案库”。教师给出一张声称已找齐水仙花数的列表，故意混入371的相似数317，又漏掉407。学生不能只运行程序，而要设计复核：检查每个数是否在100到999；计算各位立方和；核对数量是否完整；解释漏项来自边界还是条件。这样，穷举结果进入“可证伪”状态。复杂度直觉通过类比建立：若候选为n个，单次检验代价为k，总代价近似n×k。三层采购题中n由三个上界相乘得到。学生用秒表粗略测运行时间，不追求精确，只建立“范围翻倍，代价大致按维度放大”的敏感。教师提醒：这叫增长趋势，不是严格定理；把趋势当铁律同样危险。此处安排伦理边界微讨论。教师展示一行危险句式“用程序试出同学邮箱密码”，立即叫停并请学生指出问题。讨论结论落在合法授权与最小必要：穷举可用于恢复本人遗忘密码的合规流程、检测自有机房弱口令并获书面授权；越界使用即违反校纪与法律。技术中性不意味使用无界。（六）小组展示：证据链而非表演链每组选择一题汇报，限时三分钟，结构固定为四问：候选集是什么；边界凭什么；条件与题意是否等价；结果怎样复核。汇报允许代码很朴素，但不允许只有运行截图。教师按“漏、重、错、慢”四字追问：漏在边界，重在语义，错在条件，慢在范围。典型追问示例包括：把上界写成常数有没有依据；循环变量在条件中是否保持同一时刻取值；输出表清空语句放在何处；若把“至少一件”改为“允许不采购”，哪些行要动。追问目标不是制造紧张，而是让每一个结论都能回到程序行。同伴评价用量规，不看台风，看证据。A档要求能提出反例并修复，B档要求正确完整但解释一般，C档为运行正确却说不出边界，D档为结果依赖巧合。学生第一次意识到：程序跑对不等于算法讲清，讲不清的“对”在考试中会丢分，在工程中会埋雷。（七）归纳提升：形成可迁移的解题范型课堂收束阶段，师生共同沉淀“穷举四步”：定域，确定有限候选与变量含义；判真，把文字条件译成布尔表达式；历遍，用循环保证无遗漏；核验，用边界样例、反例、计数和复杂度估计完成闭环。四步不是口号，分别对应四行可检查产物：变量表、条件式、循环头、验证记录。板书右侧保留学生贡献的三条提醒。其一，上界通常来自约束消元，而不是拍脑袋。其二，条件中的“且、或、非”要先画真值小表再进代码。其三，能整除、同余、奇偶等性质可用于缩小候选，但缩小后必须重新证明没有漏解。教师对比解析法与穷举法：百钱百鸡若方程化简充分，可更快；选修1阶段的目标是先用穷举保证会解、能验，再谈优化。这样处理既不神化穷举，也不贬低技巧，给学生留下向上生长的接口。五、作业分层设计基础层要求学生完成“零钱兑换”：用1元、2元、5元凑成20元，输出所有组合数量而不是全部清单，并说明为避免重复如何规定面值非降。重点在控制重复而非跑通程序。提高层设置“日期合法枚举”：输入年份，枚举该年所有满足“月加日等于当月天数末位”的日期，先判断闰年，再限定月份与日范围。难点在候选域不规则，学生需把日历知识转成条件。挑战层给出“最小改动证伪”：教师提供一段看似正确的素数枚举程序，要求找出只测试偶数导致漏掉2、循环到n而非√n造成浪费、把1误判为素数三处问题，并写出修复理由。作业强调论证，不以代码长度计优劣。六、评价方案与数据采集课堂评价采用过程性数据。任务单留四栏：我猜边界、证据、运行结果、复核人。教师巡堂时只记录三类行为：是否主动缩小范围，是否用反例测试，是否把输出与题意回读对照。数据不排名，作为下一课“枚举优化”分组依据。量规维度包括正确性、完备性、可读性、验证力、责任边界。正确性看条件；完备性看覆盖；可读性看命名与注释是否服务理解；验证力看能否自造样例；责任边界看是否清楚枚举能力可用与不可用的场合。五个维度等权，避免“会写不会说”被高估，也避免“会说不会写”被包庇。七、板书与可视化结构主板书呈漏斗形。上方写现实问题，中部收窄为变量、边界、条件，底部放出程序骨架与验证记录。采购例题的数字不擦除，保留对学生最有冲击力的一行：19×12×6＝1368，表示“全部可能”在当下问题中具体可数。水仙花数旁写153＝1³＋5³＋3³，用作复核锚点。副板书放两种错误路标：范围凭感觉、条件靠翻译腔。学生一眼