简介:本文刻划交换半群的强半格上的最小半格同余,并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
简介:李大潜院士主编的'十一五'国家重点图书出版规划项目《数学文化小丛书》从2007年开始出版,迄今已经出了两辑共20册。这套丛书,以其深远的立意、精当的选题、适中的难度、清新的文笔、隽永的启迪、精美的装帧,成为当今我国科普园中别具一格、引人注目的一族奇葩,受到了广大读者的欢迎和好评。一、贯穿数学与人文融合的理念,着力揭示、弘扬和普及数学的文化内涵,促进全民族思想文化素质的提高,立意深远2005年12月,李大潜院士在丛书的总序中深刻指出:'整个数学的发展史是和人类物质文明和精神文