5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理

• 船船动力装置总论 • 推进装置设计 • 船舶后传动设备 • 船舶管路系统 • 船舶推进装置的特性与配合 • 船舶动力装置设计 • 船舶动力装置的含义及组成 • 船舶动力装置的类型及特点 • 船舶动力装置的基本特性指标 • 对船舶动力装置的要求

变温平推流反应器 一、工业实际中，没有一个反应器是绝对等温的 物料衡算式、浓度分布 热量衡算式、浓度分布

一、中 国 邮 递 员 问 题 二、推 销 员 问 题 三、建模案例：最佳灾情巡视路线 （一） 欧 拉 图 （二） 中 国 邮 递 员 问 题 （一） 哈 密 尔 顿 图 （二） 推 销 员 问 题

语法分析是编译程序的核心部分、语法分析的作用是识别 由词法分析给出的单词符号序列是否是给定文法的正确句子 （程序）， 自顶向下分析法也就是从文法的开始符号出发企图推导 出与输入的单词串完全相匹配的句子，若输入串是给定文法 的句子，则必能推出，反之必然出错。自顶向下分析法又可 分为确定的和不确定的两种，确定的分析方法需对文法有一 定的限制，但由于实现方法简单、直观，便于手工构造或自 动生成语法分析器，因而仍是目前常用的方法之一。不确定 的方法即带回溯的分析方法(又称回溯法)，这种方法实际上 是一种穷举的试探方法，因此效率低，代价高，因而极少使 用

1. 中小流域常常流量资料不足或代表性差，无法直接用流量资料推求设计洪水，需用暴雨资料。 2. 人类活动对径流的影响，破坏了洪水资料系列的一致 性。 3. 为了对比论证设计成果的合理性。 4. 无资料地区小流域的设计洪水 5. 可能最大降水/洪水

轴承是用来支承轴和装在轴上的回转零件的部件。根据 轴承工作时的摩擦性质, 轴承分为滚动轴承和滑动轴承 两大类。而每一类轴承,按其所能承受的载荷方向的不同, 又可分为向心轴承）(只承受径向载荷,也可称为径向轴 承、推力轴承（只承受轴向载荷和向心推力轴承(同时承 受径向和轴向载荷)。轴承和轴颈为滑动摩擦的轴承称为 滑动轴承

一 人民群众是个人历史范畴 人民群众从本质上来说是指一切对社会发展起推动作用的人们，从量上来说 是指社会人口中的绝大多数。在不同的历史时期，人民群众有着不同的内容，包 含着不同的阶级，阶层和集团。人民群众的最稳定的主体部分是始终从事物质资 料生产的劳动群众及其知识分子。 在社会历史发展过程中，人民群众起着决定性的作用。人民群众是历史的主 体，是历史的创造者。人民群众创造历史的作用的同社会基本矛盾运动推动社会 前进的过程相一致的

问卷设计是一门技巧性很强的学问，一份设计巧妙的问 卷应当使被访问者完全明确调查的意图并乐意配合作出正确 的回答，同时使得调查机构便于对调查进行计算机处理并作 出推断与预测。 这样就要求调查问卷的设计者不仅要有大量的统计推断 知识，而且要对调查内容的有关知识有所了解。例如，调查