几类主范式在命题推理正确性判断中的应用

在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用A→B的主范式、A和B的主范式判别推理AB正确性的多种方法。     

关于主范式的定义

对离散数学中主范式定义作了适当的修改。     

布尔代数中的积和范式

研究了布尔代数中求积和范式与和积范式的方法,证明了:α(x)=[α(0)*x′] [α(1)*x]和α(x1,x2,…,xn)=1∑1 a1=0 1∑1 a2=0…1∑1 an=0[α(a1,a2,…,na)*X1a1*X2a2*…*Xnan]通过实例验证,此法在计算时思路清晰,大大提高了求解此类问题的计算效率。     

离散数学中的主合取范式

在离散数学这本书中求主合取范式有两种方法。本文对这两种方法进一步推广。共给出四种方法。即,真值表法,推演法以及用真值表法求7G的主合取范式,用推演法求7G的主析取范式等四种方法。     

命题逻辑中的数字表示

讨论了命题逻辑中的数字表示,给出了一系列重要结论,并通过实例说明了基于整数运算的求命题公式主范式和进行逻辑推理的方法.它为计算机处理命题逻辑提供了一种有效的途径.     

惯性张量及其特征值

在研究刚体定点转动中,若能求出刚体的主惯量及惯量主轴方向,将使求解大大简化。来文就如何求惯量主轴及主惯量介绍了两种方法。     

主析取范式求法解析

求主析取范式包括真值表法、推演法以及用真值表法求┐G的主析取范式、用推演法求┐G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求G的主析取范式的定理。     

小项的性质与小项的编码

通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.     

离散数学中命题公式与集合公式的教学与实践

通过引入参与式与主动式教学模式,让学生积极地参与到离散数学的课程教学中去.借助自动求解命题公式的真值表系统,帮助学生避开繁琐的计算过程,快速发现命题公式所具有的特性.引导学生从不同角度发现存在永真蕴含关系的命题公式之间的特性,总结出命题公式永真蕴含的多种证明方法.引导学生发现集合公式与命题公式的共性,并得出集合公式的主范式表示方式与一般求解方法.     

复杂电路的计算

该文以一例题为例 ,介绍了用高斯列主元消去法解方程组 ,从而求得复杂电路各支路电流的求解方法。     

高维映射的规范型

从理论上给出了高维非线性映射的替代型求法,并给出了在奇点的线性项可对角化的映射的规范型求法。该方法是构造性的,具有相当的适用性,同时给出了两个例子。     

两类半拟齐次函数的正规型

利用半拟齐次函数的性质,得到了证明两类半拟齐次函数正规型的一种比较初等的方法,更简明的给出了两类半拟齐次函数的分类。     

一类具有对称性的幂零向量场的高阶规范形

规范形是研究非线性向量场的动分岔问题强有力的工具,它包含了原系统在平衡点附近的所有动力学特性.对于一类具有γ对称的线性部分Jacobian矩阵为幂零矩阵的非线性向量场,在Ushiki规范形理论的基础上,利用无穷小形变的方法,得到了一维和二维的幂零向量场的具有γ对称的三阶、五阶规范形,并推导和证明了具有γ对称的且1-节退化的向量场的k阶规范形.     

普通高等师范院校“生物统计学”课程考核方式探讨

"生物统计学"作为普通高等师范院校生物专业的专业基础课程,有较强的实践性和应用性.目前该课程的考核方式主要为试题考核,不能适应课程的发展.笔者通过多年的教学实践,提出了把生物统计学的考核与学生的毕业论文结合起来,采用开放式考核的方式,考核学生对"生物统计学"课程的学习掌握程度.教学实践证明:此种考核方式提升了学生对该门课程学习主动性和积极性,提高了学生的专业应用能力水平.     

英语否定句的几种特殊形式及翻译

特殊否定句是英语中的常用基本句型,然而,因其形式多样,给学生的诠释与翻译造成了很大障碍。因此,在英语教学中,只有让学生熟练掌握特殊否定句的形成及翻译技能,才能较全面的理解和掌握英语的特殊否定句。     

动词不定式的“特例”及翻译

以诸多例句论述了动词不定式的几种特殊形式，补充教学中的薄弱环节，使学生对不定式有更广泛的了解，提高他们运用语言的能力。     

方言中几个比较特殊的形容词重叠形式

闽方言、吴方言、北方方言(指西南方言和西北方言)等几种方言中,都有形容词重叠形式表示程度高的用法,但用字不一样,有“A(AB)显(险)A(AB)”、“A了A”、“A里A”、“A(AB)[te55]A (AB)”、“A(AB)猛A(AB)”、“A(AB)了个A(AB)”等六种形式。     

特殊教育教学实践形式与理论探讨

这一辑文章是绥化学院教育系特殊教育专业学生创新能力培养成果的集体展示文笔虽见稚嫩,看法略嫌轻浅,但他们致力特教事业的热情与志愿却非常,这值得鼓励与推重。特殊教育专业是绥化学院的一个特色专业。这期封二、封三推介教育系特教专业相关师资、教学、实践等内容,是对这个专业的一次勾勒,我们衷心期望绥化学院特工作枝繁叶茂,从而实现对我国特教事业发展的一个微薄助推。《绥化学院学报》自开设"特殊教育研究"栏目以来,共刊载专业学术论文近百篇,得到了国内众多特教研究者的关注。我刊真诚地希望这种势态越来越好,并决定不断增加对特教研究的支持力度,也希望能有更多的人关注特教研究、献身特教事业。     

随班就读学生与正常学生心理行为问题比较

通过运用Achenbach儿童行为量表(简称CBCL)对上海郊区282名一年级到初二年级的随班就读学生以及282名正常学生进行了调查,结果表明随班就读学生社会能力表现远远低于正常学生,不管是男生还是女生,社会能力三个因子得分与正常学生组都存在非常显著的差异;随班就读男生与正常男生不管是6～11岁组还是12～16岁组,所出现的主要行为问题具有一致性,但女生组没有表现出这种一致性;正常学生组的行为问题发生率远远低于随班就读学生组.     

论《离骚》的几种特殊的语法形式

《离骚》是用“楚语”书写的,其语法的独特性体现在六个方面：一、主语有着几种特殊的位置：1．中置;2．置于形容词或动词后：3．后置;4．置于次句而兼统首句。二、“之”字作连词“而”字用,后带形容词作补语。三、“其”字作连词“而”字用,多表因果关系。四、动词置于主语前。五、形容词置于句首。六、修饰词后置。它们或使文势矫健,或使修饰对象得到强调,或使描绘对象更显生动形象。