1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

在许多随机试验中，需要考虑的指标不止一个。例如，考查某地区学龄前儿童发育情况，对这一地区的儿童进行抽样检查，需要同时观察他们的身高和体重，这样，儿童的发育就要用定义在同一个样本空间上的两个随机变量来加以描述。又如，考察礼花升空后的爆炸点，此时要用三个定义在同一个样本空间上的随机变量来描述该爆炸点。在这一章中，我们将引入多维随机变量的概念，并讨论多维随机变量的统计规律性

本文以钙硫系易切削结构钢为主要研究对象,借助于定量图像分析仪、电子探针、扫描电镜等仪器和设备,探讨了钢中非金属夹杂物与钢切削性能的相关性。研究钢中非金属夹杂物尺寸对刀具寿命的影响,结果表明:本试验条件下夹杂物对刀具寿命的临界影响尺寸为8μm。还研究了非金属夹杂物的间距、均匀性及数量对刀具寿命的影响。最后,建立了描述非金属夹杂物特征参数与刀具寿命关系的数学模型。试验表明,刀具寿命（T）主要受钢中非金属夹杂物有效颗粒数（Ne）和分布均匀度（H）的影响

变压变频调速的基本控制方式 异步电动机电压－频率协调控制时的机械特性 电力电子变压变频器的主要类型 变压变频调速系统中的脉宽调制（PWM）技术 基于异步电动机稳态模型的变压变频调速 异步电动机的动态数学模型和坐标变换 基于动态模型按转子磁链定向的矢量控制系统 基于动态模型按定子磁链控制的直接转矩控制系统

运输、指派和转运问题，实际上都可以用 L.P. 模型加以描述，所以可以认为它们是 L.P. 的特例 单列一章的原因在于：应用面极广，实践性 很强，而特有的数学结构使得人们设计出了 特别有效的方法对此类模型进行求解 本章的重点在：掌握表格化方法求解运输、 指派、转运问题的模型

一、计量经济学 1、计量经济学( Econometrics)的定义:计量经济学是以揭示经济活动中客观存在的数量关系为内容的经济学分支学科。是经济学理论、统计学与数学的结

用数学方法表示命题陈述的逻辑结构，将形式逻辑归结为代数演算， 称为 “布尔代数”。将布尔代数用于集成电路逻辑门，称为逻辑代数

1.1 概述 在人类的社会与科技发展史上，图画和图形 占据重要的地位，人们往往习惯于用图来描述生 活和表达思想。 随着人类社会生产规模的扩大和科学技术的 进步，图形作为一种重要的工具和信息载体，其 绘制的精度和数度要求也不断提高，图形的种类 也日趋繁多和复杂。为了对各种图形进行更为深 入的研究和应用，人们运用数学方法来描述他们 的性质和规律，即所谓的形数结合

很多有机化合物的分子有多原子构成，具有很复 杂的结构，分子的不同结构对化合物的化学性质有很 大的影响，所以研究分子结构有很重要的意义，迄今 为止，人们还未能建立一种能刻划所有分子结构的理 论，但是人们已经成功地建立了一些分子结构的数学 模型，利用电子计算机得出某些新的化合物的新结构， 或事先用电子计算机给出某些新的化合物的结构造型， 然后指导人工合成这种新的化合物