学科分类
/ 1
8 个结果
  • 简介:蕴涵代数中的滤子是值逻辑推理中的一类重要代数结构.本文给出了利用蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:令C为复数域,G为有限群。由于每个CG-模可以写成不可约CG-模的直和,于是对表示的研究实际转化成了对不可约表示的研究。而群的忠实表示可以比较好地体现原有群的性质,所以,对于给定的群,找出该群所有不可约忠实表示是很有意义的。而对于一般有限群来说,找出其所有不可约忠实表示并不容易。本文我们给出了有限阿贝尔群G的所有不可约忠实表示。

  • 标签: 有限阿贝尔群 不可约表示 忠实表示 循环群
  • 简介:针对分配判定时容易出错这一教学难题,提出可以利用学生专业特点从而结合计算机这一工具来帮助解决,并通过一个典型例子来具体说明,该例子同时也指出了教材习题解答书中的一处错误.认为本文提出的这一教学思想对于离散数学的教学有一定的启示.

  • 标签: 分配格 判定 离散数学
  • 简介:在蕴涵中引和了蕴涵滤子的概念,讨论了蕴涵滤子的一些基本性质,并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵,以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。

  • 标签: 蕴涵格 蕴涵滤子 同余关系 商蕴函格
  • 简介:设G是有限群,为复数域。要想找到所有不可约CG-模,一种方法是把正则CG-模CG进行直和分解,这在G的阶数比较小时不难做到,但当G的阶数比较大时计算起来比较繁琐。对于任意自然数n,本文给出了循环群Cn和二面体群D2。的正则CG-模CG的不可约模的直和分解,和这些不可约模间的同构关系。我们的方法是先构造出不可约的CG-子模,满足直和条件,从而得到正则CG-模CG的不可约模的直和分解。再运用模论知识得到这些不可约模间的同构关系。

  • 标签: 不可约CG-模 正则CG-模 范德蒙矩阵 直和分解
  • 简介:主要讨论了在一定条件下半环的强分配S上的环同余ρ与半环族(Sα)α∈D上的环同余族(ρα)α∈D之间的关系.

  • 标签: 半环的强分配格 环同余
  • 简介:李大潜院士主编的'十一五'国家重点图书出版规划项目《数学文化小丛书》从2007年开始出版,迄今已经出了两辑共20册。这套丛书,以其深远的立意、精当的选题、适中的难度、清新的文笔、隽永的启迪、精美的装帧,成为当今我国科普园中别具一、引人注目的一族奇葩,受到了广大读者的欢迎和好评。一、贯穿数学与人文融合的理念,着力揭示、弘扬和普及数学的文化内涵,促进全民族思想文化素质的提高,立意深远2005年12月,李大潜院士在丛书的总序中深刻指出:'整个数学的发展史是和人类物质文明和精神文

  • 标签: