时序逻辑与时序逻辑程序设计
《时序逻辑与时序逻辑程序设计》,作者:Duan Zhenhua（段振华）著 出版社:科学出版社 ISBN:7030166515。The book presents a framing technique for temporal logic programming, which includes the definitions of new assignments, the assignment
逻辑与
数字逻辑与数字系统 | 4版
《数字逻辑与数字系统 | 4版》,作者:白中英主编；方维[等]编著 出版社:科学出版社 ISBN:9787030207272。本书包括开关理论基础、组合逻辑、时序逻辑、存储逻辑、可编程逻辑、数字系统、教学实验设计、课程综合设计等内容。
GMAT逻辑与阅读高分策略 | Logic & Readomg Review for the GRE/GMAT/LSAT/MCAT影印版
《GMAT逻辑与阅读高分策略 | Logic & Readomg Review for the GRE/GMAT/LSAT/MCAT影印版》,作者:( )Edward J.Rozmiarek，( )Jo Norris Palmore著 出版社:科学出版社 ISBN:7030137205。本书深入讲解了美国主要研究生院入学考试中的逻辑与阅读部分获得高分所需掌握的特殊技能：涵盖分析推理、逻辑推理与
复杂社会网络环境下员工知识分享行为逻辑与策略选择研究
《复杂社会网络环境下员工知识分享行为逻辑与策略选择研究》,作者:罗军,张卫国 著 出版社:科学出版社 ISBN:9787030542328。知识分享是知识管理的基础和关键环节，与此同时，深入揭示和理解在复杂网络中行为发生的机理及策略选择过程也是网络科学研究前沿课题之一。因而本书融合上述两个领域，基于知识分享中社会网络重要性的观察和启示，以复杂社会网络情景中的知识员工为研究对象，从员工知识分享行为困
数字逻辑与数字系统解题实验指导
《数字逻辑与数字系统解题实验指导》,作者:白中英，杨春武主编；冯一兵等编著 出版社:科学出版社 ISBN:7030075226。
非经典数理逻辑与近似推理
《非经典数理逻辑与近似推理》,作者:王国俊著 出版社:科学出版社 ISBN:7030085442。本书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道等内容。
数字逻辑与数字系统题解、题库与实验 | 2版
《数字逻辑与数字系统题解、题库与实验 | 2版》,作者:白中英，杨春武主编 出版社:科学出版社 ISBN:7030096177。本书分上、中、下三篇。上篇是解题指南，提供了数字逻辑级、数字系统级的典型习题约500题；中篇是实验指南；下篇是题库样卷，提供了本科生、大专生期末试卷，研究生入学试卷各两套。
现实、历史、逻辑与方法 : 教育技术学研究范式初探
《现实、历史、逻辑与方法 : 教育技术学研究范式初探》,作者:蔡建东著 出版社:科学出版社 ISBN:9787030278784。本书以库恩的范式理论为基础，重构了教育技术学研究范式讨论的“一经一纬”的分析框架。揭示了当代教育技术学研究范式的现实状况；最后从学科逻辑的必然性出发，探讨了作为“桥梁学科”的教育技术学研究范式的系列深层问题。
