1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

大纲要求： 汇编、编译、解释系统的基础知识和基本工作原理。 程序设计语言的基本成分一数据、运算、控制和传输以及过程（函数）调用。 各类程序设计语言的主要特点和适用情况

第1节 单纯形法的矩阵描述 第2节 改进单纯形法 第3节 对偶问题的提出 第4节 线性规划的对偶理论 第5节 对偶问题的经济解释——影子价格 第6节 对偶单纯形法 第7节 灵敏度分析 第8节* 参数线性规划

通过理论分析和实验验证,证实冶金熔体泡沫演化过程中存在由球状泡沫到多面体泡沫的转型.泡沫转型前的演化速率可由伽利略数Ga定性判断,而泡沫转型后的多面体泡沫破灭阶段,可以用量纲为一的因子Sa来定性判断.应用泡沫转型理论,解释了冶金熔体与常温溶液泡沫衰减过程机理的差异,也给出了内生气源更容易发泡的原因

完成了一个故障模糊诊断专家系统(Fault Fuzzy Diagnose Expert System).FFDES由知识库维护、故障诊断、诊断解释、列表打印4个基本模块组成,此系统基于模糊数学中的模糊变换的原理建立推理诊断机制,经实例考察,结果满意

讨论了强激光场下单壁纳米管的声子增益效应.采用含时微扰方法计算了不同温度下声子占据数随时间的变化率(声子增益系数).计算结果表明,在强激光场下纳米管中的声子占据数随时间非线性增加,增益系数与温度和激光场强都有关系.随着温度升高,声子增益系数迅速减小;在确定的温度情况下,激光场强越强,声子增益效应越明显,并对这个现象给出了合理的物理解释

结合某钢厂RH精炼装置,运用数值模拟的方法对脱气时的流场进行了计算,得出了该型号RH装置在该厂操作条件下的流场,并成功解释了操作中遇到的一些现象.利用实践生产中的经验公式与数据对模拟结果进行了验证,结果表明模拟结果可靠.最后利用该模型计算了RH内钢液的湍动能耗散情况以及钢液循环流量与吹Ar量的关系,并给出了最佳吹Ar量的控制范围

本文讨论了传统计算气体逸度的准确方法——α函数图解积分法,在实际计算中的麻烦和误差。并指出了当压力趋近于零而α函数不为零的原因。本文提出的Z函数图解积分法,利用原试验数据仅改变图解积分的函数形式,就克服了α函数法的缺点,并指出了α函数法计算误差的性质,又为Z函数近似计算法的应用条件和适用范围做了说明,从而得到一个在理论解释和计算误差上,都优于α函数的方法。具有实际意义的是,Z函数法可估计出气体服从理想气体方程式的压力范围

 回归（Regression，或Linear Regression）分析变量间的关系，有明确的因果关系假设。  即要假设一个变量为自变量，一个为因变量，用回归表示自变量对因变量的影响。  如年龄对收入的影响。[解释]  由于回归构建了变量间因果关系的数学表达，它具有统计预测功能

3.1 遗漏变量 3.2 无关变量 3.3建模策略:“由小到大”or“由大到小” 3.4 解释变量个数的选择 3.5 对函数形式的检验 3.6 多重共线性 3.7 极端数据 3.8 虚拟变量 3.9 经济结构变动的检验 3.10 缺失数据与线性插值 3.11 变量单位的选择