|
Mutually-Inversistic Logic, Mathematics, and Their Applications |
|
|
 |
|
Author(s): Zhou Xunwei |
|
Publisher: Central Compilation & Translation Press
Published Date: 2013
ISBN: 9787313087362
Pages: 462
Language: English
Type: Book
Cover: Hard Cover
|
|
Our Price: $75.00
Avail: In-Stock |
|
|
Description
Since then,I have been constructing mutually-inversistic mathematical logic. Now,it is fully fledged. It includes mutually-inversistic logic,mutually-inversistic mathematics,and their applications. Mutually-inversistic logic includes two calculi and four theories of 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,planning and scheduling,database,semantic network,expert system,program verification,natural language processing,hardware verification,machine learning,data mining,data warehouse,program refinement,many-valued computer,modern control theory,etc...
|