二值命题逻辑中基于信息限制的真度理论

将基本真度概念进行推广,提出了二值命题逻辑中在有限信息Г限制下的公式真度概念,并讨论其计算性质．以此为基础定义了公式的Г-限制相似度和Г-限制伪距离,得到了在有限信息Г限制下公式到理论结论集伪距离的Г-限制真度表示式,为研究二值命题逻辑中基于有限信息限制的近似推理问题提供数值化工具．     

二值命题逻辑中命题真度相同与逻辑等价的关系

王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的关系．     

二值命题逻辑中逻辑方程解集的数值特征

二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构研究中有着重要应用.讨论基于真度的τ(A→X)=m/2n型逻辑方程的解在逻辑运算下的相关性质,给出反映其解集结构的几个数值特征的数值表示,为进一步研究该类逻辑方程的解集以及应用提供数值化结果.     

二值命题逻辑中Г-的蕴涵距离和近似推理

以基本真度为基础,引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念,由此定义了公式A到B的Г-蕴涵距离,并通过Г-蕴涵距离的基本真度表示式,对二值命题逻辑中基于前提信息的近似推理问题进行讨论．     

Gn命题逻辑系统中绝对真度的理论研究

基于绝对真度的概念,在Gn命题逻辑系统中定义了公式间的绝对相似度和伪距离,并证明了公式绝对真度的推理规则,为近似推理提供了理论基础．     

二值命题逻辑F（S_n）中的基本推理链

在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F（Sn）表示.文中在F（Sn）中提出了基本推理链的概念,统计了不同长度的基本推理链的条数（在公式之间的逻辑等价或可证等价的意义下）.同时给出了用基本推理链的概念来刻划A→B为定理的一个充要条件.     

n值Lukasiewicz命题逻辑中命题的α-矛盾理论

基于均匀概率空间的无穷乘积,n值Lukasiewicz命题逻辑中引入α-矛盾理论,给出了一般矛盾推理规则;利用命题的α-矛盾度定义了命题间的α-差异度,进而导出命题集上的一种伪距离.     

有限Fuzzy复数的Fuzzy极限理论

本引入了三个概念，即有限Fuzzy复数，有限Fuzzy复数的Fuzzy距离和有限Fuzzy复数的Fuzzy极限，并且讨论了有限Fuzzy复数的Fuzzy极限理论。     

有限Fuzzy复数的Fuzzy极限理论

本文引入了三个概念，即有限Ｆｕｚｚｙ复数，有限Ｆｕｚｚｙ复数的Ｆｕｚｚｙ距 离和有限Ｆｕｚｚｙ复数的Ｆｕｚｚｙ极限，并且讨论了有限Ｆｕｚｚｙ复数的Ｆｕｚｚｙ极限理论。     

有限Fuzzy数的某些Fuzzy极限理论

本文给出了有限Fuzzy数的某些基本性质,讨论了有限Fuzzy数的某些Fuzzy极限理论。     

试析斯多葛学派命题逻辑研究中的命题函子理论

斯多葛学派是古希腊的一个哲学学派,他们的前驱是麦加拉学派。命题逻辑是斯多葛逻辑的精华所在。斯多葛在亚里士多德的基础上,对命题理论的研究又有了新的突破,探讨了命题函子及命题函子的可互定义性。     

Theory of Deviation and Its Application in College English Teaching

Deviation is an important concept in stylistics.Besides Shklovskij and Mukarovsky,who made a theoreti cal generalization of deviational phenomena,Leech is the one who studies deviation systematically and catego rizes it into groups.To apply the theory of deviation to College English teaching is an effective way to culti rate students' interest in and aesthetic ability of English texts.     

COFDM原理及其设备的应用

本文主要介绍了无线传输存在的技术问题,正交频分复用(OFDM)的原理编码正交频分复用(COFDM)的基本原理、COFDM系统的优点、以及其设备在无线传输中应用.     

变异学习理论及其应用

变异学习理论,基于现象图式学,探索人们对事物或现象作出的理解、体验和思考.以事物或现象出现的原初状态为"基值",通过不同形式变换"基值"使学习者逐渐认识事物或现象本质的一种学习理论.     

论经典命题逻辑矢列演算的保持高度收缩定理

在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。     

语域:理论及其应用

语域理论是系统功能语言学的重要理论之一,起源于马林诺夫斯基关于语境的思想,主要有语场、语旨和语式三个变量。笔者回顾了语域理论的背景,讨论了语域理论的基本内涵、功能、应用范围等问题,认为语域理论是一种具有很高应用价值的理论,体现了系统功能语言学“理论的意义在于应用”的价值追求。     

归因论及其教学应用的研究

归因论摈弃传统的学习理论从外部研究学习动机的方法,将研究重心从外部转移到内部,关注学习者的内心感受,把学习者自己对成功与失败的归因认识看做是动机的根本原因;提出影响学习行为的是学习者对学习的感知而不是学习结果;主张从内因人手来研究学习者自身的归因认识。在课堂上,教师要努力建立一个以学习过程和学习能力、而不是以学习成绩为目标的课堂结构,避免引导学习者把学习结果归因于天资或缺乏天资;让学习者相信,学习是通过努力、创造和他人合作来完成的。