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

1.设在xOy面内有一分布着质量的曲线弧L,在点(x,y)处它的线密度为x,y),用对弧长的曲线积分分别表达: (1)这曲线弧对x轴、对y轴的转动惯量lx,ly (2)这曲线弧的重心坐标x,y

虚拟仪器( Virtual Instrument简称 VI)是计算机技术同仪器技术深层次 结合产生的全新概念的仪器,是对传 统仪器概念的重大突破,是仪器领域 内的一次革命。虚拟仪器是继第一代 仪器—模拟式仪表、第二代仪器 分立元件式仪表、第三代仪器—一数字 式仪表、第四代仪器一智能化仪器之 后的新一代仪器

§3.1 水准测量原理 §3.2 水准仪及其使用 §3.3 自动安平水准仪及数字水准仪 §3.4 水准测量方法 §3.5 微倾式水准仪的检验与校正 §3.6 水准测量的误差分析及注意事项

第8章交流电动机 8.1三相异步电动机的构造 8.2三相异步电动机的转动原理 8.3三相异步电动机的电路分析 8.4三相异步电动机转矩与机械特性 8.5三相异步电动机的起动 8.6三相异步电动机的调速 8.7三相异步电动机的制动 8.8三相异步电动机铭牌数据 8.9三相异步电动机的选择 8.10同步电动机(略) 8.11单相异步电动机

通过本章节的理论教学:了解数控技术的发展过程及其发展趋势 掌握数控机床的组成、工作原理、分类及特点:数控机床的适用范 围:了解常用数控系统

第一节 统计的涵义及作用 第二节 统计学的产生和发展 第三节 统计学的研究对象和研究方法 第四节 统计工作过程 第五节 统计学中的几个基本范畴

第一节两项百分数资料的假设测验 一、单个样本百分数(或成数)的统计假设测验 这是测验一个样本百分数的总体百分数P与某一理论 值或期望值P的差异显著性。由于np和nq都大于5时二项 分布趋近于正态,所以可用u测验,但需进行连续性矫正; 如果np和nq都大于30,则可不进行连续性矫正;如果np 或nq小于5,则宜用二项式展开直接计算或进行连续性矫 正后的t测验,按df=n-1查表

对一维齐次热传导方程的具有齐次边界条件的初边值问题, 或在某些规则区域上的二维甚至三维齐次热传导方程带有齐次边 界条件的初边值问题,可以用上一章介绍的分离变量法求解.现 在考虑高维齐次热传导方程的初值问题

模板与使用 模板就是使程序能够对不同类型的数据进行相同 方式的处理。C++中的模板分为类模板和函数模板 类模板 说明类模板的一般格式为: