论文部分内容阅读
状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效，实用、新型的纯逻辑式程序设计语言，递归无疑地确保了其计算能力，本文证明了仅用状态逻辑的迭工程序冰可计算部分递旭函数，这就等于证明了，任何图灵可计算的对象都可用纯逻辑代地定义和高效地计算。
状态逻辑语言迭代程序的可计算性
【摘 要】
：
状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效，实用、新型的纯逻辑式程序设计语言，递归无疑地确保了其计算能力，本文证明了仅用状态逻辑的迭工程
【出 处】
：
软件学报
【发表日期】
：
1996年A00期
其他文献
孕产妇系统保健管理是指从怀孕开始至产后42天内,对孕产妇进行系统的检查、监护和保健指导,其工作质量直接关系到母婴的健康与安全。是我国农村实现世界卫生组织提出的“2000
自1993年受宏观经济调控影响,我国房地产业发展转入低谷,至今未走出低速发展的境地。近两三年来,全国共有5000万m~2的商品房出售不了,积压资金达500亿元,年利息就有60～70亿元,
德育是实施以德治国方略的基础,是贯彻落实《公民道德建设实施纲要》的重要方面.开展新世纪大学生的德育工作,必须正确处理好发挥学生个性与培养学生共性的关系,处理好课堂教
按工种配课是我校《机电类专业按工种项目配课式培养技能型人才方案》改革实验实施尝试，是被辽宁省教育厅确定的教育教学改革试点项目。它要求文化课在培养学生基础文化素质的
本文给出了一个基于二进小波变换的多尺度双眼视觉匹配算法，对原立体图对进行二进小波变换，得到原图对的一个多频道表示；对变换系数的分析使我们得到了有效的消除噪声，再提取出边
在信息社会中，学习的资源无限扩大，异常丰富，学习的内容和形式都在不断地发展。要使学生能够利用信息技术和信息资源解决实际问题，就必须教育学生学会学习，掌握学习方法，从被动性的
依据1965年以来云南地区记录相对完整的108次5．0级以上地震序列资料，研究云南中强地震余震序列统计特征，探讨序列类型、余震震级、余震分布范围及间隔时间等与主震震级之间的关
建国40多年来,我国的经济高速增长,在国民经济的各个领域都出现了举世瞩目的成就,特别是改革开放以来,党的工作重心转移到经济建设上来,开创了我国经济建设的新局面,国民收入
目前我国在实行课程改革，很多课程已经转变过去的教学方法，我国的高中教学目标也不是仅仅停留以往对知识的传授的单方面，而是在教学过程中构建化学的知识体系，让学生能够对知识有