形式逻辑简明教程

结合长期教学实践，力求《形式逻辑简明教程（第2版）》在理论体系上的完整性、严谨性与内容上的简明、实用性的统一；举例力求生动、广泛，适用于各专业学生学习；文字朴实，重点突出；便于学生理解和应用。本书还适......

386微机系统结构与逻辑组成原理

中国法治政府建设的基本逻辑 跨国比较与制度设计

本专著是对法治政府长期学术思考的表达，核心思想体现于中国法治政府制度变迁的理论框架：“初始制度约束——政治理性人——法治制度变迁”的三元互动结构,并在这一理论框架的基础上设计中国法治政府的理念，建...

可编程逻辑器件原理与设计

数理逻辑引论与归结原理

本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

视觉传达设计形式原理

中国法逻辑结构分析 以微观结构图的形式

本书选取中图法中篇幅站绝大多数比例、有代表性的类目结构片段一百九十多个，用图表的形式剖析中图法微观类目结构，使类目片段微观结构的多样性与复杂性变得简单明了，对相关人员了解、理清每个类目片面段中类目...

通信与移动系统 π演算

通信是计算机的一个基本的、不可缺少的部分。通信可能发生在网路上的不同计算机之间，也可能发生在同一台计算机的各个部件之间。在本书中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作是...

可编程逻辑器件的原理与应用

法律逻辑推理形式研究

本书以形式逻辑的推理形式为研究对象，主要分为简单命题推理形式研究、复合命题推理形式研究和模态命题推理形式研究三大部分内容。在每一部分中首先介绍该种推理形式所需具备的理论基础，然后详细的分析各种推...