非形式逻辑导论 下

非形式逻辑在中国学界是一个新的领域，人们对它有很多不解和误解。这本书勾勒出非形式逻辑的概貌，使人们对其问题和观察论证这种社会文化活动的新视角有一个全面和准确的理解。本书作者的《批判性思维——以论...

创业者的抉择 读懂商业模式及其内在逻辑

本书就商业模式的内在逻辑展开了一些深入分析，尝试就其逻辑关系的梳理，形成一个分析体系，并提出了方法论，以指引创业者更深入的思考其创业方向和道路的规划。在商业模式中，是哪些内在逻辑导致了后来结果的必然性...

法律逻辑学

《法律逻辑学(第2版)》编写宗旨是，为了更好地探索现代远程开放教育规律，充分体现学生自主学习的特点，中央广播电视大学结合20多年办学经验，从教材的体例、版式设计上作了改革，以适合学生的学习。在内容上力求反...

逻辑思维训练课 侦探推理

逻辑推理能力对一个人的思考能力、学习能力、管理能力和表达能力起着至关重要的作用，只要运用合理，它将会对我们理清思路、完善语言表达能力、统筹时间、规划人生等大有裨益。逻辑思维训练系列一共分为五个分...

逻辑思维训练课 益智谜题

逻辑推理能力对一个人的思考能力、学习能力、管理能力和表达能力起着至关重要的作用，只要运用合理，它将会对我们理清思路、完善语言表达能力、统筹时间、规划人生等大有裨益。逻辑思维训练系列一共分为五个分...

逻辑基础 修订版

本书在人民出版社已有教材修订版基础上再修订而打造的教材。考虑到高校的教学实际，本次修订改动如下：删除了一阶逻辑的内容；对词项逻辑、形式逻辑等逻辑性教学的基本和主要内容，篇幅有所调整，适当删除了若干段落...

马克思主义公正观的逻辑谱系 方法论特点及当代意义研究

数理逻辑与集合论

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...

逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

迈向法治型选举的历史逻辑 中国当代选举制度的转型及选举程序研究