CHINESE

当代形式逻辑及其在人工智能中的应用理论研究

By 龚启荣

Book information

Publisher
电子工业出版社
Year
2011
ISBN
9787121124075
Language
chinese
Format
PDF
Filesize
32 MB (33285586 bytes)
Pages
435\473
Time added
2024-03-25 00:52:56

Description

《当代形式逻辑及其在人工智能中的应用理论研究》奉献给读者的这部著作是国家“211”工程重点建设大学——贵州大学逻辑学教授龚启荣主持的教育部立项项目“当代形式逻辑及其在人工智能中的应用理论研究”（项目批准号：07JA720006）的最终成果。项目研究小组按申报计划，突破了难点，解决了难题，出色地完成了研究任务，高质量地达到了预期研究目标。 “众人拾柴火焰高”，团队的力量是强大的。项目组研究人员的年龄结构、职称结构等较合理。可以说，这部著作是项目组的老师们20来年集体“拾柴”、刻苦努力所获得的逻辑科学的研究结晶。无论是理论研究还是应用理论研究，著作都达到了国际先进水平。

Similar books