论文部分内容阅读
《程序设计》是计算机专业学生的必修课程，教师非常重视对学生程序设计能力的培养。然而现有的程序设计教材未阐明程序和给定问题之间的关系，导致学生无法理解程序设计的本质。文章提出采用Floyd不变式断言法分析程序，并通过两个实例进行说明。教学实践证明，采用这种方法有助于学生理解程序。
Floyd不变式断言法在程序设计教学中的应用
【摘 要】
：
《程序设计》是计算机专业学生的必修课程，教师非常重视对学生程序设计能力的培养。然而现有的程序设计教材未阐明程序和给定问题之间的关系，导致学生无法理解程序设计的本质。
【机 构】
：
江西师范大学计算机信息工程学院,中国科学院计算机科学技术国家重点实验室
【出 处】
：
计算机时代
【发表日期】
：
2007年11期
【基金项目】
：
国家自然科学基金项目（60273092）
其他文献
文章在介绍了Web使用的模式挖掘技术后，深入讨论和分析了如何通过Web使用模式挖掘技术优化商务网站的链接结构，从而方便用户使用，提高商务网站的运行效率。
<正> 在过去的一年多时间里,我国中小型轿车品牌增加了不下10种,其中有夏利2000、赛欧、派力奥、优利欧、POLO……基本改变了家庭用轿车只有捷达、富康、桑塔纳“老三样”和
以516名学生为对象，对高校计算机基础辅助教学的现状进行了较大规模的问卷调查与访谈，获得了一系列数据。文章就此进行分析，并提出思考和建议，以促进计算机基础教学的快速发展。
随着网络教学的推广,以网络为纽带,快速、高效、方便地实现知识的传递、交流和学习,是新时代教育工作者努力的方向,因此,对作为重要教学资源的网络课件及网络课程的研究、设
<正> 升级版索纳塔新增了倒车雷达、16英寸铝合金轮毂、驾驶员和乘客的安全气囊作为所有车型的标准配置,车体的框架结构和底盘能最大限度地吸收来自各个方向的冲击力,同时还
《日本经济新闻》10月10日报道，丰田汽车公司计划投资300亿日元(合2．75亿美元)在广州兴建一家汽车引擎工厂，以在2005年前出口至亚洲地区。丰田汽车一位人士表示，该公司正在研究与
<正> 有些研究人员已探讨了血糖在维持和延长强度运动时的重要性。通过对于运动时机体外源性葡萄糖的研究,已经发现有延长大强度运动的作用。最近对运动前30分钟口服葡萄糖的
<正> 早在1899年,瑞典医师汉森通过扣诊法发现滑雪运动员心脏肥大,并把这种因运动引起的心脏肥大称之为“运动心脏”,以后,里维德尔等用X光作胸透时也发现运动员心脏阴影较大
<正> 苏联的维·波尔雅科夫和克·伏尔科夫1981年撑竿跳都已超过了世界记录.冠军的桂冠首次转到了苏联运动员手中。当我们回顾克·伏尔科夫在1980年欧洲冬季锦标