论文部分内容阅读
通过结合一阶谓词演算系统理论，对模糊一阶谓词演算系统理论做了初步的探讨。结合实例给出了模糊满足的概念及其相关概念；并用实例的分析说明了这些概念的必要性和可行性；在此基础上给出在模糊满足下项的代入定理。
模糊满足与项的代入定理
【摘 要】
：
通过结合一阶谓词演算系统理论，对模糊一阶谓词演算系统理论做了初步的探讨。结合实例给出了模糊满足的概念及其相关概念；并用实例的分析说明了这些概念的必要性和可行性；在此基
【机 构】
：
西安培华学院基础部
【出 处】
：
科技信息
【发表日期】
：
2013年4期
【基金项目】
：
陕西省教育厅专项科学研究项目（1UK0507）
其他文献
目的探讨冰冻机采血小板在临床上的疗效.方法对预防性输注冰冻机采血小板病人,检测血小板输注前和输后1h及24h血小板计数,计算出血小板增值(CCI);治疗性急性出血输注冰冻机采
乌鲁木齐市经济技术开发区的一片荒滩上，一座新型工业园区拔地而起，53家内地企业已在这里“筑巢”。这座正在建设中的浙江五金工业园，将打造新疆自有品牌，成为新疆乃至中亚地区实
2017年1月7目，昆钢团委组织本部15家二级单位的100余名团员青年参加“高举团旗跟党走青春聚力党代会”徒步活动。活动包括分组徒步竞赛、昆钢第十次党代会知识问答和男女混合
天津西站南广场最近成功使用18000多立方米轻质发泡混凝土地表换填，这是我国首次将这一工艺应用于地铁建设，为今后在相同条件下采用这种工法提供了先例。
肝纤维化是肝硬化的前期改变,并具有可逆性,其早期诊断对肝硬化的防治或逆转起着重要作用.目前,对肝纤维化的诊断主要靠肝活检,这是一种创伤性检查,对准确判断肝纤维化的活动
中亚五国希望与新疆在各个领域的科学技术产品合作愿望强烈。新疆科技厅副厅长胡克林说，哈萨克斯坦经济发展迅速，对哈国而言，技术的匮乏要远超资金的匮乏。在与中方的交流中，哈方
阿富汗政府为1700万选民设立了7000个投票站，直升机进不去的地方，由3000头驴负责驮进驮出选票和选票箱，这显示了阿富汗人民对民主的期盼，但令人感动的画面不能代替严酷的现实。
作为一种具有超高抗压、抗拉强度、高耐久性、高韧性和抗疲劳性能的新型水泥基复合材料的超高性能结构混凝土（UHPSC），可应用于建筑工程、桥梁工程、预制混凝土制品工程、港口和