时序逻辑程序设计与软件工程 上 时序逻辑语言

逻辑学教程

本书将严谨的逻辑学原理用浅显的语言进行讲解和阐述，结构紧凑，将逻辑学的概念、定律、推理等逐一介绍，有很好的实用性。

逻辑学导论

本书是一本高校逻辑基础方面的教材。主要内容包括：逻辑理论的基本知识、以及命题逻辑、一阶量化逻辑、规范逻辑初步、非演绎逻辑基础等。...

逻辑学多类型题解

逻辑学论文集 第六集

法律人如何思考 法律人的逻辑艺术

逻辑学已经被联合国教科文组织确定为七大基础学科之一，但在我国的现实生活中，人们一提到“逻辑”二字就感到高深莫测，从某个角度讲，每个人思维都要用到的一个平常工具被关进了象牙塔之中。我们推出这书，就是想把...

回归本质 司法改革的逻辑之维与实践向度

本书的作者就是审判人员，是在法院内承担着日常繁重的审判业务和管理工作之余潜心研究写作而取得的成果。尤其重要的是，作者所在的佛山中级人民法院早于从2009年起就提出了“审判长负责制”的改革思路，率先尝试...

回归经营的小企业信贷逻辑

本书内容结构上分为三部分：第一篇：小企业信贷的基础逻辑；第二篇：小企业信贷分析框架；第三篇：贷前尽调与贷后管理。功能上讲，第一篇是全书的理论基础，第二、第三篇则是实务中总结的信贷工具与方法。按照传统信......

货币之惑 华尔街复苏与美国经济萧条的逻辑

本书属于经济类图书。这本书讨论了美国现行的货币体制。作者认为，美国经济并没有如预想那样好转的原因，在于对经济进行了误读。作者详细分析了现行的货币制度，认为正是这种不完善的制度，导致了经济无法恢复繁荣...

面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。