（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
吴桃娥，马舰主编；雷波，冯莹，王钧，邱红军编委；周金贵主审2013 年出版89 页ISBN：7567003937
本书内容包括概率论的基本概念、随机变量及其分布，二维随机变量及其分布、随机变量的数字特征、大数定律与中心极限定理等概率论部分的基本内容和数理统计基础知识、参数估计、假设检验等数理统计的基本内容...
陈波著2014 年出版258 页ISBN：9787300196923
本书是一本新型的逻辑教科书，属“普通高等教育‘十五’国家级规划教材”，适合于大学文理科的逻辑教学。它在一个统一的框架内，讨论了数理逻辑、传统逻辑、归纳逻辑和非形式逻辑的核心内容。本书正文由六章组成...
周太红，秦素君主编2006 年出版496 页ISBN：7801535731
《新课标高中数理化生公式定理定律概念大全》，《新课标高中数理化生公式定理定律概念大全》由周太红，龙书选所著，人民日报出版社出版，内容为初中数理化公式定理定律概念大全。...
周琦著2018 年出版88 页ISBN：9787569023329
本书为逻辑学研究学术专著，综合运用了逻辑、哲学、科学史与科学哲学（科学方法论）、法学等多学科或跨学科的工具和研究方法，相对全面地分析了规范逻辑，对主要研究规范问题的规范逻辑有比较客观和新颖的多维考察。...
（日）西村克己著；赵海涛译2019 年出版203 页ISBN：7218133517
逻辑思考，简单的来说，就是“有条理的思考”。一旦掌握逻辑思考的窍门，便能让生活更加美好，工作上事半功倍！本书开头，先简单介绍逻辑思考的意义，让读者有一个初步的了解；接着以渐进式的方式，详述如何学习逻辑......
金宝胜主编2018 年出版222 页ISBN：9787560371122
本书内容包括：率论的基本概念、一维与二维随机变量、随机变量的数字特征、大数定律与中心极限定理、数理统计的基本概念、参数估计、假设检验、方差分析、回归分析、时序分析、上机计算（IV）等。本书适合数学专...
张晓芒著2019 年出版228 页ISBN：9787516821978
诡辩是现实生活中人人都会碰到的事情，如何认识诡辩手法、掌握破斥诡辩的方法，是现代人实现有效沟通的技能。本书在强调逻辑本身的逻辑标准的同时，也力求探询逻辑的伦理标准。即正常有效的人际沟通如何在必须符...
