普通逻辑考试的命题与解题 普通逻辑考试学引论

数字逻辑与VHDL逻辑设计习题解答

本书中各章习题以及补充题的解答。部分习题给出若干种不同方法的解答。给出典型习题的解题思路。

弗雷格逻辑哲学与现代数理逻辑思潮

弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。

数理逻辑基础 一阶逻辑与一阶理论

本书介绍数理逻辑的基础部分。

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 中

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 下

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 上

逻辑结构与逻辑工程学

本书是逻辑工程学的一般教材，是作者在多年工作、研究的基础上创作而成，原创性较强。本书主要介绍逻辑系统工程学、一般逻辑工程学、三维软件工程学、三维社会工程学、三维法制工程学、研究市场主体论等内容，全...

法律逻辑与侦查逻辑研究

本书对法律逻辑与侦查逻辑进行了探讨．法律逻辑探究法律之应然，注重对法律概念的分析和构造法律的逻辑结构体系，依照理性构建的法典，通过严格的逻辑推理和概念演绎得出准确的结论。法律规范逻辑结构的构成要素可...

新编归纳逻辑导论 机遇、决策与博弈的逻辑

本书系高校归纳逻辑教材。以现代逻辑的应用为重点，以决策和博弈理论为中心，从因果化归纳逻辑和概率化归纳逻辑两个方向展开，深入阐述了以主观贝叶斯主义理论为基础的决策和博弈理论。...