论文部分内容阅读
■_(γω)理论是一种一阶数学理论,它融合γω 演算与经典的谓词演算于一体。本文论述“经典的高阶谓词演算可直接转化成_(γω)理论”,并讨论此种转化与程序设计语言之间的牵连。
高阶谓词递算向一阶数学理论ζrω的转化及其与编程...
【摘 要】
：
■_(γω)理论是一种一阶数学理论,它融合γω 演算与经典的谓词演算于一体。本文论述“经典的高阶谓词演算可直接转化成_(γω)理论”,并讨论此种转化与程序设计语言之间的
【机 构】
：
成都电子科技大学计算机系,成都电子科技大学计算机系成都610054,成都610054
【出 处】
：
小型微型计算机系统
【发表日期】
：
1991年10期
【基金项目】
：
国家高技术研究发展计划基金
其他文献
谈谈如何提高英语语音教学质量蒋丽明学好语音是学好英语的基础，但是据我多年的观察和了解，英语教学最薄弱的环节也就是语音教学，由此产生了许多不良后果，形成了恶性循环。如果一
1．经常检查变速箱各连接部位的紧固状况，必要时予以拧紧；经常检查轴端油封及外部接合处有无漏油、渗油等现象，必要时要更换失效的油封和纸垫，并拧紧螺钉；定期更换新油，换油时要趁热
在农村广大农机手对自己的拖拉机及其它农机具进行维修时，由于不是专业维修人员，维修技术不够娴熟．又受空间和维修工具的限制，存在着一些安全隐患，应注意以下情况的发生：
由于体制及个人思想认识的原因，目前师专学生仍停留在计划经济的思维模式中，无所追求，没有危机感，没有市场竞争意识。要改变这种现状，必须加强市场竞争意识，使他们树立起竞争意识，努
本文通过对VGA在13Hex模式下工作原理的分析,将在该方式下截取的256色彩色图象灰度化后,利用抖动矩阵将图象数据转换成点阵数据,通过打印机输出,并可调节输出图象的亮度和对比度,实现了高分辨率彩色图象的二值打印。另外,本文还提供了一种将打印点阵转换成WPS的图文编辑软件SPT能够识别的图象文件的方法,可利用SPT对该图象进行编辑,修改等图象处理工作。
本文叙述了在微机系统上开发的通用C语言图形工具库CGTOOLBOX的功能和特点,讨论了CGTOOLBOX实现中的一些技术问题,还介绍了使用其它程序设计语言来调用CGTOOLBOX中图形函数的
中间语言在逆编译系统中起着承上启下的媒介作用,它既是汇编语言的进一步规范化,又含有高级语言的基本结构.本文介绍了PC机上C语言逆编译系统的中间语言设计和实现方法.
人类已进入21世纪,这是知识经济占主导地位的世纪,知识成为主要的社会资源.图书馆正是知识信息的集散地、传递中枢,必须调整自己,大胆改革,迎接知识经济的召唤,树立社会化大
TRANSCUBE是一个基于分布存贮和信件传递的多处理机系统.它的核心是一个由多个Transputer组成的超立方体结构阵列.本文重点介绍了TRANSCUBE的系统结构和通信软件结构.