逻辑公式的可满足性问题是计算机科学和人工智能中的著名问题．本书前三章主要介绍经典的命题逻辑和一阶谓词逻辑公式以及模态逻辑公式的可满足性判定算法，也介绍了有关的软件工具．第四章则介绍它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用． 本书可供从事计算机科学和人工智能研究的有关人员阅读，......
本书是《数学与猜想》的第二卷。这一卷系统地论述了合情推理的模式，评述它们彼此之间以及与概率计算的关系，并扼要地讨论了它们与数学发现及教学的关系。 本书将数学中的推理模式与生活中的实例相联系，论述深入浅出，读来令人兴味盎然。全书有大量习题，书末附有习题解答。 本书可供大学数学系师生、中学教师、数学研究......
本书包括向量代数、行列式、线性方程组与线性子空间、矩阵、平面和直线、线性空间与欧几里得空间、曲面与曲线、线性变换、线性空间上的函数、坐标变换与点变换、多项式、若尔当典范形及其应用等内容。各章均有习题、自测题，书后附部分考研试题，并有详细的解答。...
本书主要介绍结构有限元分析的基本理论和方法，包括刚架、平面、三维和板壳等内容。另外也简要介绍了结构动力分析、温度场和热应力计算。书中附有简单的有限元分析通用程序，供上机实践。 本书可作为工科院校力学本科生和机械类研究生的教材，也可供有关专业工程技术人员和教师参考。...
本书较全面、系统地介绍了矩阵理论的基本理论、方法和某些应用。全书共分10章，分别介绍了线性空间与内积空间、线性映射与线性变换、λ矩阵与Jordan标准形、初等矩阵与矩阵因子分解、Hermite矩阵与正定矩阵、范数理论与扰动分析、矩阵函数与矩阵值函数、广义逆矩阵与线性方程组、Kronecker积与线性......
“21世纪电子电气工程师系列”是企业技术/管理干部知识更新用新型教科书。丛书特点是重视理论联系实际，用现象说明原理。反映该专业领域最新进展，通过产品与技术模型提示学科基础知识。丛书各册执笔者均是在国际知名企业中长期从事技术、教育工作的专家。书中举例及例题均源于他们多年的工作实践。 本书从硬件和软件两......
本书是著名数学家G.波利亚撰写的一部经典名著，书中讨论的是自然科学、特别是数学领域中与严密的论证推理完全不同的一种推理方法——合情推理(即猜想)。本书通过许多古代著名的猜想，讨论了论证方法，阐述了作者的观点：不但要学习论证推理，也要学习合情推理，以丰富人们的科学思想，提高辩证思维能力，本书的例子不仅......
rough集理论是一种处理含糊和不精确性问题的新型数学工具。 本书共分七章，分别介绍了rough集的研究现状和发展趋势、rough集的基本概念及其理论基础、数据约简的各种方法、数据推理原理和各种推理模式、granule-软计算、rough逻辑及其推理系统等。本书内容新颖，取材于国内外最新资料，总结......
内容简介 《计算机数学:计算复杂性理论与NPC、NP难问题的求解》全面、系统地介绍了计算复杂性理论的基本内容与各种NPC问题、NP难问题等复杂问题的计算机求解方法。前四章分别简要介绍了线性规划、多面体理论、网络规划与动态规划等预备知识。第五至九章具体介绍了计算复杂性理论。包括复杂性的定义与分类，证明......
本书是为应用数学专业的硕士生和高年级本科生所编写的一本教材。主要包括定性理论、稳定性理论和分支理论三个部分。内容着眼于应用的需要，取材精练，注意概念实质的揭示、定理思路的阐述、应用方法的介绍和实际例子的分析，并配合内容引入了计算机软件。章后附有习题。 本书可作为理工科专业研究生的教材和高年级本......
...
