论文部分内容阅读
对于ＦＯＸＰＲＯ语言设计的汇总程序，本文提出一个用于描述其正确性的形式化方法，作为示例，文中最后对汇总程序的核心部分给出了部分正确性验证过程。
一个描述FOXPRO汇总程序的形式化方法
【摘 要】
：
对于ＦＯＸＰＲＯ语言设计的汇总程序，本文提出一个用于描述其正确性的形式化方法，作为示例，文中最后对汇总程序的核心部分给出了部分正确性验证过程。
【机 构】
：
青岛大学计算机系
【出 处】
：
青岛大学学报：自然科学版
【发表日期】
：
1996年3期
其他文献
区域活动是幼儿园课程的重要组成部分，是让幼儿自由选择、自发探索、操作摆弄的自主活动，幼儿能更多的按照自己的兴趣、能力来进行活动，因而它能给幼儿带来更多体验成功的机会；而教师对幼儿区域活动的指导则是一个隐性的教育过程，体现为创设区域环境和提供区域活动中的适宜指导两个方面。区域活动中的师幼互动与集体教学中的师幼互动是有所区别的，区域活动中是以幼儿自主学习的一种师幼互动过程。教师应努力成为幼儿学习互动中
桂林是一座享誉世界的历史文化名城,具有丰厚的历史文化积淀,为了让艺术与山水同美,桂林的画家们责无旁贷地肩负着发扬文化传统和重塑文化形象的社会责任,应努力打造出一个能
音乐教育是培养学生创新思维能力的最佳途径之一，它能激发学生的求知欲望，培养发散思维、聚合思维及直觉思维。在促进创新性个性发展等方面起着重要而积极的作用。
《计算机基础》课程网络教学，不仅有利于将理论课程和实验课程有效地结合起来，帮助学生巩固和加深对本课程的学习和理解，更重要的是有利于培养有自主学习能力，有创新精神，全面发展
素质教育是当前高等师范美术专业教育的重要内容，但是，在推行素质教育的过程中，出现了一些问题，特别是能力素质教育薄弱，使得高等师范美术教育走进了误区。本文直面教学现实，分析高
民国时期,黄旭初担任国民党广西省政府主席19年,主要原因在于:1.与新桂系其他领导人关系密切;2.为维护新桂系在广西的统治,采取了一系列有效措施;3.在大局上服从蒋介石国民党
摘 要：对于高校的大学生而言除了学习专业知识之外也应该加强对体育课的重视，近年来随着国家的倡导，各个高校也积极响应，开放式体育教学已经成为了各个高校体育改革的主要方向。在进行体育教学改革的过程中必须要注意转变以往的传统教育理念，与新时代相接轨，提高课堂质量，使体育课真正的发挥作用。本文将针对高校进行体育改革教学改革进行浅要分析，并且提出相关建议。 关键词：高校；体育；教学改革；方法 中图分类号
本文通过分析比较，选择输入输出端面均为平端面的阶跃多模石英光纤用于传输大功率ＹＡＧ激光进行打标；用计算设计的光耦合装置按试验总结的步骤耦合ＹＡＧ激光，所得耦合效率满足了打标机工作
教师的人格对学生人格的塑造和心理的发展具有重要的影响.教师健康人格的内涵包括良好的自我意识、健康的心理素质、高度的创新精神、和谐的人际关系、较强的实践和协调能力