工科高等代数教学中数学直观的培养

数学直观是大学数学思维素质培养的主要目标之一,也是培养大学生数学基础和数学应用能力的关键。从数学教育学和认知心理学的角度,分析了数学思维与数学直观培养的关系,研究了工科高等代数知识对大学生数学直观培养的重要性及基于认知结构的教学方法。并从空间解析几何与高等代数的教学实践出发,通过两个例子说明数学直观对大学生数学思维能力培养的重要性。     

具有Virasoro型的无穷维对称代数的群不变模型

本文利用Virasoro型的对称代数的两种具体的实现获得了各种2 1维具有无穷维Kac-Moody-Virasoro型李代数的不变方程。一些熟知的高维可积模型例如KP方程也被给出。     

有界交换BCK-代数的L-Fuzzy代数理想

借助于L_fuzzy集的4种截集,给出了有界交换BCK_代数的L_fuzzy代数理想的几种等价刻画.     

C~*-代数中的广义逆的稳定扰动

设Α是C*-代数,a,a-=a+δa∈Α并且a有广义逆a+及‖a+‖‖δa‖<1。当a-Α∩(1-aa+)Α={0}(即a-是a在Α中的稳定扰动)时,a-+存在而且还给出了‖a-+‖和‖a-+-a+‖的上界估计。另外,在假设Α是AH-代数及a-+存在的条件下,证明了:a-是a在Α中的稳定扰动的充要条件是a-a-+与aa+等价。这个结果可以看成是矩阵保秩扰动的一个类似。     

C—代数的特征矩阵的性质

本主讨论了C-代数的特征矩阵的性质,并获得了求特征矩阵的逆的一个方法。     

代数微分方程组的可允许解

应用亚纯函数的Nevanlinna理论 ,讨论了代数微分方程组的可允许解 ,得到了不同于单个方程的结果     

从模态矩阵到模态代数

模态代数语义学是模态逻辑的三大内容之一,从理论上看,对模态逻辑的发展起着深层次的影响作用。模态代数语义学的基本形式是模态矩阵。通过模态矩阵解决了一些模态系统的如判定性和完全性等重要问题。模态代数是最简单的一种模态矩阵。因为这一简单性便于作深入的研究,形成了摸态代数语义学偏重于模态代数的发展方向;由此还形成了正规模态逻辑的概念,以及相应地使模态逻辑形成了偏重于正规模态逻辑的发展方向。模态代数为关系语义学的产生提供了理论基础。     

特殊函数的符号演算系统

本采用公理化方法，使用REDUCE在微机上开发了一个面向对象的“特殊函数的演算系统”。使用本系统，可以很快地得到带各种不同参数的十九种特殊函数的表达械或函数值，并且由此结果或进一步使用这一结果可以得到有关微分方程的固有值，固有函数，以及方程的通解或特解。     

BCI-代数的一类子代数

本文讨论了ＢＣＩ－代数Ｘ中满足条件０＊（０＊ｘｋ）＝ｘ的一类子代数的性质，给出了半单ＢＣＩ－代数的定义，讨论了这类ＢＣＩ－代数的结构和半群特征．