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