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

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

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

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

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

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

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

文档格式：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　文档大小：155.12KB　文档页数：6

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

文档格式：DOC　文档大小：0.98MB　文档页数：16

江西科技学院：《电工电子技术》课程教学资源（试卷习题）《电工电子技术（2）》练习题册（计算机科学、物联网专业，无答案）

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

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