高一年级信息技术做出判断的分支教学设计

高一年级信息技术做出判断的分支教学设计一、定位与立意本课对应高中信息技术必修1中“做出判断的分支”内容，核心不是让学生背出if、elif、else的写法，而是把生活中的规则转化为计算机可执行的条件。高一年级学生已经具备顺序结构经验，能够输入、处理、输出简单数据，但面对“满足什么条件就走哪条路”的问题，常把自然语言、数学不等式和程序语句混为一谈。本课以“规则清晰化—条件形式化—分支结构化—结果可验证”为主线，借助校园体测等级、图书借阅逾期提醒、社团招新初筛三个近身情境，引导学生经历从模糊判断到精确表达的跃迁。本课的价值取向落在三点：一是计算思维落在可操作处，能把“并且、或者、否则”翻译成关系表达式与逻辑表达式；二是工程意识落在细节上，关注缩进、边界值、缺省电与异常输入；三是责任意识落在公平处，讨论规则一旦写成代码就会影响人，条件设计必须可解释、可复核、可申诉。分支结构既是语法知识，也是把制度、标准与经验变成公共规则的入口。二、学情研判学生在前序学习中能完成变量赋值、算术运算与简单输入输出，对Python运行环境不陌生。常见病有四类：把比较运算符写成数学连等，如90<=score<=100在可读性上尚可，但迁移到多条件时容易失控；把赋值号与相等判断混淆；忽略缩进层级导致分支归属错误；只测典型值不测临界值，导致60分、59.9分、空输入暴露缺陷。部分学生逻辑表达强势但代码实现粗糙，另有学生能模仿示例却说不清条件为何这样排布。教学需同时托住“能跑”与“讲理”，避免只展示成品程序。三、学习目标学生能说出分支结构解决的现实问题类型，区分顺序执行与条件执行；能使用关系运算符、成员判断与逻辑运算符构造条件，说明and、or、not的短路直觉与真值走向；能正确书写单分支、双分支、多分支结构，保持缩进一致，画出与代码一致的流程图；能针对60、75、90等边界设计用例，发现重叠区间、遗漏区间与不可达分支；能就“规则是否公平”提出一条修改证据，如加分政策不应隐藏在条件深层。达成证据表现为流程图、可运行程序、测试记录与一分钟口头解释四者一致。四、重点难点与关键突破重点是条件表达式的构造与分支层级的对应。难点是多重条件的排序、覆盖与互斥，尤其是elif链条中“先窄后宽”还是“先严后宽”的判断。突破策略采用“三色笔标界”：红笔圈边界值，蓝笔连条件与各分支动作，黑笔写反例。每个任务都要求学生先写判定表，再写代码，最后让代码反哺判定表，迫使概念在符号系统之间往返，而非停留在看懂的幻觉里。五、资源与环境机房安装Python3与轻量编辑器，投屏展示同一份流程图与程序。学习单包含三栏：生活规则、形式化条件、测试证据。教师准备四个陷阱片段：缩进漂移、冒号缺失、字符串与数值混比、elif顺序倒置。课堂不追求花哨平台，保留命令行运行的朴素反馈，让学生看见输入、分支路径与输出之间的因果关系。六、教学过程环节一，情境入场。教师投出校园体质健康通知：BMI低于18.5提示偏低，18.5至23.9为正常，24至27.9提示超重，28及以上提示肥胖。学生口答某同学BMI为24.0应落入哪档，立即出现“24算不算超重”的争执。教师不急着给结论，要求每组把通知改成“没有歧义的句式”，只允许使用大于、小于、等于、并且、否则。三分钟后，黑板上出现两种写法：一种写“bmi<18.5”，一种写“bmi<=18.4”。差异被保留，成为第一次认知冲突。环节二，把口语压成条件。教师给出变量名bmi与输入语句，学生补全最简双分支：若bmi小于18.5输出“偏低”，否则暂不细分。运行时发现输入“24.0”走了否则，学生自然意识到“否则”不是垃圾桶，而是尚未被规则照亮的区域。此处演示关系表达式的求值结果只有真与假，屏幕上显示bmi<18.5的值为True或False，条件不再是自然语言装饰，而是决定程序走向的开关。环节三，多分支成形。小组把体测四档写成if、elif、else链条，要求同时提交流程图。教师巡视时只问三句话：每个区间是否互斥；所有可能是否被穷举；第一个被满足的条件之后还会不会继续判断。学生发现把“bmi>=24”放在“bmi>=28”之前会让肥胖永远无法到达，于是理解elif顺序影响语义。此时引入判定表：条件行向右展开，动作列向下落地，学生用对勾标出每个输入应触发的唯一动作，再用运行结果核对对勾位置。环节四，边界值审判。每组领取一组输入：17.9、18.4、18.5、23.9、24、27.9、28、负数、字母abc。任务不是让程序不报错就完事，而是判断错误应被谁接住。数值越界提示“数据不合理”，非数字输入进入异常提醒，空缺输入要求重录。学生讨论后把健壮性与公平性连接起来：体脂秤误差、四舍五入与原始记录不同，规则若把24.00001判为超重，就必须说明取位策略。代码由此不再只是技术作品，而是需要接受质询的规则文本。环节五，换乘到图书借阅。情境切换为图书馆逾期提醒：未逾期不提示；逾期1至7天提醒尽快归还；逾期8至30天暂停借阅一周；超过30天进入人工处理，若属于毕业班可附加绿色通道但不能免除登记。学生两人一组完成逻辑含and的规则：逾期天数大于30且身份为毕业班时，输出“人工处理并保留申请记录”。教师强调and要求两侧同时成立，or只要一侧成立，not会反转真假；用日历来验证“逾期=应还日期与当前日期之差”，避免学生凭感觉写天数。环节六，社团招新中的逻辑组合。规则为：报名者须已满15岁；若作品数不少于3或面试分不低于85，可进入复试；有严重违纪记录者不得进入。该任务故意制造括号需求，学生比较“age>=15and(works>=3orinterview>=85)andnotbanned”与漏掉括号后的差异。教师让一名学生朗读无括号版本的判断路径，另一名学生按优先级实际运行，听众记录两次结论是否一致。分歧出现时，师生活动停在优先级表前：not高于and，and高于or，括号用于表达意图而不只是保险。环节七，反例教学。屏幕展示四段病灶程序，学生不修改，先写“它会陷害哪类用户”。缩进漂移让else配对到意外的if；冒号缺失使程序根本无法出生；字符串“90”与整数90比较引出类型一致；把区间写成score>=60and<80暴露自然语言残留。每段只准动最少字符修复，修复后必须补一条回归测试。此设计修补“能抄不能诊”的缺口，让学生体验调试是定位因果，而非碰运气。环节八，微型项目合龙。三人小组完成“校园运动场馆预约分流器”：输入项目类型、时段、是否本校、人数，输出可预约、候补或拒绝，并给出理由字符串。硬性约束为三条：使用至少一次elif；至少一处逻辑运算复合条件；测试用例覆盖每个分支与至少三个边界。更高要求为把拒绝理由写得可申诉，例如“人数超过羽毛球双打上限6人，当前8人”，而不是只输出“不行”。教师巡回采集两类样本：最短正确解与最具解释力解，供全班互评。环节九，展示与质询。展示不按举手顺序，而按风险抽签：抽到边界密集组先讲。讲述者必须在一分钟内说明哪条分支最难、哪个bug最隐蔽、哪条规则可能被误解。听众用“我不同意第几条，因为输入某值会得到……”句式回应。教师把评价焦点从界面漂亮转向证据链完整：流程图是否与代码同构，测试是否命中边界，输出是否让当事人知道下一步权利。课堂在此时形成小型公共议事场景，技术规则接受模拟审查。环节十，收束与迁移。学生完成出门票：写出今天最容易被低估的一个符号，多半是冒号或缩进；写出elif排列的一句原则，如“特殊在前，兜底在后，重叠必查”；把体测程序中一个硬编码阈值改成常量并说明收益。教师留下通向下一课的钩：当分支里再出现分支，规则会迅速变复杂，嵌套能解决问题，也会制造阅读坡度，后续将用函数拆分让判断各归其位。七、板书设计主板书呈三列。左列写生活规则，保留“24算不算超重”的原始争议；中列写形式化条件，标出关系运算符、逻辑运算符与括号；右列写分支结构骨架，if、elif、else纵向排列，缩进用阶梯线强调。下角固定一句提醒：代码先说服人，再说服机器。整节课擦除的不是争议，而是含糊；留下的不是答案，而是可验证路径。八、评价设计过程性评价占六成，看学习单中判定表与代码的一致性、测试记录是否覆盖边界、质询发言是否给出反例。结果性评价占四成，微型项目按正确性、鲁棒性、可读性、公平性四档描述：正确性要求分支命中；鲁棒性要求异常有去处；可读性要求命名与缩进让人少猜；公平性要求拒绝理由可理解可申诉。评价不设“创意炫技”分，防止学生用无关效果掩盖条件混乱。对暂时落后学生，提供带缺口的骨架与判定表；对学有余力者，追加把分数区间改为可配置阈值，并比较硬编码与外部规则文件的利弊。九、差异化支持基础层学生获得“条件句型卡”：若要A且B，用and；若要A或B，用or；若排除C，用notC；凡是否则，必须说明吞掉了什么。提高层处理非法输入与边界取位，研究round带来的人为迁移。拓展层讨论体育、借阅、招新三类规则中的价值负载：同一阈值对不同群体影响不同，程序表达会让隐性差别显形。支持工具不给完成答案，只给可追问的问题，保证每名学生都经历从含糊到剔亮的痛苦与确定感。十、作业与延伸作业一为生活采样：记录一条家规、班规或公共交通规则，改写成无歧义条件并指出可能被误伤者。作业二为代码体检：找出网络上一段分支配乐式教程中的两个问题，说明为何“能运行”不等于“正确”。作业三为前瞻阅读：了解match语句或查表法，并写一段比较，说明在何种条件下多分支应让位于数据结构。延伸活动联合体育组复核体测取位口径，联合图书馆核对逾期处理流程，让课堂规则走进真实管理现场，接受更严格的检验。十一、教学反思预设常见风险是情境过多导致语法被稀释，解决靠同一套判定表贯穿三情境，变化的是语义，不变的是证据链。另一风险是把公平讨论讲成空泛德育，限定必须落到阈值、取位、例外权与申诉说明四个可操作点。若学生在短路求值上卡住，不展开过深理论，用两个函数打印痕迹即可看见and在左侧为假时不再