数理逻辑 基本原理与形式演算 第2版

本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...

对称性与光谱学 振动和电子光谱学导论

数学与统计学专业导论

本书介绍数学、统计学专业发展情况，以及专业的市场需求、专业的培养目标、对学生的能力要求。介绍相关专业主要专业课程的核心内容、以及学习具备的基础、学习方法指导建议。目前，还没有此类教材，即创造性的工...

现代理论物理导论 第2卷 量子理论与统计物理学

化学实验技术讲座 第1册 化学实验与数据处理导论

博弈逻辑理论与方法

本书《博弈逻辑研究》是作者主持的国家社会科学基金项目《博弈逻辑研究》的结项成果。博弈逻辑是博弈论和逻辑学相交叉的一个新的研究领域，属于应用逻辑范畴。博弈逻辑研究理性的主体互动行动中的推理过程，即...

核与粒子物理导论

本书讲述近代物理学中的原子物理和粒子物理的知识，内容包括粒子束的获得，粒子束与物质的相互作用，粒子的探测，核素与粒子的基本性质、结构、相互作用，以及宇宙学中的核与粒子物理，相对论粒子碰撞运动学。本书侧.....

离散数学导论 第3版 学习指导与习题解析

本书是我社出版的《离散数学导论（第三版）》一书的配套辅导书。全书包括教材各章的学习要点、习题解答和新增习题及解答等三部分内容，可供普通高校计算机及相关专业学生学习离散数学课程使用。...

非经典数理逻辑与近似推理 第2版

本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n 值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学...

燃烧学导论 概念与应用 第3版

本书是原版的第二版，相比第一版加入了许多近年来研究的热点成果以及一些尚在争论的问题，本身具有较强的时代代表性，即既有经典的理论、应用知识，又有较新的科研成果与问题。将其翻译成中文，将非常有利于国内学习...