论文部分内容阅读
本文给出了真值取在布尔代数上的形式模糊命题逻辑推理系统 FL,并且证明了它的一致性,有效性和完备性。更多还原
形式模糊命题逻辑推理系统
【摘 要】
：
本文给出了真值取在布尔代数上的形式模糊命题逻辑推理系统 FL,并且证明了它的一致性,有效性和完备性。更多还原
【机 构】
：
东北师大计算机系,吉林大学计算机系
【出 处】
：
东北师大学报：自然科学版
【发表日期】
：
1989年2期
其他文献
本文以 C_(70)H_(72)~(2+)双荷电孤子体系为模型计算了二荷电孤子相互接近时其间静电库论作用的变化情况,用以讨论掺杂程度不同时反式聚乙炔中荷电孤子间的静电库伦作用。计
一种基于多孔硅和独特金属化工艺的新型传感器问世,与现有技术相比,可提高敏感性,降低电力需求和成本,还可用于环境探测、食品和生物医学应用中的重要气体化合物.
本文指出了一九八六年由美国 Academic press 出版社出版的《Real—variable Methods in Harmonic Analysis》一书中三个定理的证明错误,给出了它们的正确证明方法。关于 Har
本文介绍了以苯酐、尿素为原料,煤油为溶剂合成酞菁铜的工艺过程及有关的实验条件。
本文对菲涅耳—阿喇果干涉定律作了理论分析,指出干涉装置中非相干迭加对干涉现象的影响,以及部分文献对定律的解释值得商榷。
美国航空航天局(NASA)和美国国家海洋和大气管理局(NOAA)的科学家们已经确定,2002年9月,南极上空的臭氧空洞不仅比2000年和2001年小了很多,而且还分裂成为两个分离的空洞.