论文部分内容阅读
引入了度量R0-代数和R0型Hilbert方体的概念.从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统k*的近似推理理论,并得到了统一的完备性定理.
命题演算系统L*与谓词演算系统k*中统一的近似推理理论
【摘 要】
：
引入了度量R0-代数和R0型Hilbert方体的概念.从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统k*的近似推理理论,并得到了统一的完备性定理.
【机 构】
：
陕西师范大学数学研究所,西安交通大学基础科学研究中心,香港城市大学
【出 处】
：
中国科学E辑
【发表日期】
：
2004年期
【基金项目】
：
国家自然科学基金;
其他文献
语篇是一个具有完整语义的自然语言单位。而衔接则是保持语篇及其段落连贯性的一个重要原则和重要特征。语篇与翻译密切相关，因此，在翻译实践中，要从语篇的整体性出发，充分考虑衔
大学口语教学的目的不仅是培养学生的语言能力,也要培养学生的语用能力。传统的口语教学由于更加重视语言能力的培养,使得学生的口语表达虽无错误却不得体。如何使学生的口语
本文通过分析兴趣在英语教学中的重要性,重点阐述了如何在教学过程中通过精心设计教学模式,来达到激发和培养学生对英语学习的兴趣的目的,并阐述了一系列行之有效的方法。比
阅读课是提高学生外语素质,培养学生语言能力和语用能力的重要课型。本文将着重探讨英语阅读教学中精读和泛读两种教学模式的呈现方法及课外辅助形式的使用。
Reading class
以分形理论为依据,根据分形几何描绘自然界景物的基本思想,结合解析几何中旋转曲面的构造,把已生成的二维平面分形曲线绕着同一平面上的直线旋转,获得一类三维旋转曲面的构造
“互动法”教学是在交流中进行“教”与“学”的一种积极有效地教学模式,应用“互动法”进行口语教学有助于促进教师发挥创造性与学生主动性的发展,培养学生外语交际能力与推
高职英语课是高职教育的一个有机组成部分,是高职学生必修的一门公共基础课程。文章根据英语学习的特点和高职英语课程的教学目标,从教学实践出发,对高职英语教学进行了一些
文章通过三角中的一道众所周知的习题的证明方法,举例证明了如何从解题技巧上激发学生的学习兴趣。
The article illustrates how to stimulate students’ interest in lea
本文在研究了国内外大学英语写作教学理论和实践成果的基础上,采用实证研究的方法,对甘肃省独立学院215名非英语专业学生进行了大学生英语写作现状的调查。并在此基础上,探讨