期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

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

下载PDF

导出

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

作者王祥

机构地区南开大学

出处《中国大学教学》 1988年第3期29-31,共3页 China University Teaching

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

分类号 TP31 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1张德广.抽象函数的复习[J].中学生数学（高中版）,2003(08S):25-27. 被引量：1
2孙燕,杨海涛.n维椭球体上含参数的加权重积分不等式[J].内蒙古民族大学学报（自然科学版）,2017,32(4):280-285.
3李超.《留学生书写行为数据库建设及应用研究》[J].海外华文教育动态,2017(7):110-110.
4莫恭佑.英国研究开发机器人的新动向[J].国际科技交流,1991(5):7-8.
5胡晓帆.函数最大(最小)值的探讨[J].深圳大学学报（理工版）,1997,14(2):92-96.
6杨运平.函数极值必要与充分条件的椎广[J].南都学坛（南阳师专学报）,1998,18(3):29-32.
7张玉骥.读FORTRAN语言[J].长江工程职业技术学院学报,1986(1):86-93.
8本刊2007年第1—6期(总第214—219期)总目次索引[J].河南大学学报（社会科学版）,2007,47(6).
9李卫军,马宗民,严丽,张富.模糊OWL 2本体到模糊关系数据库映射形式化方法[J].东北大学学报（自然科学版）,2018,39(4):462-467.
10王雷,王智广.考虑多种特征因素的设计模式自动识别[J].北京邮电大学学报,2017,40(5):36-42. 被引量：2

中国大学教学

1988年第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部