一、教学目标和教学内容 1．教学目标 掌握梁纯弯曲时横截面上正应力计算公式的推导过程，理解推导中所作的基本假设

一、总需求曲线的推导 1.凯恩斯效应:货币余额的间接 2.凯恩斯总需求曲线的推导: 3.总需求曲线的移动:

一、农业科研成果研制与农户采纳 二、农业科技成果转化理论 三、农业技术扩散与推广 四、农业技术选择

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？

一、积累概率的递推公式 二、算术编码原理 三、算术编码的码长 四、递推公式的应用 五、不做乘法的算术编码

一、推理及其种类 二、有效推理与正确推理 三、命题推理及其特征 四、蕴涵析取推理及其应用

5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5．5．1 推理规则 5．5．2 使用推理规则的推理演算举例 5．6 谓词逻辑的归结推理法

第一节 模态逻辑概述 第二节 模态命题及其推理 第三节 道义命题及其推理

7.1 幂级数型生成函数（多重集的组合） 7.2 指数型生成函数（多重集的排列） 7.3 递推关系

第一节 致伤物推断和认 第二节 损伤时间推 第三节 机械性损伤的死