高中信息技术必修1数据与计算“if语句的应用”教学设计

高中信息技术必修1数据与计算“if语句的应用”教学设计本课面向高中一年级学生，对应粤教版必修1《数据与计算》中“运用程序设计解决简单问题”的学习要求，核心内容落在4.3.1if语句的应用。学生已经接触过常量、变量、输入输出、算术表达式与关系表达式，能够把“成绩是否及格”“年龄是否达到标准”“余额是否足够”一类生活语言转写成条件，但对条件成立与不成立时程序到底走向哪里，仍容易停留在口头判断。本课不做语法词条的铺陈，而把一个可运行的小判断任务拆成“现实世界规则—条件表达式—分支路径—结果反馈”的连续链条，让学生在改错、补全、对照、迁移中看见选择结构的价值。课堂立意定为“让程序替人做有依据的判断”。if语句不是写在教材里的僵硬格式，而是一种把标准显性化的工具。学生要理解三件事：条件必须能被计算为真或假；分支不是装饰，而是对两种可能性的公平安排；输出要能解释判断依据。评定一节课是否达成，不看学生能否背出格式，而看其能否面对陌生情境写出边界分明的条件，并用测试数证明程序没有偏心。教学目标分为四层表述。知识层面，学生能说出单分支if、双分支if…else、多分支elif的适用差别，能识别比较运算、逻辑运算在条件中的位置，能把“大于等于60”写成score>=60而不是凭感觉写成score>60。思维层面，学生能把自然语言里的模糊词，如“差不多”“行了”“还可以”，转化为可判定的阈值，并意识到阈值改变，程序结论立即改变。实践层面，学生完成“体测等级判定”“图书借阅逾期提醒”“公交票价分段”三个递进任务，能独立运行、断点观察、修改边界。责任层面，学生讨论默认规则、异常输入和公平提示，理解程序判断会影响真实对象，不能把所有边界都推给机器。教学重点放在条件表达式的精确化与分支覆盖的完整性。教学难点不在“会不会写if”，而在三类隐性问题：区间端点归属，例如60分到底及格还是不及格；多条件先后次序，例如先判优秀还是先判及格会改变结果；输入异常时的兜底，例如年龄输入负数不能让程序沉默。难点处理策略是用“边界值三板斧”推进：取端点、取端点邻值、取非法值，让每个条件都接受最小充分测试。学情判断依据来自前置作业与机房观察。多数学生会写print和input，也能用int转换字符串；问题集中在四处：其一，字符串与数值混用，input得到的“80”没有转换就直接比较；其二，把赋值号与相等判断混用，误写ifscore=60；其三，缩进凭目测，运行时报错后不知看行号；其四，只测一个理想数据，得到“看起来对”的结论就停止。教学设计据此把“运行一次成功”降级为起点，把“能解释为何换一组数据仍成立”设为达标。课前资源包括一份三页学习单、一个可运行半成品程序、一个包含九个测试数的清单和一张“分支覆盖自查表”。机房环境用同一版本解释器，关闭自动补全里会直接生成整段答案的功能，保留语法高亮与错误提示。学习单不给出完整代码，只给规则描述、空白流程框和测试记录格，避免学生把任务理解为抄写。教师机预置三类样例：标准版、端点错误版、逻辑顺序颠倒版，供对比演示时即时切换。课堂流程按“情境进入—规则显性—搭建骨架—边界攻击—多分支迁移—真实发布—反思固化”展开。总时长两课时连排，每课时四十五分钟，中间十分钟用于机房换位与小组互测。第一课时解决单分支到双分支，第二课时解决elif阶梯与综合任务。两段之间不断代码，让学生在上一节产物上继续生长，感受程序是迭代出来的，不是一次写成的。开课情境用校园体测。屏幕呈现一句话规则：男生五十米跑用时不多于七秒五记为达标，多于七秒五记为待提升。教师不急着讲语法，先让学生用手指做选择：左边代表达标，右边代表待提升。随机报出7.4、7.5、7.6、七秒五、缺测，学生举向会出现分歧。分歧点正是教学入口：7.5归于哪里，“不多于”包含等于，“缺测”不能强行进两边。此时板书只写三行：输入能否比较，阈值包含谁，没有数据怎么办。规则显性化环节要求学生把口头规则改写成条件。学生独立写下表达式，教师巡视采集三种写法：time<=7.5、time<7.5、time<7.6。展示时不评判谁聪明，只问：当输入恰为7.5，三个表达式分别把人分到哪里。学生发现第二个表达式挤掉了端点，第三个偷偷放宽了标准。由此引出条件的伦理意味：一个符号写成小于还是小于等于，会影响一个真实的人被贴哪个标签。这个环节控制八分钟，语言例证少，重在让表达式与后果同框。进入最小可运行骨架。教师给出半成品：seconds变量已从输入读取并转为浮点数，输出语句留了空。学生补写判断。正确骨架以可视化逻辑呈现：若用时<=7.5成立→输出“达标”；若该条件不成立→输出“待提升”。对应代码要求短而清楚：seconds=float(input("五十米用时："))ifseconds<=7.5:print("达标")else:print("待提升")此处强调缩进不是美观，而是归属。用同一段代码做两版投影：一版print与if对齐，一版print内缩四格。学生观察运行差异，理解“属于这个分支”比“写在附近”更严格。教师把错误提示读出来，不替学生翻译，要求其在行号附近找第一个缩进异常。机房里的求助规则是：先读红线，再看缩进，再问同伴；教师只回答经过前两步的问题。第一次运行后，学生普遍得到一个正确输出，课堂容易误入轻松。随即发动“边界攻击”。每组领到九个测试数：7.49、7.5、7.51、0、1、6.8、8.2、abc、空输入。任务不是全跑一遍，而是预测每一条会走到哪里、会不会报错、报错是否可被接受。学生把预测写入表格，再运行核对。出现了两类震动：数值端点有人预测反了；abc与空输入让程序直接抛出异常。教师不急着讲异常处理，只要求把程序改成“遇到非数字不做人身分类，而提示重输”。这为后续健壮性埋点，也避免一节课被try语法拖走。在双分支稳定后，加入“缺测不计入达标统计”的要求。学生发现单纯else会把缺少数据的人自动归入待提升，造成不公平。于是引出三层结构：数据无效→提示；数据有效且达标→记录达标；数据有效但不足→提醒改进。板书用箭头表示：先排雷，再分流。学生修改代码为：输入无法解析时输出“记录无效”；能解析时再进入time判断。此处不要求掌握完整异常捕获，允许用标志位或教师提供的安全读取函数完成，但必须在报告中说明“无效输入没有被误判成待提升”。第一课时中段安排一次静默改错。屏幕显示一份常见错误合集：ifseconds=7.5、缺少英文冒号、else后加条件、内层缩进混用Tab与空格、把“达标”写在判断之前。学生只许批注不许运行，用蓝笔圈条件，用红笔画分支归属，用黑笔写会触发哪类错误。三分钟独立，四分钟交换。交换时用一句话指出对方漏看的位置，句式统一为“这一处会让某某数据走向某分支”。该训练把调试从碰运气转为可叙述的因果检查。随后引入多分支。任务换为图书借阅：未逾期可续借；逾期一到七天提醒尽快归还并暂停预约；逾期八到三十天暂停借书一周；逾期三十天以上列入重点提醒并告知管理员。学生先画阶梯，再写代码。关键讨论落在条件顺序。若先写days>=1就进入“逾期”，后面的更细等级永远到不了；若把最高等级放前面，结构清晰但条件要互斥。引导产出两版等价写法：正阶梯从大到小，互斥区间用and限定。示例逻辑为：days<=0→正常；1<=days<=7→轻度逾期；8<=days<=30→中度处理；days>30→重点处理。学生必须说明每一档的左右端点，不能只写“大于”“小于”。elif的语法在比较中自然出现。教师用生活类比但不过度：同一扇门每次只进一条走廊，判断从高到低排队，先进者拦截。代码骨架如下，重在秩序而非技巧：ifdays<=0:state="可续借"elifdays<=7:state="轻度逾期，暂停预约"elifdays<=30:state="暂停借书一周"else:state="重点提醒，请管理员复核"学生追问days为7.5怎么办，课堂顺势讨论整数化规则。题目设定按整天计，借阅系统入库时已将小时折算为天数，程序不能把7.5偷偷塞进“一到七天”。如果要支持半天，必须改需求而不是改运气。这个辨析让学生把“需求文档”与“条件表达”连接起来，知道程序里每个边界都来自一个被批准的约定。第二课时开头用五道题快测回收上一节理解。题目不考背诵，全部给结论选条件：哪一条会让端点被排除；哪一段顺序会把中度逾期吞掉；哪个输入类型必须在比较前处理；哪个else暗中扩大范围；哪组测试数不足以证明三档正确。快测后只讲错因密度最高的两题，保留学生的原始错例照片，匿名呈现。教师点评语言聚焦机制：不是“粗心”，而是“端点未参与测试”“覆盖链断裂”“类型未转换”。综合任务定为“公交分段计费助手”。规则设计带有可争议空间：三公里内两元；超过三公里至十二公里，每增加一公里加零点五元；超过十二公里部分每公里加零点七元；身高不足一百二十厘米且由成人陪同免票；月票用户按九折；行李超大需人工确认，程序不得自动扣款。任务复杂但生活化，能同时容纳数值分段、布尔条件、身份字段与人工兜底。学生以两人为一组，一人写核心分支，一人专做测试与反例，中途交换角色。需求澄清是综合任务的第一道工序。每组必须向“甲方”提问至少三条才可编码，甲方可由教师或邻组担任。高频问题包括：不足一公里是否按一公里计；身高恰好一百二十是否免票；陪同成人是否也要购票；月票折扣是在分段价前还是后；人工确认时界面给什么提示。教师不直接给统一答案，而把已确认口径写入班级规则板。若有组问了无人问过的关键边界，可获得一次“需求洞察”记录。这样，编程从看懂题目开始，而不是从打开编辑器开始。程序结构设计要求学生提交“四层草图”：输入层负责拿数据并标出可信与可疑；规则层只做判断，不打印寒暄；计价层依据分支结果计算；输出层给出金额、依据和需要人工介入的提示。层与层之间用变量传递，不允许在规则层里夹带无关注释式输出。学生常见问题是把print撒得到处都是，改需求时满屏找字。经过一次删除杂乱输出的整理，他们直观感到分支集中管理的好处。判断逻辑采用可视化约定：距离d、身高h、陪同adult、月票pass、行李oversize。核心分流为：oversize为真→人工确认，不自动计费；h<120且adult为真→免票；否则进入距离分段。d<=3→基础价；3<d<=12→基础价加middle段；d>12→基础价加中段再加高段。最终若pass为真→金额乘0.9。每一段都要给出向上取整或按实际里程的口径。若采用不足一公里按一公里计，则用向上取整函数并注明；若按精确里程，保留两位小数。两种方案都允许，但必须在输出里告诉乘客采用了哪一种。这轮编码给足二十五分钟。教师巡堂不替写，桌上放三张提示卡，分别写“端点”“顺序”“异常”。学生卡住时只能指一张卡换取一个问题。例如指“端点”，教师会问：三公里、十二公里、一百二十厘米各归哪边；指“顺序”，教师会问：免票会不会被距离段截走；指“异常”，教师会问：负数公里和空白月票字段走向哪里。提示卡把帮助显性化，同时避免教室里形成“谁喊得快谁先解决”的依赖。测试设计升级为“覆盖矩阵”。每组至少构造十二条数据：每段内部一个，每个端点一个，端点两侧各一个，免票与不免票对照，月票有无对照，行李超大人工流，负数和空值两个异常。矩阵列包括输入、预期路径、预期输出、实际路径、实际输出、处置。测试不是跑通后的附录，而是与代码同步写。学生若先写代码后补预期，容易把错误结果合理化；先填预期再运行，错误会显形。对每组随机抽两条做全班公开执行，尤其抽端点和人工流。互评环节采用“冷静对抗”。甲组运行乙组程序，不解释设计，只丢测试数；乙组记录被攻破的位置，不当场辩解。三分钟后角色互换。教师提供对抗语料：7.5该不该达标，12公里按哪档，120厘米能否免票，月票折上折是否成立，空字符串是否应被当成零。学生们发现，许多争执并非代码问题，而是需求没说清；一旦规则板更新，分支就有了共同裁判。由此理解协作开发里“先统一判定标准，再争论实现”的秩序。课堂安排一次小型发布。每组用九十秒说明三样东西：最稳的一个分支，最险的一个边界，最需要人工介入的场景。发布不按座位顺序，而按风险递增排序，先讲普通分段，再讲免票叠加折扣，最后讲人工确认。听众用贴纸标记“我想偷走的测试数”。被偷最多的测试数进入班级公共库，后续作业必须通过这些样例才算完成。公共库让好测试流动起来，减少重复造轮子。评价量规分为五维，每项三档。条件精确：端点全对、端点一处含混、端点靠猜。分支覆盖：互斥且穷尽、能跑但有空洞、多条件互相吞并。数据健壮：类型转换与无效输入有处理、只处理数值、理想数据即停。可解释输出：结论附依据、只给结论、输出与判断脱节。协作证据：有需求问答与测试矩阵、有分工记录、单人包揽。等级不直接折合分数，先形成改动清单，二次提交后再定档，强调评价服务于修订。作业设计延续课堂但不要求堆量。必做是把公交助手接入公共测试库，通过全部样例并补一条“需求变更说明”：若十二公里以上调价，需要在代码哪几处动手。选做一为门禁时段判断，加入工作日与周末；选做二为运动心率区间提醒，要求用elif表示三到五个区间，并写明端点医学口径来自老师给定资料而非臆造。挑战任务为把分支规则抽成配置表，程序读取表格后执行，学生初步感到数据与逻辑分离的力量。板书不追求满，保留一条主线。左侧写现实词：不多于、逾期、陪同、人工确认；中间写可判定条件：<=、>=、and、or、not；右侧写分支后果：达标、暂停、免票、人工。底部留一条“危险区”：=与==、未转类型、缩进漂移、else吞异常、顺序截断。整节课擦改时只更新中间条件，左右两侧尽量固定，让学生看见从语言到后果的桥是怎样搭的。常见问题预案单独成册放在讲台。若学生把input结果直接比较，提示其打印type值；若冒号报错，要求只改标点不重写整行；若缩进混乱，开启显示空白字符；若逻辑总反，让其用“条件成立的人长什么样”复述；若多分支错乱，把每个区间画在数轴上，先排端点再写代码。预案不直接给答案，而是把下一步观察点说清楚，维持学生的诊断权。差异化支持落在三处。基础薄弱学生提供半完成框架，只留下条件空与边界测试，先获得完整闭环；中等学生要求补健壮性和解释输出；学有余力者引入函数封装，把判定写成can_free(h,adult)、fare_level(d)一类命名，讨论函数名怎样降低阅读成本。所有层次共用同一规则板，避免低层任务被简化成“少做”，高层任务也不是“多写”，而是把同一规则主持得更清楚。课堂安全与责任教育不空喊口号。借体测标签讨论：一次错判可能让学生多练或被误解，程序输出应带依据；借免票规则讨论：身高线既是技术阈值也是公共政策，机器执行时没有同情能力，人才需要复核通道；借行李超大讨论：系统不确定时停止自动扣费，是比硬算更负责任的选择。学生把这三句话写进代码注释旁的输出文案：给结论，给依据，给申诉入口。技术细节里保留适量底层视角。条件表达式最终要落成布尔值，比较运算返回True或False；and连接时两侧都为真才通过，or有一真即放行，not会反转；链式写法1<=days<=7在部分语言中可得，但本课先用展开式训练，再说明等价简写；浮点数比较有误差，体测秒数若来自传感器，不宜用相等判断，应采用阈值加容差的策略。提到这些，是为防止学生把课堂规则误当成世界全部，而不是展开新章节。时间管理留有弹性垫。情境与目标十分钟，单双分支三十五分钟，边界攻击二十分钟，多分支三十五钟，综合任务五十分钟，互评发布二十五分钟，总结迁移十分钟，合计约两课时含缓冲。若