数字逻辑 第2版

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

高阶逻辑辅助证明系统

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

逻辑学导论

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

多元视阈中的规范逻辑研究

本书为逻辑学研究学术专著，综合运用了逻辑、哲学、科学史与科学哲学（科学方法论）、法学等多学科或跨学科的工具和研究方法，相对全面地分析了规范逻辑，对主要研究规范问题的规范逻辑有比较客观和新颖的多维考察。...

我的第一本逻辑思考入门

逻辑思考，简单的来说，就是“有条理的思考”。一旦掌握逻辑思考的窍门，便能让生活更加美好，工作上事半功倍！本书开头，先简单介绍逻辑思考的意义，让读者有一个初步的了解；接着以渐进式的方式，详述如何学习逻辑......

逻辑思维与诡辩

诡辩是现实生活中人人都会碰到的事情，如何认识诡辩手法、掌握破斥诡辩的方法，是现代人实现有效沟通的技能。本书在强调逻辑本身的逻辑标准的同时，也力求探询逻辑的伦理标准。即正常有效的人际沟通如何在必须符...

逻辑教室 袁大头的推理游戏时间

本书欢迎加入袁大头的推理游戏时间，这里有114则精彩的推理谜题等你来挑战。每道题目都经过精心安排，除了设计巧妙，保证让你绞尽脑汁之外，故事主角的名字也充满了谐音的趣味，让解谜推理的过程更有乐趣。...

MBA工商管理硕士入学考试辅导 逻辑分册 第3版

逻辑思维训练500题

这是一个关于逻辑思维训练的选题。逻辑能力训练题可以非常直观地反映一个人的思维方式及思维转变能力，因此，逻辑思维能力越来越被人们看中。本书精挑细选500个逻辑思维训练题目，按照常用的逻辑思维方法分作十...

MBA工商管理硕士入学考试辅导 逻辑分册 第4版