循环不变式在程序设计教学中的应用 |
| |
引用本文: | 余伟.循环不变式在程序设计教学中的应用[J].科技风,2014(14):120-121. |
| |
作者姓名: | 余伟 |
| |
作者单位: | 成都师范学院计算机系; |
| |
摘 要: | 本文介绍了循环不变式的理论和特点,在详细分析循环结构的基础上,结合实例介绍了在教学中引导学生通过循环不变式设计循环程序的过程,给出了通过循环不变式设计循环程序的具体步骤。
|
关 键 词: | 循环不变式 断言 终止条件 |
The Application oflnvariant in Program Design Instruction |
| |
Authors: | Yu Wei |
| |
Institution: | Yu Wei(Department of Computer,Chengdu Normal University, Chengdu, China 611130) |
| |
Abstract: | This paper introduces loop invariantsand its properties, Based on detailed analysis on loop structure, this paper introduces that how to guide students to developloops byinvariants with examples, andspecificsteps aregiven. |
| |
Keywords: | Loopinvariant Assertion Tenninationcondition |
本文献已被 CNKI 维普 等数据库收录! |
|