教学课程资源库 更多>>

关键词： 结构化教学   教学设计   单手肩上传球  

摘要： 《义务教育体育与健康标准(2022年版)》在“课程理念”中特别强调要“保证基础”,即“保证学生学习和掌握结构化的基本运动技能、体能、专项运动技能和健康技能等,为学生参与运动和养成健康的生活方式奠定基础。”[1]且在“课程实施”时也强调要“避免孤立、静态地进行单个动作技术、单个知识点的碎片化教学,注重采用结构化知识与技能教学.”

关键词： 学科本质   深度学习   结构化设计   长度单位   单位长度   课堂教学   教学内容结构   必然需求  

摘要： 课堂教学中的结构化设计主要有教学内容的结构化和教学过程的结构化。一、教学内容结构化——更好地理解和把握数学学科本质教学内容的结构化即知识本身的结构化,包括为什么、是什么、怎么用、与其他知识有什么联系等内容,即对知识全貌的把握和理解。这样的结构化是深度学习的必然需求。比如长度单位教学,如果不引导学生了解有了厘米为什么还要有分米、为什么要有毫米这类问题,学生就很难在解决实际问题时选择合适的单位。如果不建立单位长度的表象以及长度单位之间的关系,量感就无从谈起。

关键词： 小学数学   结构化   延学作业  

摘要： 延学作业作为课堂教学的延续,要关注数学本质,用结构化思维设计作业内容。以学习意义定义作业,让学生经历再补充、再发现、再总结的过程,促进认知结构的优化,培养学习力,彰显学生的学习主体性。教学过程中遵循主体普适性、目标一致性、功能承载性等原则,从关联、整体、整合等方面入手,设计结构化视域下的小学数学延学作业。

关键词： 形式化方法   定理证明   约束求解   符号执行   计算机系统   模糊测试   模型检测   系统安全  

摘要： 随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.形式化方法使用严格的数学语言对计算机系统建模,并在计算机的辅助下验证系统的正确性.与测试不同,形式化方法可以完全排除某些类型的错误.约束求解和定理证明是形式化方法中的两大关键技术.在约束求解方面,SAT和SMT求解器已经在学术界和工业界得到了广泛应用,比如SAT求解器用于EDA领域的等价性验证,SMT求解器用于程序验证和白盒模糊测试等.交互式定理证明通过人和计算机之间的交互完成证明,能够验证非常复杂的系统和性质,例如编译器和操作系统的正确性验证.约束求解与定理证明专题关注约束求解和定理证明的理论、技术、工具与应用,包括在EDA、符号执行、模型检测、程序分析与验证、系统安全等领域的应用.

关键词： 道路桥梁设计   结构化设计   设计应用  

摘要： 道路桥梁工程设计引进利用结构化设计理念和方法,有助于对当前设计资源和设计模块加以整合利用,合理配置,优化改进设计方案,消除设计缺陷,提升设计质量。本文对道路桥梁工程的结构化设计手段和意义进行全面探讨,就结构化设计在道路桥梁工程结构设计中的具体应用、模型构建以及设计原则进行全方位论证,旨在推动结构化设计更好地服务于道路桥梁工程设计,打造优质高效的道路桥梁工程,推动国家交通事业的高质量发展。

关键词： 数学知识体系   学科本质   小学数学   整体分析   义务教育数学课程标准   教学建议   新课标   结构化  

摘要： 《义务教育数学课程标准(2022年版)》(以下简称“新课标”)在“教学建议”中提出:“注重教学内容的结构化。在教学中要重视对教学内容的整体分析,帮助学生建立能体现数学学科本质、对未来学习有支撑意义的结构化的数学知识体系。”结构化虽然第一次在“新课标”中出现,但并不是一个新鲜的名词。

关键词： 大单元教学   结构化   乘法分配律  

摘要： “大单元”强调知识间的关联结构和拓展抽象结构,让学生建构关联且系统的知识结构。教师应从“大单元”的思想出发,引导学生真正理解乘法分配律的基本内涵:一是聚焦乘法意义,关联“结构认识”,通过动态化呈现情境,达成乘法分配律与乘法的意义的链接。二是链接乘法意义,深化“结构理解”,基于归纳总结,挖掘量与量之间的关系。三是延伸乘法意义,拓展“结构应用”,基于知识“归一”,培养学生的整体观。

关键词： 小学语文   学习任务群   单元整体作业   结构化设计  

摘要： 《义务教育语文课程标准(2022年版)》指出,学习任务群指向“结构化学习”。高质量的语文单元作业应当基于课程学习观,聚焦单元核心素养,以“整体化、梯度化、立体化、创新化、融合化、个性化”六维一体为思路,从构建单元作业目标、作业内容、作业形式、评价方式等方面进行深入思考,促进学生从“学会”转向“会学”,提升语文学科核心素养。