计算科学文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：126.36KB　文档页数：7

国家开放大学：2009—2010学年第一学期“开放本科”计算机科学与技术专业离散数学（本）期末试题（半开卷）

文档格式：PDF　文档大小：107.07KB　文档页数：5

国家开放大学：2012—2013学年第一学期“开放本科”计算机科学与技术专业离散数学（本）期末试题（半开卷）

文档格式：PDF　文档大小：117.6KB　文档页数：5

国家开放大学：2008—2009学年第二学期“开放本科”计算机科学与技术专业离散数学（本）期末试题（半开卷）

文档格式：PDF　文档大小：130.65KB　文档页数：5

国家开放大学：2008—2009学年第一学期“开放本科”计算机科学与技术专业离散数学（本）期末试题（半开卷）

文档格式：PDF　文档大小：2.44MB　文档页数：77

南京大学：计算机科学与技术系学习指导（PPT讲座）研究生学习培养要求与指南（课题组内使用）

文档格式：PPT　文档大小：899KB　文档页数：86

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

文档格式：PDF　文档大小：3.31MB　文档页数：408

《理论计算机科学》课程教学资源（阅读文献）Analysis Of Boolean Functions（Ryan O’Donnell）

文档格式：PDF　文档大小：3.13MB　文档页数：27

南京大学：计算机科学与技术系学习指导（PPT讲座）第二讲欲立业先立人－大学时代个人品德和综合素质的培养

文档格式：PDF　文档大小：289.07KB　文档页数：6

《改变生活的生物技术》课程教学资源（阅读材料）计算机科学与技术

文档格式：DOCX　文档大小：34.65KB　文档页数：3

《改变生活的生物技术》课程教学资源（阅读材料）计算机科学与技术