如果研究的对象的机理比较简单，一般用 静态、线性、确定性模型描述就能达到建 模的目的，我们基本上可以用初等数学的 方法来构造和求解模型。 这样的模型我们一般称其为初等模型

模型是反映某事物某些属性的一个结构. (仿 制品) 这种结构有实物型的,也有抽象的.从而 模型有实物模型和抽象模型之分.如飞机模 型、建筑物模型等是实物模型,而数学模型 是抽象模型. 所谓抽象模型是用字母、符号、关系式等 抽象语言刻划出某种特定事物的一个结构

一. 量纲齐次原理 许多物理量是有量纲的,其中有些物理量的量 纲是基本的,有些物理量的量纲则可以依定义 或物理定律推导出来.量x量纲记号[x]如:

重点: 1、命题(简单命题, 复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假) 3、等值演算( 证明A  B) 4、联结词完备集 ( 用指定联结词表示任意公式) 5、主析（主合）取范式, 成真(假)赋值 6、推理证明(推理规则)

6.1 半群与群 6.2 格与布尔代数

4.1 集合的笛卡尔积与二元关系 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义和性质 4.7 函数的复合和反函数

3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数

为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容

1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论

1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论