论文部分内容阅读
根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。
部分K值逻辑中准完备集之最小复盖的一些结果（Ⅰ）
【摘 要】
：
根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。
【机 构】
：
湘潭大学计算机科学系
【出 处】
：
湘潭大学自然科学学报
【发表日期】
：
1992年1期
其他文献
对湘潭大学建校15年来癌肿发病情况进行了初步分析;阐述了癌肿在教职工中的发病特点和严重危害;并提出在癌肿防治工作中,除一般措施外,不可忽视心理因素。
本文运用旋量矩阵来建立空间4杆低副机构(不含球铰副)运动的解法。为解决空间机构运动分析,提出了一种简便方法。
优质的课堂教学、融洽的师生关系、愉悦的情感、高效的课堂,都与课堂的情境密切相关,巧妙地设计问题情境对每节课的成功都起着决定性作用。如何抓住高中生的心理特征,创设一
目前国家的发展中,现代的设备维修提到了日常的生活轨迹当中;电厂锅炉泄漏问题是电厂运行工作中最重要的工作内容。电厂锅炉的泄漏严重危害了电厂日常运行的安全,并且影响了
有关钌的光度测定法曾有些报道,大多灵敏度不高,一般均为溶剂萃取比色法.水相分光光度法,虽然亦有灵敏度较高的方法,但显色反应条件较复杂,且显色时间较长.卟啉作为高灵敏显
21世纪的高中生关注时事政治和国际关系，热衷于从历史与现实的联系去思考问题，解决问题，获取新的知识。新闻时事都有深刻的历史背景，时事和历史是一脉相承的。我们要积极探索新课
本文采用中、小规模集成电路设计并分析其计数器功能在行车里程及等候时间不同行车状况下转换为不同的脉冲信号,分析其电路通过对脉冲信号的计数,来实现出租车计价器设计的多
体育与健康新课标的实施，突出了学生健康作为课程的核心和灵魂。教师就要结合小学生的具体情况，制定相应的学习目标，来引导学生热爱运动，重视体育锻炼。培养学生健康的生活理念，做
笔者在近几年的数学教学实践中尝试培养学生的数学写作习惯,体会很多。在数学写作活动中,我们不必考虑存在着结构上的不一致,或者有可能不按照常规来写作,但在类型写作活动中