论文部分内容阅读
对著名的形式演绎系统T做了进一步的研究，得到一些新定理，在系统T中引入新的二元运算，讨论了这各运算的性质，并由此得到了形式系统T中的演绎定理。
形式演绎系统T中的运算与演绎定理
【摘 要】
：
对著名的形式演绎系统T做了进一步的研究，得到一些新定理，在系统T中引入新的二元运算，讨论了这各运算的性质，并由此得到了形式系统T中的演绎定理。
【机 构】
：
四川大学数学学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2001年1期
其他文献
随着我国经济的迅速发展,我国的教育事业也在不断地改革进取中。体育教育作为教育事业的一部分,体育的发展改革是必然的。本文通过对我国现阶段高职体育教育现状及面临的问题
《因为我不能停下来等待死神》是著名的美国女诗人艾米利·狄金森死亡主题诗歌的经典之作。诗人用概念隐喻传达出死亡的特殊美感,对爱情的感伤和领悟实现了对死亡的超越,从而
农村职业教育需求包括个人需求和社会需求。论文通过辽宁省农村职业教育需求分析,发现影响个人需求的因素为农村家庭收入和个人自身禀赋;影响社会需求的因素为经济发展水平和
目的: 探讨双胎妊娠不同分娩方式结局的比较. 方法: 分析 109例双胎妊娠及 11809例单胎妊娠围生儿情况. 结 果: 1 双胎的胎位异常、胎儿窘迫、早产儿发生率及围生儿死亡率明
将像素点的方向信息测度作为判别边缘点的特性指标,借用Huang等构造的自适应确定分割阈值的思想,本文提出了一种基于方向信息测度的最小模糊度准则边缘检测方法。文中提出的方法,一方面由于采用了方向信息测度,可以很好地将边缘点和非边缘点区分开来;另一方面通过最小化模糊度,自适应地将给定图像的所有像素点按照方向信息测度分成两类,从而达到提取边缘的目的。实验结果证明,我们提出的方法能够很好地判别边缘点,有效
法律援助是指由政府设立的法律援助机构组织法律援助的律师,为经济困难或特殊案件的人给予无偿提供法律服务的一项法律保障制度。我国13亿人口中约有9亿是农村人口,贫困人口
目的加强围生期保健,降低子宫破裂的发生率。方法对我院6年来收治的31例子宫破裂患者的临床资料进行回顾分析。结果31例子宫破裂中,梗阻性分娩12例（38.7%）,其中忽略性横位8例（66
本文报告1例双下肢多发骨折并发脂肪栓塞的抢救及护理过程。通过入院后严密观察，及时发现病情变化，通过抗休克、光量子血疗、激素、呼吸支持疗法、高压氧治疗、保护脑组织功能
传统计算机内部结构主要采用焊线对接的方式实现通讯,然而这种通讯方式结构形式安装复杂,无法满足更高速电子信号的高可靠性连接以及在恶劣电磁环境下电子设备仍能稳定工作的
目的对美观性能较好的隐形义齿修复前牙的临床效果作出评定与分析，以指导临床前牙牙列缺损修复方案的合理选择。方法选择151例前牙缺损的患者进行隐形义齿修复，从主观感觉、适