当前位置:首页 > 名称
大约有6,000项符合查询结果项。(搜索耗时:0.0381秒)
为您推荐: 上海交通大学计算机科学技术教研组 press华南师范大学计算机科学研究室 press上海计算机技术服务公司翻 press吉林大学计算机科学系 同济大学计算数学教研室著 沈军著 东南大学计算机科学技术学院
-
-
-
-
-
-
-
-
-
国外计算机科学教材系列 可计算性与数理逻辑
(美)布勒斯(Boolos,G.S.)等著2003 年出版356 页ISBN:7505388282本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改写了某些章节,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。...
-
学科分类