论文部分内容阅读
分别研究了Godel，Luk，L^＊逻辑系统中公式的真度的分布情况，得到了公式的真度集均为[O，1]∩Q的重要结论。
逻辑系统Gdel,Luk,L*中命题真度值的分布
【摘 要】
：
分别研究了Godel，Luk，L^＊逻辑系统中公式的真度的分布情况，得到了公式的真度集均为[O，1]∩Q的重要结论。
【机 构】
：
聊城职业技术学院,聊城大学数学科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年13期
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of Chinaunder Grant No.60875034）.
其他文献
随着实时嵌入式系统结构的日益复杂，运行环境的不确定因素增多，零星事件调度越来越受到专家学者的重视。以“磁滞陀螺电机高频电源的研制”项目为课题背景，参考国际标准，将基于PO
自慕课推出以来,便迅速获得了全球学习者的青睐,其课程短小精悍,课程内容多元化,丰富了现有的传统课堂教学的教育模式。本文将通过对慕课的概念及发展现状进行简要阐述,分析
1一起急诊剖宫产死产引发的调查库车县人民医院地处天山南麓中部,是阿克苏地区规模最大的县级医院,2015年分娩量3 800余人次,剖宫产1812人次,剖宫产率45.1%,其中急诊剖宫产91
解数学问题的过程,就如骑车一样先是学会基本方法步骤,然后就能做到熟能生巧,从而感受到骑行的乐趣。近年,一线教师及教研人员对平面向量问题的研究不断深入。查阅各类文献,
为有效评估网络信息系统（NIS）的可生存性，将联合分析法和层次分析法有机结合，提出一种综合评价方法。借鉴网络安全等级的思想，对NIS不同方面重要性进行分级，获取用户期望产品和目标
用振型叠加法求解和分析轧机系统的动态响应，并编制了通用程序对实例进行计算。结果表明，振型叠加法用来分析轧机系统的动态响应是令人满意的。
面向插件的应用框架具有易于复用和动态扩展的特性。为了实现框架中插件的动态加载与替换，可以采用Service Locator模式解除插件接口调用者与插件实例间的耦合。通过一个实例
对于水准自由网，论证了高程参考点位移量对参考系和平差值的影响，推导出了消除影响的平差值换算公式，提出了参考点稳定性分析的逐次单点检验法，最后给出了算例．
目的:研究益气养阴活血汤联合参地生津胶囊治疗气阴两虚血瘀型2型糖尿病患者的临床疗效。方法:选取110例2型糖尿病气阴两虚血瘀型患者,随机分为参照组和联合组,每组55例。参
单兆伟教授为南京中医药大学博士生导师，江苏省中医院主任中医师，江苏省名中医，第四批全国老中医药专家学术经验继承工作指导老师。单兆伟教授从医50余载，擅长中医脾胃病诊治。笔