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

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

什么都是博弈论

人生时时皆博弈，生活处处皆博弈，身边事事皆博弈。无论是柴米油盐的生活琐事，还是恋爱、学习或者工作，博弈都在其中扮演着举足轻重的角色；不管是修身与齐家，还是治国平天下，博弈也都在影响着人们的决策和成功。......

单晶结构分析原理与实践 第2版

本书主要介绍了X射线晶体衍射的基本原理、晶体的培养与衍射数据的收集、晶体结构解析与精修的基本概念、结果的表达、有关的晶体学数据库和软件资源、结构解析的实际例子和常用的软件使用方法等，并结合作者...

数理逻辑是什么

本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日...

超协调逻辑原理

数理逻辑引论与归结原理

本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...

数理逻辑引论与归结原理

本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

最大似然估计法 逻辑与实践

《最大似然估计法：逻辑与实践》是“格致方法·定量研究系列”丛书之一。本书是最大似然估计法的入门级读物。作者斯科特·伊莱亚森介绍了除正态分布之外的其他重要连续分布，并进一步讨论了不同的最大似然统计...

数理逻辑：基本原理与形式演算

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

应用逻辑 第2版

本书是一本介绍数理逻辑的基础教材。