从算法设计到硬线逻辑的实现 复杂数字逻辑系统的Verilog HDL设计技术和方法

高等学校教材:本书介绍20世纪90年代才开始在美国等先进的工业国家逐步推广的硬件描述语言(VerilogHDL)建模、仿真和综合的设计方法和技术。

法律实用逻辑学

本书是适用于国内高校法律逻辑学教学的教科书。

动态模糊逻辑引论

本书系统地介绍了动态模糊集合论的初步认识和动态模糊逻辑的系统知识，分10章。

语言逻辑

本书阐述了语言与逻辑的不完全对应关系、语言指导的语义、语形、语用分析及语言表达的逻辑应用和逻辑要求等。简要介绍了有关离散数学、现代语言学、现代逻辑学的一些知识。 ...

几何与数理逻辑

本书介绍汤璪真先生所著几何与数理逻辑的内容。

错误逻辑

本书共分5章。介绍了数理逻辑的现状、错误逻辑的基础理论“错误集理论”、错误逻辑的基本概念、基本连接词、真值表、逻辑范式及其有效的推理方法以及数理错误谓词逻辑的概念、参数等。...

论逻辑思维的初步规律

逻辑语言写作论丛 第三辑

逻辑哲学论

本书是作者在其一生中以书籍形式出版的唯一著作。现在被公认为是二十世纪最重要的哲学著作之一。

逻辑学基本知识