论文部分内容阅读
《程序设计》是计算机专业学生的必修课程，教师非常重视对学生程序设计能力的培养。然而现有的程序设计教材未阐明程序和给定问题之间的关系，导致学生无法理解程序设计的本质。文章提出采用Floyd不变式断言法分析程序，并通过两个实例进行说明。教学实践证明，采用这种方法有助于学生理解程序。
Floyd不变式断言法在程序设计教学中的应用
【摘 要】
：
《程序设计》是计算机专业学生的必修课程，教师非常重视对学生程序设计能力的培养。然而现有的程序设计教材未阐明程序和给定问题之间的关系，导致学生无法理解程序设计的本质。
【机 构】
：
江西师范大学计算机信息工程学院,中国科学院计算机科学技术国家重点实验室
【出 处】
：
计算机时代
【发表日期】
：
2007年11期
【基金项目】
：
国家自然科学基金项目（60273092）
其他文献
文章在介绍了Web使用的模式挖掘技术后，深入讨论和分析了如何通过Web使用模式挖掘技术优化商务网站的链接结构，从而方便用户使用，提高商务网站的运行效率。
<正> 在过去的一年多时间里,我国中小型轿车品牌增加了不下10种,其中有夏利2000、赛欧、派力奥、优利欧、POLO……基本改变了家庭用轿车只有捷达、富康、桑塔纳“老三样”和
以516名学生为对象，对高校计算机基础辅助教学的现状进行了较大规模的问卷调查与访谈，获得了一系列数据。文章就此进行分析，并提出思考和建议，以促进计算机基础教学的快速发展。
随着网络教学的推广,以网络为纽带,快速、高效、方便地实现知识的传递、交流和学习,是新时代教育工作者努力的方向,因此,对作为重要教学资源的网络课件及网络课程的研究、设