法官说了算！缺席的证据与逻辑 缺席的证据与逻辑

德育的逻辑 思想政治教育有效性的逻辑进路研究

Android底层开发实战

本书分为四个部分： 第一部分为预备知识篇，简要介绍嵌入式系统的定义与软硬件开发以及Android开发环境的搭建。第二部分为系统结构篇，主要介绍Android系统的源码结构、内核与相关工具以及环境库。第三部分为驱...

半符号逻辑 传统逻辑与符号逻辑的桥梁

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

黑格尔关于辩证逻辑与形式逻辑的关系的理论

从现代逻辑观点看亚里士多德的逻辑理论

逻辑的哲学反思 逻辑哲学专题研究

本书从逻辑的角度对逻辑学中的哲学问题进行了辨析，对逻辑中的一些专题问题进行了哲学的分析。

机遇与冒险的逻辑 归纳逻辑与科学决策

TCP/IP指南 1 底层核心协议

TCP/IP Guide是TCP/IP领域的一部百科全书式的经典著作，书中对TCIP/IP协议的原理和实现做了全面的介绍，涉及因特网中使用的各种最新的协议和技术。本书是其中译本的第一卷，分为“TCP/IP概述与背景知识”和“TCP...

综合逻辑论 人类自组织意识的逻辑生成及其发展