逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

建筑施工流水作业最小施工段数及总工期的一般计算公式 【工业技术】

电工常用公式速查手册 【工业技术】

本书内容包括电工学常用基本公式、变配电系统常用计算公式、电力变压器常用计算公式、电气照明系统常用计算公式、电动机常用计算公式、低压与高压电器常用计算公式、电气仪表常用计算公式、电子元器件与电...

机械设计手册 第1卷 第2篇 常用资料和数学公式 第2版 【工业技术】

多元有理函数系统与电网络 【工业技术】

鉴于实数域上系统和电网络理论不便于研究系统和电网络的结构性质的问题，作者提出用多元有理函数域F(z)上的矩阵描述系统和电网络的系数矩阵，将系统和电网络描述基于多元有理函数域F(z)上，研究系统和电网络的结...

经济负荷分配程序 根据水价微增率最优步长向量矩阵计算公式编制 【工业技术】

化学工程师实用数据手册 Perry's标准图表及公式 【工业技术】

本书介绍了化学工程师在日常工作中设计、研究、开发中最实用的特性数据、热力学数据等。

钢筋工程实例教程 钢筋工程常用公式应用实例教程 【工业技术】

本书依据现行规范、标准进行编写，并结合工程实际应用，系统介绍了钢筋工程常用的计算公式，内容丰富，实用性强。全书内容主要包括：钢筋工程基本知识、钢筋材料计算、钢筋施工计算、钢筋工程各种构件计算、钢筋混凝...

罗氏应力应变公式手册 原书第7版 【工业技术】

本书内容全面、丰富，涉及从应力分析的基本概念、基础理论到实际应用的方方面面；并通过实例讲解基本公式的应用，采用表格形式系统地汇总了大量工程结构强度、刚度和稳定性等的计算公式，使用、查找便捷；在英文第六...

如何在Word中编辑数理化公式 【工业技术】

科技文章中经常会遇到数学公式，Office携带的公式编辑器会给人们处理这类文档带来很大的帮助。本书是一本面向具体应用的电脑科普丛书，它将教你如何应用电脑完成实际的工作，解决具体的问题。本书内容包括：如何在...