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

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

中国科学院：具有传感非线性的离散时间多主体系统的状态趋同（PPT讲稿，数学与系统科学研究院：陈姚）

微积分研究的主要对象是函数因此,如何寻找函数 关系,这在实践中具有十分重要的意义 在自然科学、生物科学以及经济与管理科学的许多领 域中,反映变量之间内在联系的函数关系,往往都不能直接 得到,而必须通过建立实际问题的数学模型——微分方程

授课对象：材料科学与工程专业本科生；课程性质：任选；先修课程：传热学、电工学、高等数学、流体力学、数理统计

数值计算方法研究的对象与特点 数值计算方法：研究适合计算机 进行科学计算的方法

一、误差的背景介绍 ( Introduction ) 1. 来源与分类 ( Source & Classification ) 模型误差 ( Modeling Error ): 从实际问题中抽象出数学模型

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

• 计算方法 • 科学与工程计算 构造数值算法的基本思想 近似替 代 离散化 递推化

计算不仅仅只是作为验证理论模型的正确性的手段，大量的事实表明它已成为重大科学发现 的一种重要手段。 科学计算与实验、理论三足鼎立，相辅相成， 成为当今科学活动的三大方法