剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 2 与可计算性与数理逻辑 相关的结果,耗时1 ms rss sitemap
标签:数学,逻辑学,逻辑,人工智能,计算理论,计算机,数理逻辑,计算机科学, 原作名:Computability and Logic
作者:布勒斯 (George S. Boolos) 出版年月:2020-02-20 … 页数: 356 页 最新访问:2021-07-16 … 网友评分:
经典好书《可计算性与数理逻辑》读书内容简介:修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成...详情
标签:数理逻辑,数学,计算机科学,计算机,逻辑,逻辑学,哲学,计算, 原作名:
作者:布勒斯 出版年月:2020-02-20 … 页数: 288页 最新访问:2021-08-15 … 网友评分: 8.4
经典好书《可计算性与数理逻辑》读书内容简介:订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如歌德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为...详情
1 >