当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0265秒）
为您推荐： 胡家宝编著 武汉理工大学计算机科学与技术学院 浙江中医学院计算机科学与技术系赴临安社会实践小分队 孙志挥编著 东南大学计算机科学技术学院 计算机科学技术与应用 辑部 教育部高等学校计算机科学与技术教学指导委员会制 计算机科学与技术学院编
-
-
-
集论与逻辑 面向计算机科学
沈恩绍著2003 年出版198 页ISBN：703011047121世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
-
-
-
-
-
-
-
学科分类