一、通过本章节的理论教学：使学生熟悉数控机床的控制面板、操作方法及刀具补偿设置。 二、 控制面板、操作方法及刀具补偿设置 三 、操作方法及刀具补偿设置 四、理论 6 学时，实验 4 学时

线性规划(LP) 问题与建模 二维线性规划图解法 计算机解法 极小化下的求解与大M法 灵敏度分析 对偶规划 LP求解步骤与OR软件包操 建模与案例分析

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

8.1图的定义及相关术语 8.2通路回路图的连通性 8.3图的矩阵表示 8.4例题选解

本章内容重点： 多阶段决策过程的最优化 动态规划的基本概念和基本原理 动态规划方法的基本步骤 动态规划方法应用举例

⚫ 10.1 基本概念 ⚫ 10.2 最短路问题 （一）Bellman最优化原理 （二）Dijustra算法（双括号法） （三）通信线路布施问题 （四）设备更新问题 ⚫ 10.3 最小生成树 （一）基本概念与理论 （二）Kruskal算法（加边法、破圈法） （三）丢边法（破圈法） ⚫ 10.4 最大流问题 （一）基本概念 （二）双标号算法 ⚫ 10.5 最小费用最大流 （一）基本概念 （二）求解算法

7.1 运输模型 7.2 运输问题的计算机求解 7.3 运输问题的应用 一、产销不平衡的运输问题 二、生产与储存问题 三、转运问题 7.4 运输问题的表上作业法 一、确定初始基本可行解 二、最优解的判别 三、改进运输方案的办法——闭回路调整法 四、如何找多个最优方案

4.1序偶与笛儿积4,7序关系 4.2关系及表示 4.3关系的运算 4.4关系的性质 4.5关系的闭包

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二