论文部分内容阅读
对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。
谓词形式系统UL_h~-∈[0.75,1]及其可靠性
【摘 要】
：
对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[
【机 构】
：
西北工业大学电子信息学院,西安工程大学理学院,西北工业大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2011年5期
其他文献
小菜蛾Plutella xylostella (L.),属于鳞翅目菜蛾科,是世界性的重要农业害虫。由于杀虫剂的广泛使用,小菜蛾几乎对所有防治药剂均产生了抗药性,极大增加了防治难度。苏云金芽
我国群体性事件数量与质量上的变化表明,群体性事件对社会安定、团结及和谐的影响力在逐渐加大,而能否积极预防和妥善处置好群体性事件成为对中共执政能力和执政水平的重大考
随着仪表技术的发展,对信号源的功能和性能要求越来越高。通过采用直接数字频率合成技术,使用FPGA完成了双路可移相信号发生器的研究设计。从FPGA内部逻辑设计和外部电路设计
<正> 本文应用抑制血小板聚集药物潘生丁治疗肾病综合征病人,探讨抑制血小板因素在治疗肾病综合征中的作用。1 资料与方法1.1 一般资料 1995年8月～1997年1月,住院病人30例,其
没有实践性教学体系的支撑,化工专业的项目化课程改革将难以实现,如何建立完善的项目课程实践教学体系是中职化工专业课程改革面临的难题。本文对现有实践教学体系进行了简单
随着互联网时代的全面来临与互联网技术的发展与普及,各行各业的互联网改造与推广已经全面实行。社会与企业需求的不仅是具有专业背景与专业知识的人才,更需要具有互联网思维
21世纪以来，水稻两迁害虫（稻飞虱和稻纵卷叶螟）在亚洲地区暴发频繁，已成为水稻安全生产的巨大威胁。“湘桂走廊”作为我国水稻两迁害虫南北往返迁飞的重要通道，明确两迁害虫在本区
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield