高阶逻辑辅助证明系统

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

人文科学的逻辑

作者在本书中分五章探讨了人文科学的对象、自然与人文的不同感知方式、自然概念与人文概念的差异性、文化形式、文化价值与现代文化悲剧等重大问题，旨在从其“符号形式的哲学”出发解答人文与人文科学的可能...

新闻逻辑学

新闻逻辑学以传统逻辑为基本内容，同时将传统逻辑与新闻的特殊性相结合，努力将逻辑学与新闻学有机地融为一体。为此，新闻逻辑学的体系、内容以及对某些逻辑理论问题的阐释，将有别于一般的逻辑学教材：它一方面将省...

阶级与公民之间的政治：职工代表大会的实践空间与转型逻辑

简单逻辑学 改变思维方式第一书

生活中，逻辑无处不在，然而逻辑到底是什么，很多人并没有清楚的认识。于是很多人陷入非逻辑思维的泥潭。本书能够帮助你清晰思考，理性生活，让你思维敏捷，说话有条理，让你成为有效的沟通者，同时，还能让你摆脱困......

魔鬼交易 猎财迷局背后的金融逻辑

这是一本内部人士告诉读者金融市场运作内幕的书。本书以作者的经历为主线，串联起了诸多的金融知识，揭示了金融玩家如何魔术般地策划和操作海量的金钱。同时，作者还以金融产品运作为起点，以金融家实际工作方式为...

啊哈C！思考快你一步 用编程轻松提升逻辑力 双色版

越玩越爱玩的660个逻辑推理游戏

本书共分为十个部分，挑选了660个训练题，题目从逻辑思维能力、推理思维能力、发散思维能力、归纳思维能力等多角度入手，配以详细的解题思路，充分发掘大脑的潜能，提升读者的思维能力，拓宽视野，灵活变通。...

提升孩子逻辑力的50个超级训练

逻辑思维能力是孩子智力结构的核心因素之一，是孩子对事物进行观察、比较、分析、综合、抽象、概括、判断、推理的能力。本书为5~12岁孩子提供了超过50个提升逻辑力的超级训练。这些训练简单可行，趣味性强，可供...

一位私募总监的投资逻辑

股价的真相是什么？为什么会涨跌？股价趋势的本质是什么？热点是怎样形成的？如何寻找买点？如何把握卖点？一次成功的交易是如何实现的？如何控制风险？这是投资者最想要知道的问题，本书通过一个私募总监多年交易的......