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

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

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

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

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

河南理工大学计算机科学与技术专业培养方案

演示演讲PPT成功案例：泛系理论与计算机科学

本文简要回顾了计算数学和科学计算的发展历史，从数值代数、数值逼近、最优化方法和微分方程计算方法等4个方面简要介绍了计算数学的主要研究内容和最新进展，最后提出进一步发展我国科学计算的建议

一、计算、计算模型与计算机 二、 电子计算机前史 三、现代计算机体系结构 四、计算科学导论的研究范畴

1.计算的平台与环境问题 2.计算过程的能行操作与效率问题 3.计算的正确性问题