《BCI-代数引论》 |
---|
http://www.sina.com.cn 2004年01月02日13:42 人民网 |
22004北京图书订货会 新书网上展示 安装阅读软件《BCI-代数引论》出版社:陕西科学技术出版社 自从布尔代数诞生以来,用代数方法研究逻辑问题受到数学家的重视,从而产生了各种各样的代数系统。这些代数系统被称为逻辑代数。有关逻辑代数之间关系的研究,分散在各种文献中。我们综述了30多种逻辑代数的关系,发现一个重要结论:BCK/BCI-代数是处理逻辑代数的一个统一框架。可试读章节人民网经授权制作以上电子书下载,请勿转载。来源:人民网 |