高中信息技术必修一 2.3 周而复始的循环 教学设计

高中信息技术必修一2.3周而复始的循环教学设计单元定位与核心素养落脚点《普通高中信息技术课程标准（2017年版2020年修订）》将"算法思维"确立为学科四大核心素养之一。在必修一《数据与计算》模块中，第2章"数据处理与程序设计初步"承担着从自然语言描述向形式化算法表达、再到可执行代码实现的关键跨越任务。第2.3节"周而复始的循环"作为本章的第三课时，承上启下：上接顺序结构与选择结构，完成三大基本控制结构的拼图；下启函数封装、列表与字典等数据结构，为后续模块化设计奠基。本课的核心任务不是讲清for与while的语法差异，而是引导学生建立"以不变量驱动迭代、以终止条件守边界"的算法思维模型，并在真实问题情境中完成从现象观察到循环不变量提炼、再到代码落地与边界测试的完整建模闭环。学情分析与教学策略抉择学生经历过初中Python入门模块，能书写简单的顺序与分支程序，但对循环的理解多停留在"重复执行"的表层直觉。典型误区三类：一是把循环等同于复制粘贴，缺乏状态迭代意识；二是边界条件处理靠试错，不懂不变量证明；三是嵌套循环时变量作用域与控制流混淆。针对性策略：采用"现象本质建模验证"四阶教学链，引入可视化追踪工具与不变量标注板书，强制外显思维过程；设计梯度任务单，从单层循环到双层嵌套，从确定次数到条件控制，层层递进；引入"调试第一视角"，让学生在断点单步中看到内存模型随迭代演化，将抽象控制流转化为可感知的状态机演变。教学目标体系核心目标：学生能针对给定重复性问题，独立完成循环不变量分析、控制结构选型、边界条件设定、代码实现与典型用例测试的全流程建模。支撑目标：1.信息意识：识别生活与学科中的循环现象，区分确定次数循环、条件控制循环、无限循环三类本质差异，建立"重复模式识别"的敏感度。2.计算思维：掌握循环不变量法与减量法两种算法推导路径，能用自然语言写出循环体前后不变的逻辑断言，并据此推导初始化、终止条件、迭代步进。3.数字化学习与创新：熟练使用IDE断点调试、变量监视、调用栈查看功能，养成"小步提交、高频验证"的工程化编码习惯。4.信息社会责任：理解死循环对系统资源的占用风险，在编写交互程序时主动设置超时退出或最大迭代次数保护机制。重难点拆解与应对重点：forin遍历可迭代对象与while条件循环的选型判据；range函数三参数形式的边界语义；break/continue对控制流的精准改写。难点：双层嵌套循环的执行次数推演与变量作用域隔离；循环不变量的形式化表达与正确性论证；浮点数累加误差导致的终止条件失效规避。应对：引入"循环追踪表"标准化记录工具，列固定为[迭代轮次、循环变量、关键状态变量、不变量断言、终止判断]五列，强制学生每轮填写；设计"反例找茬"专项训练，提供含边界越界、死循环、变量遮蔽等缺陷的代码片段，要求定位并修复。教学过程设计一、情境导入：从"手工数数"到"机器数数"的认知跨越（8分钟）投屏展示一张某中学运动会400米跑道航拍图，标注起跑线、终点线、计时点。提问："若要统计全校800名学生跑完全程的平均配速，人工操作需重复哪些动作？"学生列举：读取单人成绩、累加总秒数、计数人数、判断是否读完、输出平均值。追问："这五个动作中，哪些是固定不变的？哪些随人数变化？"引导提炼：累加逻辑与计数逻辑不变，仅数据源与循环轮次变化。板书核心概念：循环不变量——迭代过程中始终保持为真的逻辑断言。以此为锚，引出本课主线：寻找不变量、建立模型、验证边界。二、概念建模：循环三要素与不变量标注法（15分钟）1.三要素拆解在IDE现场演示求1到100整数和。拒绝直接给代码，改用伪码协作推导：目标：sum=1+2+...+100不变量：sum始终等于已处理整数的累加和初始化：sum=0,i=1（未处理任何数，和为0，下一待处理数为1）迭代体：sum+=i;i+=1（处理当前i，推进到下一个）终止条件：i>100（所有待处理数已耗尽）现场在编辑器右侧开辟"不变量标注区"，用注释逐行标注：[INV]sum==Σ_{k=1}^{i1}k演示单步运行，变量监视窗口实时显示i与sum，验证每轮结束时断言成立。强调：不变量是连接人类意图与机器执行的契约，写代码前先写契约。2.两种循环的选型地图发放"循环选型决策卡"，四象限对比：已知迭代次数/可预计数量→foriinrange(n)需遍历现成容器/序列→forxincontainer依赖动态条件/不可预知轮次→whilecondition需至少执行一次再判断→whileTrue+break现场编码三个微例：打印九九表（确定次数）、遍历学生姓名列表（容器遍历）、猜数字游戏（条件控制），学生举卡投票选型，多数派上台口述不变量。三、工具赋能：可视化追踪与调试第一视角（12分钟）演示PyCharm/VSCode调试配置：设置断点、开启VariableWatch、启用InlineValues。以双层循环打印直角三角形为例：foriinrange(1,5):forjinrange(1,i+1):print('',end='')print()引导学生观察调用栈Frames：外层帧持有i，内层帧持有j，每轮内层结束j销毁，外层i保留。要求学生在草稿纸画"帧生命周期图"，横轴为时间步，纵轴为帧深度，用色块标注变量生存期。随后布置"调试挑战赛"：给定一段含逻辑错误的素数筛选代码，限时10分钟用断点定位三个Bug（范围上界取sqrt写法、列表修改时迭代器失效、布尔标志未重置），完成者在共享文档贴截图并标注修复前后不变量变化。四、深度建模：三大典型任务的完整建模闭环（35分钟）任务一：确定次数循环——多项式计算器（单层）情境：物理实验需计算位移公式s=v₀t+½at²在t=1..10秒的取值表，输出对齐格式。建模引导：①识别重复单元：单次t值代入计算+格式化输出②提炼不变量：第k轮结束时，已生成t=1..k的完整记录行③选型：fortinrange(1,11)④边界检查：t=1首行对齐、t=10末行无多余空行、浮点数保留两位小数⑤代码实现（学生独立完成，教师巡视重点查看fstring格式化与range参数）⑥扩展思考：若步长改为0.5秒，range无法直接支持，如何改造？引出while+手动步进或numpy.arange预告。任务二：条件控制循环——牛顿法求平方根（单层）情境：不调用math.sqrt，迭代公式x_{n+1}=½(x_n+a/x_n)求√2精确到1e10。建模引导：①识别重复单元：一次迭代更新②提炼不变量：|x_n√a|单调递减且x_n>0③初始化：x=a（或a/2），设定最大迭代次数防死循环④终止条件：|xxa|<eps或迭代次数达上限⑤代码实现，重点讲解浮点数比较陷阱，引入math.isclose或自定义eps比较⑥可视化验证：用matplotlib绘制迭代收敛曲线，直观感受二次收敛速度任务三：嵌套循环——成绩单生成器（双层）情境：某班30学生、5门课，随机生成分数，输出每人总分/平均分/不及格门数，并统计全班各科平均。建模引导：①外层不变量：已处理前k名学生的完整档案②内层不变量：当前学生前m门课的累计分与不及格计数③变量作用域隔离：total,fail_count在外层循环首行初始化，严禁外提④数据结构选型：列表套列表vs字典列表，现场对比访问效率与可读性⑤代码实现，要求使用列表推导式生成原始数据，循环中仅做聚合计算⑥压力测试：将规模扩至10000学生×20门课，观察运行时间，引入timeit模块量化性能，顺势引出后续列表推导式与生成器优化话题。五、迁移创新：开放性问题与工程化规范（15分钟）发布"循环重构挑战"：给出一段120行的"意大利面条代码"——某电商订单批量处理脚本，特征：全局变量满天飞、三层嵌套循环混杂业务逻辑、异常处理缺失、无日志记录。分组任务（每组4人，角色：架构师、编码者、测试员、文档员）：1.绘制控制流图，标注每层循环不变量2.拆分为"读取校验计费入库通知"五个单职能函数3.重写主流程，主循环仅负责编排，异常捕获在函数内部完成并返回状态码4.增加结构化日志（JSON格式），含请求ID、耗时、结果状态5.编写README，说明并发安全考量（如数据库乐观锁版本号）成果物提交至GitLab班级仓库，教师CodeReview后公开讲评优秀重构案例，强调：循环不仅是语法结构，更是系统边界与职责划分的天然分界线。六、课堂评价与元认知总结（5分钟）发放"退出票"，三题必答：1.用一句话定义"循环不变量"，并举例说明它如何指导你写出正确的range参数。2.遇到浮点数累加作为终止条件时，你会采取什么防御性编程措施？3.画出双层循环内外层变量生命周期的时空图，标注销毁节点。教师现场抽样投影，全班点评，完成本课核心素养落点的显性化确证。作业设计与分层延伸基础层（必做）：LeetCode70.爬楼梯、83.删除排序链表中的重复元素——强制要求提交前在代码头部用注释写出循环不变量。进阶层（选做）：实现一个简易的表达式求值器，支持+/()，采用栈+双层循环（中缀转后缀+后缀求值），输出完整计算步骤日志。研究层（探究）：阅读Python官方文档"循环的else子句"，设计实验验证其在break/continue/异常/正常结束四种情况下的执行语义，写成技术博客发布至班级技术社区。教学反思与迭代备忘本课实施后需重点复盘三个维度：4.不变量教学是否