论文部分内容阅读
Dijkstra-Gries提出了五种循环不变式的开发技术,薛锦云教授另外又给循环不变式作为迭代算子的定义,本文从集合论的角度来看循环不变式.
从集合论的角度分析循环不变式
【摘 要】
：
Dijkstra-Gries提出了五种循环不变式的开发技术,薛锦云教授另外又给循环不变式作为迭代算子的定义,本文从集合论的角度来看循环不变式.
【机 构】
：
福建师范大学,江西师范大学
【出 处】
：
吉林化工学院学报
【发表日期】
：
2005年03期
【基金项目】
：
国家自然科学基金
其他文献
以灰色聚类为基础，提出了梯形灰色聚类分析法，并将其应用于环境质量评价之中，实例计算表明，这是一种较为简便，合理，有效的评价方法。
"かと思ぅと、～かと思つたろ、～かと思えば"这几个惯用型在日语关系复句中,使用频率较高,均表示:"刚一……就……;以为是……谁知道……;时而……时而……;"等意思.不过,在实际
随着我国高等教育规模的不断扩大,社会对应用型人才的需求更加迫切。地方本科院校应该紧密结合地方经济建设发展需要,对教育资源进行合理调配,由教学型和教学研究型定位向应
罗定市教育基础相对比较薄弱，尤其是小学英语教学。刚刚接触英语时，出于对新事物的好奇，大部分学生兴趣高昂，但随着教材难度的增加，学习了一段时间后，部分学生开始感到学习有困难，课堂中无法跟上教师的步伐，时间一长，对英语失去了兴趣。越到高年级,学生的英语水平越参差不齐。由于班级人数多，教师一人兼多科多班，根本没办法照顾所有掉队的学生，使有的学生受到冷落。又由于大部分学生来自山区农村小学，山区里学英语的氛
立足辽宁省义县白庙子乡平房峪等七个村的实际生活,对青少年接受义务教育和高中教育问题、村民收入、生活质量、民风民俗、人口老龄化等问题进行详细的调查。折射出国家减免
在前一期的《戏剧丛刊》上拜读了侯宏先生的长文《对戏剧危机和剧目创新的独立思考》，胸中颇多感慨。戏剧的危机由来已久。我们距离中国话剧最近的一次繁荣，如果自上世纪八十年
班风又可以称为班级气氛，它是指班级所有成员在长期的相互交往中所产生的一种共同心理倾向。班风建设是班集体建设的重要组成部分。优良的班风一经形成将会对班集体的每个成员产生巨大的约束力，并会极大地促进班集体建设。它既是德育教育的重要目的，也是完成教学任务的重要手段。 教育是多元化的，没有最好的、单一的教育样板可以让教师照搬。所以，建构良好的班风不是一朝一夕所能办到的，需要做许多艰苦细致的工作。 一、
柳腔是山东戏曲肘鼓子腔系“本肘鼓”的一个分支，主要流传在胶东半岛的即墨、平度、掖县、莱阳一带，早期的伴奏乐器、演唱曲目等方面都具有明显的肘鼓子腔系特征。清光绪年间（18
利用同样的导向剂，在不同的组成下，进行了沸石合成，得到了NaY与NaA沸石，它表明，在合成沸石的过程中，导向剂并不具有定向作用，只具有诱导与促进作用。
传统的植物学实验教学普遍存在着实验内容陈旧、教学方式单一、技术手段落后等问题，已经不能满足植物学科发展的需求。基于项目教学法构建了植物学实验教学新体系，将传统的验证