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

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

  • 标签: 蕴涵格 蕴涵滤子 同余关系 商蕴函格
  • 简介:蕴涵代数中的滤子是值逻辑推理中的一类重要代数结构.本文给出了利用蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:主要讨论了在一定条件下半环的强分配S上的环同余ρ与半环族(Sα)α∈D上的环同余族(ρα)α∈D之间的关系.

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

  • 标签: