李浙生著2017 年出版376 页ISBN：9787516182772
希腊哲学家亚里士多德创立了形式逻辑，数理逻辑是形式逻辑的现代形式。形式逻辑成为科学知识体系的逻辑基础，是建构科学殿堂的工具。亚里士多德更强调矛盾律的重要性，矛盾律是一切证明都需要的最根本的原理，矛盾...
贺善侃编著2005 年出版271 页ISBN：7810389297
本书依照全国MBA（工商管理硕士）与GCT-ME（工程硕士）入学考试逻辑大纲要求，结合MBA与GCT-ME逻辑入学考试试题的特点和要求，对应试MBA与GCT-ME逻辑试题所必备的形式逻辑基础知识做了简要介绍，对主要知识点和常见错误...
从算法设计到硬线逻辑的实现 复杂数字逻辑系统的Verilog HDL设计技术和方法
夏宇闻编著2001 年出版292 页ISBN：7040092522
高等学校教材:本书介绍20世纪90年代才开始在美国等先进的工业国家逐步推广的硬件描述语言(VerilogHDL)建模、仿真和综合的设计方法和技术。
李凡长，刘贵全，佘玉梅著2005 年出版181 页ISBN：7541622044
本书系统地介绍了动态模糊集合论的初步认识和动态模糊逻辑的系统知识，分10章。
袁野等主编1990 年出版343 页ISBN：7561102763
本书阐述了语言与逻辑的不完全对应关系、语言指导的语义、语形、语用分析及语言表达的逻辑应用和逻辑要求等。简要介绍了有关离散数学、现代语言学、现代逻辑学的一些知识。 ...
郭开仲著2008 年出版462 页ISBN：9787030205346
本书共分5章。介绍了数理逻辑的现状、错误逻辑的基础理论“错误集理论”、错误逻辑的基本概念、基本连接词、真值表、逻辑范式及其有效的推理方法以及数理错误谓词逻辑的概念、参数等。...
