易经由象数推理

本书藉由“观、临、遯、大壮”四卦，剖析如何实际透过观赏卦象来观象明理，如何玩赏卦爻辞以探究卦的根本意义，如何推各爻变以培养知机应变的忧患意识，如何观变玩占以明了吉凶悔吝的道理。最后，还要能将领悟到的心...

推理悬念大师希区柯克经典小说 珍藏版 4

1963年全国数理逻辑专业学术会议论文选集

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

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

逻辑思维500题 2

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

数字逻辑 第2版

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

高阶逻辑辅助证明系统

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

儿童数学思维训练游戏 量的推理游戏

本书是“何秋光学前教育精品书系”之《儿童数学思维训练游戏》丛书中的一个品种。它是作者三十年幼儿数学教育和十余年儿童数学思维教育与实践研究的成果，是国内完整的对儿童进行科学系统的数学思维训练与开...

FBI推理游戏300例

本书是从FBI侦探推理过程中汲取精华，通过筛选和润色凝练而成的一本推理游戏集。主要分为八个章节，从不从角度，不同侧面来阐述推理的过程。书中的每个案例游戏都具有代表性和趣味性，读者走进书中后，会随着案情的...

逻辑学导论

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