当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0192秒）
为您推荐： 吉林大学计算机科学系 南京大学数学系计算数学专业 复旦大学计算机科学系微型机开发应用研究室 press华南师范大学计算机科学研究室 press复旦大学计算机科学研究所 press上海交通大学计算机科学技术教研组
您是不是要找：
-
-
-
-
-
-
-
离散数学结构及其在计算机科学中的应用
特伦布莱（Tremblay，J.P.），马诺哈（Manohar，R.）同著；罗远诠译1982 年出版436 页ISBN：13119·966译自:Discretemathematioalstruotureswithapplicationstocomputerscince:本书是离散数学方面的一本引论性入门书
-
-
集论与逻辑 面向计算机科学
沈恩绍著2003 年出版198 页ISBN：703011047121世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
-
学科分类