充分发挥循环不变式在程序设计课程教学中的作用

著录项

• 来源
  《计算机时代》 |2005年第11期|3335|共2页
• 作者

  杨庆红; 罗坚;

  展开▼
• 作者单位

  江西师范大学计算机信息工程学院;

  江西;

  南昌;

  330027;

  江西师范大学计算机信息工程学院;

  江西;

  南昌;

  330027;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 教育;
• 关键词

  循环不变式; 算法程序; 程序设计; 递归;