论文部分内容阅读
以Godel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题.得到任一由单个或两个原子生成的公式的真度必为0,1/6,2-6,1/2,4/6,5/6,1之一.进而按照真度将由单原子或两个廉子生成的公式集进行了细致的分类.
G(o)del中单个或两个原子生成公式的真度分布
【摘 要】
：
以Godel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题.得到任一由单个或两个原子生成的公式的真度必为0,1/6,2-6,1/2,4/6,5/6,1之一.进而按照真度将
【机 构】
：
聊城大学
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
【基金项目】
：
教育部科学技术研究重点项目;
其他文献
讨论非线性时滞脉冲中立型双曲方程的振动性质,利用平均值方法以及泛函微分不等式获得了该类方程在一类非线性边值条件下所有解振动的充分判据.结果表明,振动是由滞量和脉冲
用高温熔融法制备了不同Ho3+ 离子掺杂浓度65 GeO2-12b2O-10BaO-10Na2O-3Al2O3-xHo2O3(X=0.25,0.75,1.25 mol%)锗酸盐玻璃.从吸收特性出发,应用McCumber理论计算了Ho3+ 离子
在CaCl2-AlCl3-NaOH体系中,采用共沉淀法制备钙铝类水滑石。考察了反应沉淀过程的原料配比对合成水滑石结构的影响,并用XRD、IR和粒度分析等手段对合成样品进行分析和表征。
本文主要介绍一类带有治愈率和ATL反应的HTLV-Ⅰ感染且具有饱和传染率的模型的性质,通过稳定性分析,得到了被感染的T细胞绝灭和HTLV-Ⅰ感染持续的条件.
通过同源建模获得抗癌晶体蛋白Parasporin-3的仞始三维结构,利用分子动力学方法优化之.分析模建分子的结构.最后利用Ramachandran plot,结构匹配等方法评价模型.结果显示Para
通过ArcView软件对英那河流域进行了流域信息的提取,并利用VB编程提取出该流域的地形指数与河网等流时线,使之成为TOPMODEL的客观参数.为了客观表示流域的初始状态,还建立了
以不同锂盐与柠檬酸铁为原料,采用溶胶-凝胶法制备LiFePO4,并讨论在前躯体中加入表面活性剂对LiFePO4性能的影响。结合XRD、SEM和充放电测试等手段对材料性能进行表征。结果
利用常微分方程研究广告对产品销售的影响.在分别考虑了广告量为平方和任意的n次方的影响后,讨论了广告微分方程的奇点以及奇点的类型,最后给出了该微分方程的相图.
流行性感冒作为一种传染病,至今仍然经常爆发,对人们正常的工作、生活造成严重影响.依据流感的传染方式及观测数据,通过建立常微分方程模型,可探讨流感的传播规律、影响它流