布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

一、掌握色谱法的定义和分类。 二、掌握色谱法的重要基本概念：分配系数、容量因子、保留时间、保留体积、死时间、死体积、峰宽、半峰宽、分离度、保留指数等及其相互关系。 三、熟悉四种色谱方法的基本原理和两相的特点。 四、掌握塔板理论的要点及塔板数、塔板高的计算。 五、掌握速率理论的要点，熟悉Van Deemter方程各项意义及影响因素

7-1酸碱质子理论 7-2影响酸碱平衡的因素 7-3酸碱水溶液酸度的计算

对负载感应型泵控系统进行理论分析,建立了描述其动特性的数学模型.在此基础上开发了仿真软件.理论计算与实验结果进行对比,说明提出的设置假想容积的方法所建立的数学模型是可靠的.管路中液体按集中参数处理可加快计算速度

针对轧件弹塑性变形与轧辊弹性变形计算分离的弊端,用轧制力分布系数将这2个模型结合起来,并解决了此2个模型之间的耦合问题.理论计算结果在1700mm热连轧机组样品进行验证,理论和实践两者符合较好

第一节 水力学的任务及其发展概况 一、水力学的任务 二、水力学发展简史 第二节 液体的主要物理性质及作用于液体上的力 一、液体的质量和密度 二、液体的重量和容重 三、液体的粘滞性 四、液体的压缩性 五、液体的表面张力 六、作用于液体上的力 第三节 液体的基本特征和连续介质的概念 一、液体的基本特征 二、连续介质假设 三、理想液体的概念 第四节 水力学的研究方法 一、科学试验（试验研究方法） 二、理论分析（理论研究方法） 三、数值计算（数值研究方法）

通过煤自然发火实验和松散煤体粒度与氧化自燃性关系实验,推算出煤自燃过程中一些特性参数的计算公式.根据多孔介质流体力学、传质和传热学理论,建立了松散煤体漏风流流场、氧浓度场和温度场的数学模型.通过实验和理论分析,建立了松散煤体自然发火的三维动态数学模型,分析了模型边界条件的确定方法,并采用有限差分法对二维模型进行了数值求解

• 递归函数和不动点算子，以及PCF语言的编程实例 • 基于完全偏序集合的，带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法，这是一种对递归定义进行推理的证明方法

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

一、计算机应用：与计算机使用相关联的领域。 二、计算机具体应用：计算机在各行各业的具体应用。 三、计算机应用技术：计算机应用于各具体领域的共性理论、方法和技术。 四、应用数学：计算机应用技术的基础理论