逻辑
逻辑动态系统代数状态空间法理论与应用
《逻辑动态系统代数状态空间法理论与应用》,作者:闫永义,岳菊梅 著 出版社:科学出版社 ISBN:9787030596987。本书介绍了一种新的系统建模、分析与综合的数学方法——逻辑动态系统代数状态空间法。该方法是在矩阵的半张量积的基础上发展而来的，在使用矩阵处理复杂的泛逻辑系统方面具有很大优势。全书共9章，第1~4章介绍逻辑动态系统代数状态空间法；第5~8章为其各种应用，包括有限自动机的动态建模
美国高等教育结构变迁：市场机制、公共选择与学术逻辑
《美国高等教育结构变迁：市场机制、公共选择与学术逻辑》,作者:韩梦洁 出版社:科学出版社 ISBN:9787030491053。本书致力于剖析高等教育结构变迁的内在机制，旨在加深对美国高等教育系统的理解。本书以社会结构理论为基础构建高等教育结构分析框架，从定性和定量的视角考察分析了美国高等教育结构变迁历程及其制度化的阶段性特征，综合运用市场经济理论、公共选择理论和高等教育哲学等多学科知识，剖析美国
制度演化的逻辑 : 基于认知进化与主体间性的考察
《制度演化的逻辑 : 基于认知进化与主体间性的考察》,作者:顾自安著 出版社:科学出版社 ISBN:9787030314642。本书通过对既有制度研究成果的整合，指明了既有制度分析范式的缺陷及其必要转向，并通过对“制度与理性”这一核心命题的考察，对制度演化的内部逻辑进行了探索。
逻辑集成电路搭载机器人制作入门
《逻辑集成电路搭载机器人制作入门》,作者:(日)城井田胜仁著；李庆维，赵丽译 出版社:科学出版社 ISBN:7030116976。本书讲解了逻辑集成电路搭载机器人制作的准备，高亮度LED的安装，可见光传感器的安装，分析传感器反应用的逻辑电路制作，驱动部分的安装等内容。
集论与逻辑 : 面向计算机科学
《集论与逻辑 : 面向计算机科学》,作者:沈恩绍著 出版社:科学出版社 ISBN:7030110471。本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
社会工程的逻辑 : 从社会批判到社会建构
《社会工程的逻辑 : 从社会批判到社会建构》,作者:田鹏颖著 出版社:科学出版社 ISBN:9787030377616。本书内容包括：思想中把握的世纪难题、现代性生成与现代性焦虑、现代性在现代社会的命运、现代社会理论的批判主旋、马克思的社会构建维度、唯物史观的社会工程转向、社会工程的建构主题、社会工程的基本建设。
晶体管—晶体管逻辑集成电路与数字技术
《晶体管—晶体管逻辑集成电路与数字技术》,作者:汪希时编著 出版社:科学出版社 ISBN:15031380。本书专门分析论述晶体管-晶体管逻辑（TTL）集成电路，以及它在数字技术中的应用． 全书共分十六章．它分为两大部分，第一部分为第一至五章，主要分析小规模TTL集成电路，以及它们在数字技术中的应用；第二部分为第六至十六章，其中前九章介绍各种类型中规模和大规模TTL集成
