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