|
题名:
|
多值逻辑函数结构理论研究 / 刘任任，欧阳建权著 , |
|
ISBN:
|
978-7-03-025868-7 价格： CNY55.00 |
|
语种:
|
chi |
|
载体形态:
|
295页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2010 |
|
内容提要:
|
本书系统地阐述了多值逻辑函数的结构理论；详细地介绍了部分多值逻辑中Sheffer函数的判定与构造问题；重点介绍了作者提出的部分多值逻辑中准完备集之间的相似关系概念等。 |
|
主题词:
|
多值逻辑(数理逻辑) 研究 |
|
中图分类法:
|
O141.3 版次： 4 |
|
主要责任者:
|
刘任任 著 |
|
主要责任者:
|
欧阳建权 著 |
|
附注:
|
国家自然科学基金项目(No：60083001,60673193)、湖南省自然科学基金项目(No：03JJY3099，97JJN2027)、湖南省教育厅重点项目(No：07A067)、湖南省“十一五”重点学科“计算机软件与理论”建设项目 |