演算系统相关论文
<正> 逻辑研究推理并且主要是研究推理形式。具体地说,它研究推理中从前提到结论的必然联系。过去,人们从自然语言出发研究这种必......
<正> 一迄今为止,科学理论的结构模式基本上分为两大类,一类是追求科学理论的数学、逻辑分析,因而形成了形式化的模式;另一类则是......
本文讨论泛与运算模型T(x,y,h)(h∈(0.75,1))的一些性质;证明了泛与运算模型T(x,y,h)(h∈(0.75,1))是一个严格三角范数;泛与运算模......
计算机理解自然语言是实现智能化计算的技术核心,但现代计算技术及其理论的逻辑局限性,使得希望通过机械方法来理解自然语言即计......
本文在移动计算形式化研究中引入了灰箱演算系统并展开了相关的讨论。文章分析了移动计算采用灰箱演算的原因,对移动灰箱演算方法进......
一、引言rn理论计算机科学的发展吸取了大量数学和逻辑上的重要成果.逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义......
<正> 纯粹的数理统计演算系统并不是归纳的逻辑,但归纳逻辑与统计推理又有着密切的联系。统计推理的逻辑重构是现代归纳逻辑的主......
在亚里士多德创建的三段论体系中,有着一整套正确判定三段论有效式的规则,人们依据这些规则,在分属四格的总共256个三段论式中,得出了举世......
本文在非经典形式系统Z(它用来刻划辩证否定的特有性质)之上,引入若干条公理,建立一个谓词演算系统ZQ,并把系统Z的语义推广到系统ZQ中去。附带......