围绕财经特色主题加强《高等代数》精品课程建设

我校精品课程《高等代数》建设的思路是,围绕财经特色主题,坚持以高等代数理论为基础,以经济、管理类的专业为依托,以数学实验室为训练基地,将数学建模的思想融入到《高等代数》的教学活动中.这种教学模式的改变不仅有利于学生的培养,而且有助于培养出一支有较高水平的师资队伍.使我们的《高等代数》课程真正成为高水平、高质量的示范性课程.     

基于直观想象的解析几何“几何条件代数化”策略探析

解决解析几何问题的关键是几何条件代数化.代数化的过程需要从数形结合的角度思考,特别是要先用几何的眼光观察,分析几何图形的性质,并结合图形及要素的代数表达进行策略上的选择,再进行代数化表达,通过代数推理与运算得到代数结论,解决解析几何问题.     

强一般型代数体函数分担小函数的唯一性（英文）

代数体函数的唯一性理论是值分布论中的重要研究课题.由于代数体函数的多值性,代数体函数的唯一性的研究成果没有亚纯函数那么丰富.亚纯函数分担小函数的唯一性问题已经被彻底解决,代数体函数分担小函数的唯一性问题还值得深入研究.研究了强一般型代数体函数分担小函数的唯一性问题,得到几个唯一性定理,所得结果将亚纯函数分担小函数唯一性定理推广到强一般型代数体函数.     

多模海森堡代数的算符恒等式

利用算符代数中的分析方法,得到了多模海森堡(Heisenberg)代数中的BCH公式和压缩算符的展开式。     

(∈,∈∨ q(λ,μ))-凸模糊集

给出(∈,∈∨q(λ,μ))-凸模糊集的定义,讨论它们的一些基本性质。     

R0-代数的格蕴涵表示定理

通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。     

关于BCI逻辑的一种偏序代数

通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不等式对应BCI逻辑中的一个重言式且反之亦然,从而MPE代数是与BCI逻辑完备的代数类。     

关于BL-代数的模糊滤子与模糊理想

在BL-代数中引入模糊超滤子和模糊固执滤子的概念,证明了如下条件对于BL-代数的非常数模糊滤子f来说是等价的:(1)f是布尔的和素的,(2)f是蕴涵的和素的,(3)f是超的,(4)f是固执的。应用模糊正蕴涵滤子给出G-代数的若干特征性质。提出BL-代数模糊理想的概念,给出一些重要例子,并通过例子说明在BL-代数中模糊理想一般不能由模糊滤子导出。同时,从模糊理想出发构造了商BL-代数,并建立了相应的同态基本定理。最后,研究了BL-代数的几类模糊理想及其相互关系,给出模糊布尔理想、模糊素理想、模糊超理想的特征性质。     

连续信息基

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。     

具有预典范结构的模的若干性质及其应用

预典范结构出现在一些关于Coxeter群及其Iwahori-Hecke代数的Kazhdan-Lusztig理论的文献中,具有广泛意义.本文研究具有预典范结构的模的若干性质,重点研究投射性质和对偶性质.以广义Temperley-Lieb代数等为例,本文展示了这些性质的直接应用.