当前位置：首页 > 名称
大约有6,000项符合查询结果项。（搜索耗时：0.0223秒）
为您推荐： 华南师范大学计算机科学研究室 press华南热带作物科学研究院科技情报研究所 press香港科技大学华南研究中心 复旦大学计算机科学系微型机开发应用研究室 press华南热带作物科学研究院科技情报所 press武汉市科学技术情报研究所 武汉计算机检索及其用户协会
-
-
-
-
-
-
-
-
-
-
国外计算机科学教材系列 可计算性与数理逻辑
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
学科分类