微积分一种重要类型极限的计算方法

给出了一种类型函数极限运算的公式及其在微积分极限计算中的具体应用,应用此极限公式可以求某些极限运算中参数的值,给出一元函数在某一点连续的充分条件和求一个曲线的渐近线,同时提供了一个命题的证明方法.     

关于数理逻辑在解决数学命题中的探讨

在解决、论证数学命题过程中 ,准确使用逻辑思维方法 ,可使具体解题步骤严谨周密 ,条理清晰 ,形成完整的推理体系     

居加猜想的一个等价命题

文章利用数论中的一些简单结果,建立了居加猜想的一个等价命题。     

关于W.H.Young不等式形式的探讨

通过一个命题的证明，得出关于W．H．Young不等式的另一种形式，并说明这种形式的不必要性，借此来说明W．H．Young不等式形式的内在统一性和数学思维的严密性。     

互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

知识库中假言推理命题的Fuzzy表达及其求值

本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。     

F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

(P(x),,,-)逻辑的语义问题

本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。     

运用命题产生法探寻东巴文的性质

学术界对于东巴文的性质众说纷纭,有象形文字、图画文字、语段文字等多种观点,但大多缺乏实证研究。运用命题产生法,先让东巴将东巴经文翻译为汉语,然后计数不同东巴的译文之字数和命题数,再与标准译文加以比较。结果表明,东巴的译文无论是字数还是命题数,都与标准译文有显著差异,说明东巴文并非是一字一意的意音文字,它在性质上接近于图画文字,在文句组织上属于语段文字。东巴文在表意上还具有相当程度的不确定性,正处在由图画文字向形意文字过渡的阶段。由于东巴文的这一特点,使得东巴对于东巴经的解读和翻译具有看图说话的性质。     

浅谈物理习题条件的隐蔽性

就高中物理高考命题中常见的条件隐蔽性问题进行了讨论，得出高中物理高考命题方式虽然很多，但只要学生概念清楚、判断准确，即能解题。分别以几种不同命题方式对其条件的隐蔽性进行了详尽的分析，对提高学生判断、推理、分析等综合能力具有一定的帮助。