互逆主义逻辑、数学和它们的应用:英文版

作品编号：HWK166403

作者：周训伟著

出版社：中央编译出版社

出版年：2013-03-01

定价：168.0

ISBN：9787511716118

开本：26cm

页数：482

火悟空打分

0.0

共有0人进行评价

我要评价 添加到盒子

互逆主义逻辑、数学和它们的应用:英文版 内容简介

　　Since then， I have been constructing mutually-inversistic mathematical logic. Now， itis fully fledged. It includes mutually-inversistic logic， mutually-inversistic mathematics，and their applications. Mutually-inversistic logic includes two calculi and four theoriesof mutual-inversism， mutually-inversistic granular computing， unified logics. Mutually-inversistic mathematics includes mutually-inversistic analytic geometry， mutually-inversistic mathematical analysis， mutually-inversistic abstract algebra， universal matrix.Applications include logic programming （see Part 4）， automated theorem proving， planningand scheduling， database， semantic network， expert system， program verification， naturallanguage processing， hardware verification， machine learning， data mining， data warehouse，program refinement， many-valued computer， modern control theory， etc...