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

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

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

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

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

麻省理工学院：《电气工程与计算机科学》学习资料_Week2

麻省理工学院：《电气工程与计算机科学》学习资料_osmosisequations

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

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

§1 热化学计算 §2 热力学计算 §3 热力学计算举例