数字逻辑与数字系统实践技术 : 学习指导 实验与课程设计.pdf
本书内容包括数字逻辑与数字系统学习指导、数字逻辑与数字系统实验、数字逻辑与数字系统课程设计和数字逻辑与数字系统计算机仿真软件及仿真实验等。
逻辑与
数理逻辑与机器证明.pdf
本书介绍数理逻辑及其在机器证明中的应用． 数理逻辑部分包括绪论、前三章及附录．绪论简要地说明了数理逻辑的研究对象和方法．前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题．附录中阐述了重言式的推理，并且论证了它与自然推理的关系．第四至第六章是机器证明部分
GMAT逻辑与阅读高分策略 | Logic & Readomg Review for the GRE/GMAT/LSAT/MCAT影印版.pdf
本书深入讲解了美国主要研究生院入学考试中的逻辑与阅读部分获得高分所需掌握的特殊技能：涵盖分析推理、逻辑推理与阅读理解技巧等内容。
逻辑与数学教学.pdf
逻辑学是研究人类正确思维的规律和形式的科学。要严整地、循序渐进地思考，就必须正确地了解、掌握和使用思维的形式，并遵守正确的思维规律。本书简明扼要地介绍一些必要的逻辑知识。 本书以初等数学为例，通俗易懂地阐述了逻辑在数学教学中的应用，以及怎样培养学生的逻辑思维能力，
现实、历史、逻辑与方法 : 教育技术学研究范式初探.pdf
本书以库恩的范式理论为基础，重构了教育技术学研究范式讨论的“一经一纬”的分析框架。揭示了当代教育技术学研究范式的现实状况；最后从学科逻辑的必然性出发，探讨了作为“桥梁学科”的教育技术学研究范式的系列深层问题。
时序逻辑与时序逻辑程序设计.pdf
The book presents a framing technique for temporal logic programming, which includes the definitions of new assignments, the assignment flag
非经典数理逻辑与近似推理 | 2版.pdf
本书讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道等内容。
数字逻辑与数字电路.pdf
本书介绍了小规模数字集成电路的逻辑设计技术，并重点介绍了中、大规模数字集成电路和可编程逻辑器件。内容包括数字逻辑基础、门电路、组合逻辑电路、触发器、时序逻辑电路、脉冲波形的产生和整形等。
数理逻辑与机器证明.pdf
本书介绍数理逻辑及其在机器证明中的应用． 数理逻辑部分包括绪论、前三章及附录．绪论简要地说明了数理逻辑的研究对象和方法．前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题．附录中阐述了重言式的推理，并且论证了它与自然推理的关系．第四至第六章是机器证明部分