数理统计理论、方法、应用和软件计算

本书将数理统计的原理、方法、计算、实例与SPSS软件计算相结合，以数理统计原理和方法为出发点，将手工计算过程和SPSS软件计算过程相结合，使读者能够从数学角度深刻理解SPSS软件的数据处理方法、过程和处理结果...

概率论与数理统计习题解答

本书是西南财经大学出版社出版的《概率论与数理统计》一书的配套教材，主要面向使用《概率论与数理统计》教材的广大教师、学生和自学者，同时也可以供报考经济类硕士研究生的考生复习之用。...

中国协商政治发生与演变逻辑

本书用“协商政治”的概念来表达近现代中国政治发展中的一条独特线索。纵观近百年中国政治发展历史，作为一种政治形态的“协商政治”贯穿其中，尽管其演变路径曲曲折折，但始终存在并运行着。本书欲揭示和探讨的...

逻辑思维500题 2

本书精选了500个经典的逻辑训练题目，按解题方法分为排除法、递推法、倒退法、假设法、计算法等九种常用的逻辑思维方法分类，让读者亲身实践一下这些方法如何应用。并根据读者水平的不同将题目分为初级、中级...

数字逻辑 第2版

本书是计算机科学与技术、软件工程等信息专业本科“数字逻辑”课程教材。 全书共分为九章，主要内容有：数字逻辑的基本概念、基本逻辑运算电路、逻辑代数和逻辑函数的化简、组合逻辑电路、触发器、时序逻辑电...

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

概率论与数理统计

本书内容包括概率论的基本概念、随机变量及其分布，二维随机变量及其分布、随机变量的数字特征、大数定律与中心极限定理等概率论部分的基本内容和数理统计基础知识、参数估计、假设检验等数理统计的基本内容...

逻辑学导论

本书是一本新型的逻辑教科书，属“普通高等教育‘十五’国家级规划教材”，适合于大学文理科的逻辑教学。它在一个统一的框架内，讨论了数理逻辑、传统逻辑、归纳逻辑和非形式逻辑的核心内容。本书正文由六章组成...

初中数理化概念定理定律公式全解

《新课标高中数理化生公式定理定律概念大全》，《新课标高中数理化生公式定理定律概念大全》由周太红，龙书选所著，人民日报出版社出版，内容为初中数理化公式定理定律概念大全。...

工业试验设计技术-数理统计在工业技术中的应用