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

本章讨论的虚位移原理（Principleofvirtualdisplacement），是用数学分析的方法研究任意非自由质点系的平衡问题，平衡条件表现为主动力在系统的虚位移上所做虚功的关系。虚位移原理给出任意非自由质点系平衡的必要与充分条件，是解决质点系平衡问题的普遍原理，可称为分析静力学（Analyticalstatics）

一 理论上的可计算与现实上的可计算 二 算法时间复杂度分析 2.1概念、数学表示 2.2时间复杂度分析 2.2.1循环 2.2.2递归

本章对质点（一种特殊的刚体）在惯性参考系中的位置变化进行分析。并给出动点，动点的轨迹，动点的速度矢量，动点的加速度矢量等基本概念。并以不同的几种方试对上述概念进行数学描述

一、基本QR方法 60年代出现的QR算法是目前计算中小型矩阵的全部特征值与 特征向量的最有效方法。实矩阵、非奇异。 理论依据：任一非奇异实矩阵都可分解成一个正交矩阵Q和 一个上三角矩阵R的乘积，而且当R的对角元符号取定时，分解是唯一的

（ 1） 都是非数值型的非线性函数的逼近器、估计器、和动态系统； （2） 不需要数学模型进行描述，但都可用数学工具进行处理； （3）都适合于VLSI、光电器件等硬件实现

一、理论要求 1.函数概念与性质 函数的基本性质（单调、有界、奇偶、周期）几类常见函数（复合、分段、反、隐、初等函数） 2.极限 极限存在性与左右极限之间的关系夹逼定理和单调有界定理会用等价无穷小和罗必达法则求极限

§1.实数 §2.叙列的理论 §3.函数的概念 §4.函数的图形表示法 §5.函数的极限 §6.函数无穷小和无穷大的阶 §7.函数的连续性 §8.反函数.用参数表示的函数 §9.函数的一致连续性 §10.函数方程

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

一、排课表问题—求二部图的正常 χ′(G)边染色 1. 问题： 有 m 位教师 m x , x , , x 1 2 \ ，n 个班级 n y , y , , y 1 2 \ 。教师 xi 每周需要给班级 yj上 pij 次（节）课。要求制订一张周课时尽可能少的课程表