德国物理学家和生理学 家．他在J. P.焦尔和J. R.迈尔 的能量守恒研究的基础上，于 1847年发表了《论力(即现称 能 量)守恒》的讲演，首先系 统地以数学方式阐述了自然界 各种运动形式之间都遵守能量 守恒这条规律．这对近代物理 学的发展起了很大作用．所以 说亥姆霍兹是能量守恒定律的 创立者之一．

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

教学目的 集合论是本课程的基础. 本节将引入集的概念与集的运 算, 使学生掌握集和集的运算的基本概念. 本节要点 De Morgan公式是以后常用的公式. 证明两个集的相等是 经常要遇到论证, 应通过例子使学生掌握其基本方法.集列的极限是一种 新型的极限, 学生应注意理解其概念

集合论的基础是由德国数学家 Cantor 在 19 世纪 70 年代奠定 的。 集合：指具有某种特定性质的具体的或抽象的对象汇集成的总 体。 这些具体的或抽象的对象称为该集合的元素

一、误差与稳态误差 1．定义 ⑴ 误差的两种定义： a. 从输出端定义:等于系统输出量的实际值与希望值之差。 这种方法在性能指标提法中经常使用，但在实际系统中 有时无法测量。因此，一般只具有数学意义

一.到达的规律 现实中有许多服务系统，其顾客的到达具有下述特征： （1）无后效性：任一时段的到达数不受前一时段的影响； （2）平稳性：顾客到达是均匀的； （3）稀有性：瞬时内

第一节 排队的基本概念 第二节 到达与服务的规律 第三节 M/M/1排队模型 第四节 M/M/C排队模型 第五节 M/G/1排队模型 第六节 排队系统优化

网络——赋权图，记D=（V，E，C），其中C={c1，…，cn}， ci为边ei上的权（设ci ）。 网络分析主要内容——最小部分树、最短路、最大流

整数规划——变量只能取整数的规划问题。 当变量只能取0或1两个值， 称0-1规划。 整数规划分类： 纯整数规划——全部变量为整数。 混合整数规划——部分变量为整数。 本节主要介绍0-1规划的模型建立