论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发
【机 构】
：
东南大学计算机系南京210018
【出 处】
：
计算机科学
【发表日期】
：
1994年6期
【基金项目】
：
国家自然科学基金
其他文献
<正>一、引言 以往单机结构的软件系统、自成体系的软件开发方式,其功能单一和自身的封性,所以无论从信息共享方面,还是从系统功能和资源的使用角度出发来考虑,都不能满足
<正>追求更高的劳动效率,促进了社会的不断向前发展,人类为此不仅使用了各种各样作为体力劳动增强器的机器,也越来越普遍地使用了作为脑力劳动辅佐的计算机,计算机已应用到人
现行分布式ＯＳ及其研制方法存在若干问题，对此，我们提出了一种集智能型，集成化和可塑性于一体的分布式ＯＳ自动生成系统模型，用此模型生成ＯＳ是一种名副其实的新型分布式ＯＳ。
<正> 一、引言 约束逻辑程序设计(Constraint Logic Program-ming．CLP)是基于人工智能(AI)中约束满足问题(Constraint Satisfaction Problem．CSP)模型的一种程序设计风范。CLP
时事材料一般是指最近国际、国内发生的比较重大的事件。思想政治学科是与时事联系最紧密的学科。高中思想政治课程的主要内容包括马克思主义政治、经济、哲学常识，承担着帮助高中生树立正确的人生观与价值观的重任。可见，高中思想政治课程具有极强的时代性与实践性，这就要求我们在高中思想政治学习中不仅要重视书本理论知识，而且还要紧紧抓住国际与国内的重要时事内容来培养科学的政治思维。 高中政治复习是为了让学生对政治
讲好中国抗疫故事,引导学生树立正确的价值观和职业观,是职业院校教师的职责所在。该文以《物业综合经营服务》课程中住宅小区物业经营服务单元为例,结合物业人在新冠疫情防
人参种子、种苗消毒是防治人参病害的关键环节，也是防治人参病害最直接、最有效的手段，历来倍受重视。过去一般用代森锰锌、多菌灵等药剂浸种消毒，因其安全性低、效果不明显、不
随着新课改的不断提出与发展,对于小学教育则提出了更高的要求,不仅要让学生可以掌握一定的学科知识,同时还要培养学生的道德素养。因此需要教师将德育理念融入到小学教学课