论文部分内容阅读
考虑组合逻辑形式系统CLξw的外延性问题.由于在标准转换的意义下形式系统CLξw弱于形式系统λβ和λβη,因此采用三种方式对形式系统CLξw进行外延,前两种使之与形式系统λβ等价,后一种与形式系统λβη等价.作为推论,笔者亦证明了前两种外延系统是定理等价的.
组合逻辑形式系统CLξw的外延性
【摘 要】
：
考虑组合逻辑形式系统CLξw的外延性问题.由于在标准转换的意义下形式系统CLξw弱于形式系统λβ和λβη,因此采用三种方式对形式系统CLξw进行外延,前两种使之与形式系统λ
【机 构】
：
浙江师范大学数理学院,衢州学院教育系
【出 处】
：
杭州师范学院学报：自然科学版
【发表日期】
：
2006年2期
其他文献
针对内弹道单参量信息不能满足身管武器发展的问题，在已取得内弹道单参量测试成果的基础上，结合新概念动态测试，提出了基于光纤的多测试仪内弹道测试同步触发技术，该方法利用光纤
教学内容:统编语文教材五年级下册《晏子使楚》,阅读材料《周恩来妙答记者问》《蒋梦麟独闯"虎穴"斥强敌》。学习目标:1.朗读好晏子与楚王的对话。2.品读晏子语言的精妙,体会
绿色染整是人们十分盼望的,是对环保的重要性有了充分认识之后,对染整事业提出来的一个努力方向与最终目标。随着人们的环保意识的不断提高，由绿色产品及绿色消费共同构成的绿
“安徒生童话式”的想象力是主观条件，而丹麦政府颇有远见的众多制度性安排和激励措施则奠定了丹麦竞争力的基础。
使用统编教材后,我们的眼中应该不再只有课文,单元导读、课文中的小泡泡、插图、阅读提示、语文园地等,都不可忽略,都应为设定教学目标"导航"。课后习题更是一份精准的"导航
大数据时代下的地方政府干部人事档案管理工作,主要是借助各种先进技术,对干部人事档案库房和实体档案进行管理和监控,并对相关数据进行共享、预测和分析。目前,个别地方在开
《烛之武退秦师》(课程标准实验教科书《语文》第一册)一文的标点和注释似有未安之处,请循序条陈以求教于编者和读者。
Punctuation and annotation of “Candle Wukun Qin
高校是我国人才培养的主要阵地,高校的思想政治教育关乎着我党思想政治教育的质量,也深深地影响到我国的社会主义现代化建设实践。所以在高校进行积极研究和探讨思想政治教育
信源数目估计对阵列信号空间谱估计非常关键,但容易受到相关噪声环境和相关信号源的影响。为此,提出一种基于二次特征提取的源数估计算法。首先,利用阵列信号协方差矩阵的特