第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论

一、主要内容 理论依据

一、生产函数的概念 1.定义 描述生产技术状况给定条件下，生产要素的投入量与最大产出量之间的物质数 量关系的函数式

1.设谐振子基态变分函数为v=Nexp(-ax2),试用归一化法求系 数N,并用变分法计算基态平均能量和参数c

§6-1 气体动理论的基本概念 §6-2 气体的状态参量、平衡状态、理想气体状 态方程 §6-3 气体动理论的压强公式 §6-4 气体分子的平均平动动能与温度的关系 §6-5 能量按自由度均分原则、理想气体的内能 §6-6 麦克斯韦速率分布定律 §6-7 波耳兹曼分布律 §6-8 分子的平均自由程和平均碰撞次数 §6-9 实际气体的范德瓦耳斯方程 §6-10 气体内的迁移现象

重点难点 (1)有效碰撞理论和过渡状态理论的要点及物理图像 (2)活化能的概念和意义; (3)质量作用定律; (4)反应的分子数与反应级数的关系 (5)浓度、温度、催化剂影响反应速率的实质;

1 速率分布函数 f (v) 的物理意义是什么?试说明下列各量的物理意义( n 为分子数密度

第一章 初等积分法 第二章 基本定理 第三章 线性微分方程组 第四章 线性微分方程 第五章 定性和稳定性理论简介

众所周知,样条函数无论在理论上还是在应用中都具有十分 重要的意义。鉴于客观事物的多样性和复杂性,开展有关多元样 条函数方面的理论研究无疑是极为重要的60年代至70年代初, G. Birkboff,h.l. Garabedian和 arl de Boor等研究并建 立了一系列关于 Cartesian乘积型的多元样条理论 Cartesian 乘积型多元样条虽然有一定的应用价值但有很大的局限性,且在 本质上可以看作是一元样条函数的简单推广 1975年,本书著者采用函数论与代数几何的方法

1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论