论文部分内容阅读
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R0-代数。提出了基础R0-代数的观点并讨论了其中的一些性质，在将L^*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试，作为它的一个应用，证明了L^*系统中的模糊演绎定理．
基础R0－代数的性质及在L^＊系统中的应用
【摘 要】
：
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R0-代数。提出了基础R0-代数的观点并讨论了其中的一些性质，在将L^*系统中的推演证明转化为相应的
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
数学研究与评论
【发表日期】
：
2003年3期
其他文献
特色办学是中国女子院校的共同追求。这些院校从专业设置、课程教学等方面探索最优的女性人才培养方案,开展女性研究,开设女性学课程,推广社会性别意识,推进社会性别平等,传
用向量表示四元数，得到四元数乘积的一个弱可交换律，并利用它将四元数体上线性矩阵方程转化为数域上的线性方程组，给出此类方程的一般解法。
本文考虑欧氏空间中具有共形Gauss映照的曲面，从Gauss映照的观点给出了Veronese曲面的一个新特征。
交换环Ｒ对称炎（受限制的）半准素环，如果对Ｒ的每个（非零）主理想Ａ，都有√Ａ是Ｒ的素理想。本文刻画了受限制的半准素环，给出了有单位元的Ｎｏｅｔｈｅｒ受限制的半准素环的分类以及半准素整环为伪赋值整环的
A new category of system model, multiserver multiqueue network (MSMQN), is proposed for distributed systems such as the geographically distributed Web-server cl
摘 要：本文遵循高职高专的人才培养特点，结合作者多年的《操作系统》课程教学经验，通过分析操作系统课程的特征和相关技术的发展，从教学内容、教材选择、教学模式和教学评价等方面提出了适合高职高专《操作系统》课程的教学改革思路。 关键词：高职高专；操作系统；教学改革 操作系统是计算机系统中最核心最基础的软件，是计算机系统的灵魂。计算机提供给用户的所有应用与服务都是在操作系统的基础上完成的。《操作系统》
本文首先证明一个矩阵不等式，然后利用它将文[3]中关于度量和的一个不等式作实质性的推广，同时解决了文[3]中所提出的猜想。
目的：探讨商丘市职业人群血脂水平现状及其血脂代谢异常发生率。方法：应用OLYMPUS AU640全自动生化分析仪检测商丘市26 856例职业人群空腹血脂水平，包括总胆固醇（TC）、三酰甘油（TG）
目的：观察护理干预对肝硬化患者自我康复的影响。方法：总结分析肝硬化并发症的原因及不同情况下应实施的护理干预方法。结果：通过对肝硬化患者进行护理干预指导,使患者及家属懂
目的：建立注射用亚胺培南西司他丁钠无菌检查方法。方法：采用薄膜过滤＋酶法对样品进行无菌检查。结果：注射用亚胺培南西司他丁钠具有较强的抑菌活性,对不同验证菌株的敏感性显著