大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 互逆主义逻辑与Super-Prolog语言
名称 互逆主义逻辑与Super-Prolog语言
索引号 612961
分类号
(| 08 环境公报)
作者 周训伟、
出版社 北京 : 中国科学技术出版社, 2002
ISBN 7-5046-3347-X
页数 362页 : 图 ; 20cm
价格 CNY25.00
标签 prolog、数学、编程与语言、计算、计算机、逻辑、
简介
注解 有书目 (第362页) 本书阐述的互逆主义逻辑，是在克服经典逻辑的局限性，在继承中国和西方已有的逻辑理论的基础上，开创性地提出互逆主义逻辑理论，并在互逆主义逻辑和已有人工智能程序设计语言Đ₂Đ̣Đ̐Đ︡Đ̐Đ̇的基础上，构造出功能更强的人工智能程序设计语言Đ₅Đ̳Đ̧Đ̄Đ̣－Đ₂Đ̣Đ̐Đ︡Đ̐Đ̇，互逆主义逻辑继承了古典逻辑、形式逻辑、中国古代逻辑、相干逻辑、模态逻辑、古典归纳逻辑、多值逻辑、辨证逻辑和布尔代数的优点，并有许多创新・