论文部分内容阅读
本文给出ｆｏｒ ｘ：－ａ ｔｏ ｂ ｄｏ ｓ语句正确性验证法则的推导，通过一实例说明这个法则的应用。类似地可给出ｆｏｒ ｘ：＝ｂ ｄｏｗｎｔｏ ａ ｄｏ ｓ语句正确性验证法则的推导。
PASCAL程序中FOR语句正确性验证
【摘 要】
：
本文给出ｆｏｒ ｘ：－ａ ｔｏ ｂ ｄｏ ｓ语句正确性验证法则的推导，通过一实例说明这个法则的应用。类似地可给出ｆｏｒ ｘ：＝ｂ ｄｏｗｎｔｏ ａ ｄｏ ｓ语句正确性验证法则的推导。
【机 构】
：
云南师大数学系
【出 处】
：
云南师范大学学报：自然科学版
【发表日期】
：
1995年2期
其他文献
以黄鳝精巢为材料，采用药物处理提高黄鳝染当色体分散程度。结果表明：在低渗时，分别用８－羟基喹啉，α－溴萘和对二氯苯三种化学药物进行预处理５小时，同时结合用加氯仿和固定剂进行固定、
高校图书馆在引进音像制品的同时,必须正确引导大学生观赏.首先要对影视作品中存在的问题进行正确分析.为了正确指导大学生更好地利用音像阅览室,其工作人员必须认真学习国家
历史文化村镇景观风貌在发展过程中受到不同程度的破坏。在此以文山村为例,通过实地考察,从自然环境、形态布局、空间特色和历史建筑这几个方面对文山村展开研究,找出问题并
由于直升机旋翼的工作特点,使得全尺寸旋翼鸟撞试验很难进行,而在飞行器结构抗鸟撞的设计过程中,鸟撞试验是最终、最有效的检验方法,因此开展直升机桨叶鸟撞试验研究十分必要
随着我国教育体制改革的逐步深化,办学规模的不断扩大,高校的基本建设规模越来越大。目前,高校基建财务管理中普遍存在一些问题:财务管理薄弱、内部控制制度不健全等,文章从
目前，实心抽油杆的生产大多采用在平锻机上将两端的杆头模锻成型，因杆头形状复杂，锻造废品率较高，锻造缺陷是造成抽油杆在使用中产生断裂脱扣等现象的主要原因。在制造工艺型超高
本文对田间几种较严重病毒病害进行了酶联免疫，免疫电镜鉴定。在免疫电镜中，我们分别观察到ＰＶＸ、ＰＶＹ、ＴＭＶ、ＴＥＶ病毒粒体及其上的套环结构。ＴＭＶ大小为２９０－３００×２０ｎｍ，ＴＥＶ大小为２３×７００ｎｍ，ＰＶＸ大小为２５×２００ｎｍ，ＰＶＹ大小为１５
在装备效费评估模型中,经常使用层次分析法。但是如果应用不当,则容易得出失真甚至矛盾的结论。阐述了逆序现象的概念,通过对装备效费评估中的逆序问题进行分析和研究,提出了
关于建立区域图书馆网络的构想河北经贸大学南校区图书馆〔河北省石家庄市０５００９１〕高志勇图书馆网络化是实现文献资源共享的组织保证。它是依据一定的原则，用一定的手段把分布在各地