期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
程序集合论导引
1
作者 林榕慧 《福建电脑》 2015年第2期25-27,35,共4页
程序集合论首先是为了解决停机问题,所以定义了while语句的序型w。为清晰区分有if语句的while语句序型的不同,又定义了w[if]和w[if_break]。因此依据序型能发现循环错误。同时,我们发现对程序路径的判断可用if语句对程序数据集合A的划分... 程序集合论首先是为了解决停机问题,所以定义了while语句的序型w。为清晰区分有if语句的while语句序型的不同,又定义了w[if]和w[if_break]。因此依据序型能发现循环错误。同时,我们发现对程序路径的判断可用if语句对程序数据集合A的划分和if语句的序型par A作为标准,而且根据par A能发现if语句中的错误。在程序的序型S与哥德尔数的比较过程中,由于哥德尔数根据变量的n元函数决定,因此我们借鉴编译原理的数据流分析,提出程序语句的数据集合分析方法,实现程序理解和程序调试。则程序集合论包括三部分,用在程序设计的全过程和软件理论研究上,有广泛应用。 展开更多
关键词 语句序型 程序路径 据集合分析 程序调试 哥德尔数 据流分析 程序分析 并行计算
下载PDF
富有价值的理论探索——评《艺术构造论》
2
作者 莫其逊 《惠阳师专学报》 1993年第2期98-100,共3页
长期以来,中国文艺理论界对诸多理论问题的研究阐释主要是从一般社会学研究的思路上穷思苦想或拓展延伸,结果是虽然对文艺现象的社会属性及意义论述细微,但同时又使文艺学研究笼罩上了浓厚的社会学意味,文艺学研究的独特品位几乎丧失殆尽。
关键词 文艺学研究 文艺理论界 文艺现象 构造论 社会学研究 中国文艺理论 精辟概括 当代学术 理论体系 哥德尔数
下载PDF
Hilbert's Foundations Remain Intact
3
作者 Tony Palmer 《Journal of Mathematics and System Science》 2016年第8期330-334,共5页
Some of the seemingly important contributions made by Russell, Cantor and Godel regarding the foundations of mathematics lose credibility when addressed at a more fundamental level which assumes language consists of s... Some of the seemingly important contributions made by Russell, Cantor and Godel regarding the foundations of mathematics lose credibility when addressed at a more fundamental level which assumes language consists of symbols devoid of what they mean. Such an approach can reveal neglected assumptions which are of consequence when made explicit and which, in particular, mean that Hilbert in fact had no need to heed Godel's revolutionary results regarding the foundations of mathematics. 展开更多
关键词 PARADOX SELF-REFERENCE foundations of mathematics
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部