高师数学专业数理逻辑教学的一些思考

抽象、枯燥、形式化程度高、学时紧等问题给数理逻辑教学带来了不利,专业性与师范性的矛盾也给教学增加了困扰.分析了高师数学专业数理逻辑课教学面临的缺乏适合师范专业的教材,抽象、枯燥、形式化程度高、学时紧张,课程的重要性没有得到足够的体现等问题.提出了相应的建议,使数理逻辑教学更加具有针对性、实用性和师范性.     

杜威的判断理论探析

杜威对于判断进行了独特的分析,并在此基础上形成了他独具特色的逻辑理论。杜威对于命题和判断进行了区分,阐述了判断的主词、谓词和系动词的逻辑意义,并且分析了判断的推论性和实践性两个重要特征。杜威的逻辑思想为我们理解"判断"概念提供了一条新颖的路径。     

表达量化的方式及其形式刻画问题探讨

许多自然语言句子具有QAB的形式,这里Q是量化短语;A是普通名词短语;B是动词短语。自然语言语句表达量化的方式是多种多样的,这样在形式逻辑中对量化式的刻画也是方法各异。许多英语限定词在经典一阶逻辑里能够得到刻画,尽管要使用有点复杂的累赘的说法。但是也有许多限定词不能在经典一阶逻辑中表达出来。我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。     

安防系统中相机拓扑的优化和相机联动

在传统安防系统中,多相机联动或接力跟踪是基于目标的简单逻辑匹配来实现的,在相机拓扑图中的目标匹效率低,且容易遗漏不相邻但与目标相关的相机。为解决这一问题,提出了用无向图的数据结构来代替传统的相机拓扑图,并根据实际工程情况给定图中各节点的相关程度,并基于XML技术详细分析了目标的逻辑匹配流程和相机联动的实现方法。通过在实际工程项目中与传统相机拓扑的目标匹配相比较,该方法匹配效率高且不会遗漏任何一个相关相机,同时可以很好地实现跨平台的应用。     

中国高校教师教学板书现状调查分析

文章通过问卷形式调查中国高校教师教学板书言语思维的逻辑性、目前高校学生期望教师运用的教学板书形式和教师实际采用的教学板书形式的现状,并对现状进行分析,从而为切实提高高校教师教学板书言语质量提出科学建议。     

同步时序逻辑电路设计的新方法

提出了从状态转换图中直接求得触发器的置位和复位函数，从而确定触发器的驱动方程这样一种设计同步时序逻辑电路的新方法．设计原理简单，易于理解，适合于所有同步时序逻辑电路．     

专家系统的研究与探讨

回顾专家系统发展的历史和现状。对目前比较成熟的专家系统模型进行分析，指出各自的特点和局限性。最后介绍了新型专家系统。     

三值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Г下的近似推理理论提供了一种可能的框架.     

Luk-Lindenbaum代数中的*滤子

从*运算出发定义了*滤子,利用格论的相关知识,对公式子集D(Γ)进行研究。主要结果是:(1)Luk-Lindenbaum代数F(S)／～中的*滤子都是〈D(Γ)〉形式的；(2)*滤子与MP滤子一致,都是通常意义下的滤子；(3) F(S)／～中的极大*滤子与通常意义下的极大滤子是一致的。     

n值标准序列逻辑系统S_n的子代数及其重言式理论

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.