逻辑与数学教学.pdf
逻辑学是研究人类正确思维的规律和形式的科学。要严整地、循序渐进地思考，就必须正确地了解、掌握和使用思维的形式，并遵守正确的思维规律。本书简明扼要地介绍一些必要的逻辑知识。 本书以初等数学为例，通俗易懂地阐述了逻辑在数学教学中的应用，以及怎样培养学生的逻辑思维能力，
逻辑与
超大规模集成电路设计. Ⅱ : 逻辑与测试.pdf
本书从基础理论到最新发展，介绍了集成电路设计中的逻辑设计与测试技术。其中包括布尔代数、逻辑设计、逻辑模拟、测试系统的生成及易测性设计。
复杂社会网络环境下员工知识分享行为逻辑与策略选择研究.pdf
知识分享是知识管理的基础和关键环节，与此同时，深入揭示和理解在复杂网络中行为发生的机理及策略选择过程也是网络科学研究前沿课题之一。因而本书融合上述两个领域，基于知识分享中社会网络重要性的观察和启示，以复杂社会网络情景中的知识员工为研究对象，从员工知识分享行为困境入手，将复杂社会网
数理逻辑与机器证明.pdf
本书介绍数理逻辑及其在机器证明中的应用． 数理逻辑部分包括绪论、前三章及附录．绪论简要地说明了数理逻辑的研究对象和方法．前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题．附录中阐述了重言式的推理，并且论证了它与自然推理的关系．第四至第六章是机器证明部分
时序逻辑与时序逻辑程序设计.pdf
The book presents a framing technique for temporal logic programming, which includes the definitions of new assignments, the assignment flag
缺省逻辑与回答集程序 张明义,王以松 著.pdf
本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论（包括它的几个重要变种）的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广（嵌套查询）的基本概念与重要性质，以及架起回答集程序与经典逻辑之间关系桥梁的环公式和程序完备理论。
现实、历史、逻辑与方法 : 教育技术学研究范式初探.pdf
本书以库恩的范式理论为基础，重构了教育技术学研究范式讨论的“一经一纬”的分析框架。揭示了当代教育技术学研究范式的现实状况；最后从学科逻辑的必然性出发，探讨了作为“桥梁学科”的教育技术学研究范式的系列深层问题。
逻辑与哲学：真与意义融合与分离之争的探究.pdf
本书以真与意义基于逻辑与哲学对话句真的两种不同解读为主线， 从逻辑的视角探究自然语言意义理论中真与意义融合、分离之争的焦点、实质及根掘，指出逻辑与真是化解这场争论的关键所在， 逻辑上对真的语义论达成共识之时， 也就是自然语言意义理论中真与意义之争得以解决之时。本书坚持认为，即使在
数字逻辑与数字系统题解、题库与实验 | 2版.pdf
本书分上、中、下三篇。上篇是解题指南，提供了数字逻辑级、数字系统级的典型习题约500题；中篇是实验指南；下篇是题库样卷，提供了本科生、大专生期末试卷，研究生入学试卷各两套。