张花荣
- 作品数:16 被引量:33H指数:3
- 供职机构:中国计量学院理学院更多>>
- 发文基金:国家自然科学基金浙江省科技厅重点科研工业项目浙江省教育厅科研计划更多>>
- 相关领域:理学文化科学自动化与计算机技术电气工程更多>>
- R_0代数的可证等价类被引量:2
- 2010年
- 讨论了R0代数的滤子以及相应的可证等价类.在R0代数里给出了一些滤子的具体例子,得到:F是R0代数M的超滤当且仅当F是M的固执滤子;当F是R0代数的蕴涵滤子时,M/F是布尔代数;当F是R0代数的极大布尔滤子时,M/F是只有两个元的布尔代数.
- 张花荣
- 关键词:R0代数滤子
- 命题公式集F(S)在Godel系统中的一个24类分划
- 2009年
- 将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进行分类,得到F(S)在Godel系统中的一个24类分划.证明这种划分关于┐是同余的.
- 张花荣
- 剩余格与FI代数的可嵌入性被引量:14
- 2003年
- 给出剩余格可嵌入于全序剩余格的乘积的充要条件,还给出定义在格上的FI代数可嵌入于全序FI代数的乘积的充要条件。
- 张花荣兰蓉
- 关键词:剩余格乘积FI代数
- MTL代数的蕴涵滤子与正蕴涵滤子被引量:3
- 2008年
- 在MTL代数M上引入了蕴涵滤子、正蕴涵滤子的概念,研究了它们的性质,给出了M的非空子集成为蕴涵滤子及正蕴涵滤子的充要条件和M的蕴涵滤子成为正蕴涵滤子的充要条件.讨论了蕴涵滤子与正蕴涵滤子的关系,得到了M的每一个正蕴涵滤子都是蕴涵滤子,但反之不真.
- 张花荣谢强军
- 关键词:MTL代数
- LFI代数的性质及其与剩余格的关系被引量:1
- 2004年
- 讨论 L FI代数的性质 ,也讨论具有可嵌入性的 L FI代数的性质 ;还给出了定义在完备格上的LFI代数成为剩余格的充要条件。
- 张花荣王龙春
- 关键词:剩余格
- 信息与计算科学专业《离散数学》教学改革探讨
- 2010年
- 本文对信息与计算机专业的离散数学教学内容的选择和教学方法的改革进行研究和探讨。
- 张花荣谢强军
- 关键词:离散数学教学内容教学方法
- R_0代数的滤子理论被引量:6
- 2009年
- 在R0代数中引入了正蕴涵滤子、奇异滤子、MV滤子的概念,讨论了这些滤子的性质及关系。得到了:在R0代数上,蕴涵滤子、正蕴涵滤子、布尔滤子是等价的;奇异滤子与MV滤子是等价的;正蕴涵滤子是奇异滤子,但反之不真。
- 张花荣谢强军
- 关键词:R0代数滤子
- 矩阵求逆的方法被引量:1
- 2011年
- 矩阵是线性代数中非常重要的一部分内容。而矩阵的求逆又是矩阵当中比较重要的一块。该文就如何求矩阵的逆这一问题,结合笔者多年的教学经验,总结出了求矩阵的逆的6种方法。
- 张花荣
- 关键词:矩阵
- R0代数上的导子
- 在R0代数上,引入了导子和单调导子的概念并讨论了相关性质。得到了这些导子的特征定理。我们也研究了R0代数上导子和布尔元的关系。最后我们给出了一些保序导子的等价刻画。
- 张花荣李庆国
- 关键词:导子R0代数
- 代数系统的可嵌入性
- 该文的主要内容如下:第一章:讨论了FⅠ代数及其MP滤子的性质;给出了LFⅠ代数及CLFⅠ代数的定义;讨论了LFⅠ代数的性质;在此基础上,给出了LFⅠ代数可嵌入于全序FⅠ代数乘积的充要条件.事实上,关于LFⅠ代数的这一方法...
- 张花荣
- 关键词:MP滤子
- 文献传递