描述程序执行规律的形式化方法

来源 :中国大学教学 | 被引量 : 0次 | 上传用户：cqssq

【摘要】

：

本文跳出传统程序设计教材内容的范围,给出了一种描述程序执行规律的分析方法。一、理论基础本文以一级逻辑作为理论基础。下面给出一些有关的基本定义。定义1.1 一级逻辑公

【作者】

：

王祥

【机构】

：

南开大学

【出处】

：

中国大学教学

【发表日期】

：

1988年3期

【关键词】

：

形式化方法程序执行逻辑公式义城空定公式描述函数符号量符号形式化描述方法谓词符号

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文跳出传统程序设计教材内容的范围,给出了一种描述程序执行规律的分析方法。一、理论基础本文以一级逻辑作为理论基础。下面给出一些有关的基本定义。定义1.1 一级逻辑公式G的解释I由一个非空定义城D和以下赋值所组成: (1)对G中的每一个常量符号赋给定义域D中的一个元素; (2)对G中的每一个n元函数符号赋给一个由D~n

其他文献

抗日救亡运动在贵阳

日本帝国主义吞并中国营谋已久。1931年9月18日，日军悍然侵入了我国东北，1937年7月7日，日本帝国主义发动了大规模侵华战争，战火迅速在华北地区蔓延。“七七”事变第二天，中国共产

期刊

抗日救亡运动抗日民族统一战线国民党日本帝国主义贵州省抗日战争中国共产“九·一八”事变工人运动国际援华

编写《物理学》时所考虑的

《物理学》一书,经高等学校理科物理教材编审委员会评选并审定,作为理科非物理类专业(100～120学时)物理教材,1987年由高等教育出版社出版。这套书也可作为师专、卫星电视教育

期刊

物理教材物理学研究卫星电视教育教材编审委员会自学者物理类高等教育出版社物理课透镜成像物理现象

赵虹油画选登

期刊

油画贵州省贵州民族学院中央美术学院美术工作代表作品遵义市中国美术三部曲次参加

为我省知识分子队伍健康成长创造良好条件

江泽民同志在首都青年纪念“五四”报告会上的讲话中强调指出:“要在全社会进一步形成尊重知识、尊重人才的良好风尚,重视知识分子的劳动成果,使之在物质文明和精神文明建设

期刊

知识分子队伍知识分子政策精神文明建设青年知识分子尊重人才关于知识分子现代化建设思想政治工作工人阶级队伍现代化事业

小议单相全波整流变压器功率值

就我们所见到的几本电工、无线电基础理论书中,在推导单相全波整流电路变压器次级的功率时,其过程如下:变压器次级功率:变压器初级功率:P1=U1I1<

期刊

全波整流功率值电流有效值初级输入输出功率二级管半波

建议摩擦、磨损与润滑独设章节

中等专业学校、工科机械类各专业一直开设有机械零件或机械设计基础、机械原理与机械零件课程。但在教学大纲与其相应的教材中都没有单独设置有关摩擦、磨损与润滑的章节,通

期刊

机械零件机械设计基础蜗杆传动课程组蜗轮副中等专业学校支承结构传动装置润滑问题总时数

福州教区举行祝圣执事典礼

4月13日，福州教区在长乐玫瑰山庄为梅正军和范科修士举行隆重的祝圣执事庆典。祝圣典礼由福建省天主教教务委员会主任、厦门教区蔡炳瑞主教主礼，来自福州教区各堂区的24名神父

期刊

教区福州事典福建省统战部委员会天主教教主

爱的约定

我们知道，天主是爱。我们从创世纪第二章可以看到，天主是一位既善良又美好的天主。天主造亚当之后，又给他造了一个做伴的女人，并且把他们安置在无忧无愁美好的乐园里。天主造人的

期刊

约定天主美好乐园爱人和谐

西安南堂积极回应教宗邀请，善度神圣奉献时刻

教宗方济各3月22日在周三公开接见活动中，鼓励世界各地的信友团体于3月24日至25日怀着信德参与“24小时奉献给上主”活动。西安南堂从24日早7点弥撒结束后到25日早7点弥撒结束

期刊

安南弥撒信德教友

徐州教区召开王仁雷主教晋牧十周年座谈会

2016年11月30日,天主教徐州教区王仁雷主教晋牧十周年座谈会在徐州市海天假日酒店召开,中央统战部二局副局长王志刚,国家宗教事务局二司天主教处处长李永战,中国天主教主教团

期刊

中国天主教主教团徐州市座谈会教区中央统战部宗教事务仁假日酒店

描述程序执行规律的形式化方法

与本文相关的学术论文