论文部分内容阅读
对著名的形式演绎系统L*做了进一步的研究，得到一些新定理。在系统L*中引入新的二元运算，讨论了这种运算的性质，并由此得到了形式系统L*中的演绎定理。
形式演绎系统L*中的运算与演绎定理
【摘 要】
：
对著名的形式演绎系统L*做了进一步的研究，得到一些新定理。在系统L*中引入新的二元运算，讨论了这种运算的性质，并由此得到了形式系统L*中的演绎定理。
【机 构】
：
四川大学数学学院,
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
其他文献
该文基于实验算法中的拟物方法，将获得的最小码覆盖问题的CNF范式通过转换规则化为连续函数的最优化问题，该算法应用在具体的最小码覆盖问题上，获得令人满意的结果。
教师的修正性反馈是教师评改学生作文的重要方式,国内外很多研究证明该反馈对于学生的写作影响很大。然而,哪种反馈类型对高中学生更为有效,是个没有定论并有待进一步研究的
介绍了一种基于离散对数的公开密钥认证方案,该方案不需要设立特权者来认证公开密钥。用户公开密钥的"证明书"是由该用户的口令和保密密钥组合而成的。该方案不但安全,而且认
目的探索非糜烂性反流病(NERD)夜间有胃灼热感症状的患者用药方案.方法将广东省茂名市中医院和中山医科大学附属第一医院2002-02～2004-08 54例经质子泵抑制剂治疗仍发生夜间胃
“探究既是科学学习的目标,又是科学学习的方式,亲身经历以探究为主的学习活动是学生学习科学的主要途经”。科学探究是科学学习的中心环节。科学探究要经历提出问题,猜想结
MST整合校本课程是以数学、科学及技术的整合为核心开发出来的校本课程.该课程的目标,是让学生通过了解包括PM2.5的含义、变化、形成、危害、与生活的联系及我们的责任,反思
目的研究干扰素α(IFNα)对人肝细胞癌胸苷磷酸化酶(TP)表达水平及血管生成能力的影响。方法在体内外用一定剂量的IFNα处理人肝癌细胞SMMC7721,用RTPCR和ELISA方法分别检测
提出了一种利用NURBS曲面拟合进行图像边缘检测的新方法。与Haralick对称区域正交多项式曲面小片拟合方法不同，NURBS曲面拟合克服了Haralick方法对图像区域划分和灰度平稳的限
目的研究紫草素对体外培养的血管平滑肌细胞(VSMC)抑制增殖、促进凋亡及诱导细胞周期停滞的作用。方法组织块贴壁法原代培养的大鼠VSMC,经不同浓度的紫草素作用不同时间后,应
目的:研究低频弱脉冲磁场(LFPMF)对大鼠学习和记忆、脑电图(EEG)及脑组织形态学的影响.方法:选用雄性Sprague Dawley(SD)大鼠36只,随机分为对照组(A组)和磁场辐射组(B组),每