MARC状态：已编 文献类型：中文图书 浏览次数：35
- 题名/责任者:
- 互逆主义逻辑与Super-Prolog语言/周训伟著
- 出版发行项:
- 北京:中国科学技术出版社,2002
- ISBN及定价:
- 7-5046-3347-X/CNY25.00
- 载体形态项:
- 362页;20cm
- 个人责任者:
- 周训伟 著
- 学科主题:
- Super-Prolog语言-逻辑设计
- 中图法分类号:
- TP312PR
- 提要文摘附注:
- 本书阐述的互逆主义逻辑，是在克服经典逻辑的局限性，在继承中国和西方已有的逻辑理论的基础上，开创性地提出互逆主义逻辑理论，并在互逆主义逻辑和已有人工智能程序设计语言Prolog的基础上，构造出功能更强的人工智能程序设计语言Super-Prolog，互逆主义逻辑继承了古典逻辑、形式逻辑、中国古代逻辑、相干逻辑、模态逻辑、古典归纳逻辑、多值逻辑、辨证逻辑和布尔代数的优点，并有许多创新。
- 使用对象附注:
- 读者对象：逻辑、计算机、数学、哲学、科学方法、法学、语言学科的大学生、研究生，教学与科研工作者
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| TP312PR/9 | 386507 |  密集库1
|
可借 | |
| TP312PR/9 | 386509 | 密集库1
|
可借 | |
| TP312PR/9 | 386510 | 洪庆校区
|
可借 | |
| TP312PR/9 | 386511 | 洪庆校区
|
可借 | |
| TP312PR/9 | 386506 | 内阅图书
|
可借 | |
| TP312PR/9 | 386508 | 金花馆
|
可借 |
显示全部馆藏信息