侯世达
Language: Chinese
Google Books ISBN
本书以精心设计的结构和巧妙的笔法介绍了数理逻辑,人工智能等学科领域中的许多艰深的理论课题.主要内容包括:一首音乐-逻辑的奉献;WU谜题;数学中的意义和形式;图形与衬底;一致性,完全性与几何学;递归结构和递归过程;意义位于何处等.
Description:
本书以精心设计的结构和巧妙的笔法介绍了数理逻辑,人工智能等学科领域中的许多艰深的理论课题.主要内容包括:一首音乐-逻辑的奉献;WU谜题;数学中的意义和形式;图形与衬底;一致性,完全性与几何学;递归结构和递归过程;意义位于何处等.