论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
本文提出一种一阶数学理论——(?)_(γω)理论,其中融合γω演算与谓词演算于一体。(?)_(γω)理论将成为泛函·方程·逻辑三种编程体裁融合成一体的程序设计语言的
【机 构】
：
电子科技大学计算机系成都
【出 处】
：
计算机学报
【发表日期】
：
1990年10期
其他文献
玉米DDGS又称玉米酒精糟．是燃料乙醇厂用玉米籽实与精选酵母、酶等混合发酵生产乙醇后．剩余的发酵残留物经干燥形成的产物。国外DDGS饲料基本来自于以玉米为原料生产燃料乙醇的
<正> 程序设计语言的形式规格说明是程序设计语言标准化、编译器自动生成和程序正确性证明的基础。良好的形式规格说明对语言的设计者、实现者和使用者都是有益的。 1.程序设
9月1日消息．日前经国家发改委批复同意，西南地区首个中央直属猪肉储备冷库落户成都市蒲江县。该冷库计划投资1．2亿元．库容量将达1万t以上。
中国饲料工业协会原定于2008年10月12—14日在青岛召开第五届大型企业联谊会（中饲协（协）[2008]27号文）．本届大型企业联谊会主席团企业执行主席单位六和集团为会议做了大量的组织筹
7月1日，鲁抗医药发布公告称．以2943．6万元的价格完成了对山东鲁抗动物药业有限公司80％股份、山东鲁抗赛特药业有限公司54％股份的国有股权收购．转让价分别为1031、24万元、1912．36万
演绎数据库扩充了传统关系数据库的处理能力,增加了对规则的处理,使系统具有演绎推理的功能。演绎推理的有效实现是演绎数据库实现的一个关键。本文利用数组、状态、栈等技术
银妆素裹的北国，分外妖娆。2007年1月18日，全国畜牧业生产资料连锁经营试点工作展开后的第1家直营店——中牧连锁廊坊中心店隆重开业。廊坊市刘智广副市长，全国畜牧总站站长、中
本文首先提出一种谓之代码转换、分档统计转移插入的新排序方法(以下简称分档插入排序法)。给出排序算法、流程图和用BASIC及PASCAL语言编写程序进行实验的结果,算法分析和实