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

曲线积分与曲面积分 前一章我们已经把积分概念从积分范围的角度 从数轴上的一个区间推广到平面或空间内的一个 区域,在应用领域,有时常常会遇到计算密度不 均匀的曲线的质量、变力对质点所作的功、通过 某曲面的流体的流量等,为解决这些问题,需要 对积分概念作进一步的推广,引进曲线积分和曲 面积分的概念,给出计算方法,这就是本章的中 心内容,此外还要介绍 Green公式、 Gauss公 式和 Stokes公式,这些公式揭示了存在于各 种积分之间的某种联系

§９–1 压杆稳定性的概念 §9-2 细长中心受压直杆临界力的欧拉公式 §9-3 不同杆端约束下细长压杆临界力的 欧拉公式 · 压杆的长度系数 §9-4 欧拉公式的应用范围 · 临界应力总图

▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式

一、导数公式 二、基本积分表:

正交试验方差分析法。试验数据构造模型。方差分析建立的基础参数估计、变差平方和分解公式、自由度分解公式及相应的计算公式

8.1 小流域设计暴雨、设计洪水的特点 8.2 推理公式 8.3 推理公式中的参数选择和应用 8.4 小流域设计洪峰流量的计算 8.5 经验公式法推求设计洪峰流量

由牛顿——莱布尼兹公式,可以通过不定积分来 计算定积分.一般是将定积分的计算截然分成两步: 先计算相应的不定积分,然后再运用牛顿—莱布尼 兹公式代值计算出定积分.这种作法相当麻烦,我们 希望将不定积分的计算方法与牛顿——莱布尼兹公式 有机地结合起来,构成定积分自身的计算方法定 积分的换元法和定积分的分部积分法

1. 理解点到直线距离公式的推导; 2. 熟练掌握点到直线的距离公式; 3. 会用点到直线距离公式求解两平行线距离

 1. 原函数与不定积分的概念  2. 积分计算公式 §3.4 原函数与不定积分 §3.5 Cauchy积分公式 §6 解析函数的高阶导数