《逻辑基础（修订版）》在已有教材基础上修订而成，考虑到高校的教学实际，本次修订改动如下：删除了上一版教材介绍公理系统的一章；对词项逻辑、命题逻辑、谓词逻辑等三章，篇幅有所调整，删除了若干段落，更换了若干案例和相关的分析，部分调整了章节内部的顺序，使不同内容间的联系更加紧密、突出。同时，教材形态有所更新，各章配备了二维码，提供教学指导，以便高校师生使用。 《逻辑基础（修订版）》可供高校文科专业开设逻辑学课程使用，也可供有兴趣的爱好者阅读。

《逻辑基础（修订版）》在已有教材基础上修订而成，考虑到高校的教学实际，本次修订改动如下：删除了上一版教材介绍公理系统的一章；对词项逻辑、命题逻辑、谓词逻辑等三章，篇幅有所调整，删除了若干段落，更换了若干案例和相关的分析，部分调整了章节内部的顺序，使不同内容间的联系更加紧密、突出。同时，教材形态有所更新，各章配备了二维码，提供教学指导，以便高校师生使用。 《逻辑基础（修订版）》可供高校文科专业开设逻辑学课程使用，也可供有兴趣的爱好者阅读。

本書是數理邏輯的有名經典著作之一，內容包括四章： 第一章爲命題演算，介紹基本邏輯聯結詞及其各種性質，並就命題演算而給出一個公理體系，證明其不矛盾性，完備性及互相獨立性． 第二章爲類演算，兼討論如何從類演算而推出亞里士多德邏輯． 第三章爲狹義謂詞演算，對該演算作出公理體系，同樣討論其不矛盾性、完備性及獨立性，對判定問題作簡單而詳盡的介紹． 第四章爲廣義謂詞演算，詳細介紹邏輯悖論產生的狀況，因而須用類型論加以解決，最後並舉例詳細釋明類型（層次）演算在數學方面的應用．

本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同基础.

本書是數理邏輯的有名經典著作之一，內容包括四章： 第一章爲命題演算，介紹基本邏輯聯結詞及其各種性質，並就命題演算而給出一個公理體系，證明其不矛盾性，完備性及互相獨立性． 第二章爲類演算，兼討論如何從類演算而推出亞里士多德邏輯． 第三章爲狹義謂詞演算，對該演算作出公理體系，同樣討論其不矛盾性、完備性及獨立性，對判定問題作簡單而詳盡的介紹． 第四章爲廣義謂詞演算，詳細介紹邏輯悖論產生的狀況，因而須用類型論加以解決，最後並舉例詳細釋明類型（層次）演算在數學方面的應用．

本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同基础.

《数字逻辑基础与Verilog设计》(原书第2版)系统介绍数字逻辑基本概念与实际应用。主要内容包括：逻辑电路、组合逻辑、算术运算电路、存储元件、同步时序电路（有限状态机）、异步时序电路、测试等。《数字逻辑基础与Verilog设计》(原书第2版)内容全面，概念清楚，结合了逻辑设计最新技术的发展。

本书面向数字逻辑设计的入门课程，这门课程是大多数电子和计算机工程专业的一门基础课程。一个成功的数字逻辑电路设计者首先必须深入了解其基本概念，并且能够牢固掌握基于计算机辅助设计（CAD）工具的现代设计方法。 本书的主要目的为：1）通过典型的数字电路手工设计方法教给学生基本概念；2）清晰地展示当今采用CAD工具设计数字电路的方法。虽然目前除了少数情况外已经不再采用手工方法进行设计，但我们仍想通过教授这些手工设计技术，使学生对如何设计数字电路有一个感性的认识；并且手工设计方法能对CAD工具实现的功能进行很好的解释，使学生体会到自动设计的优势。本书通过简单的电路设计案例引出其基本概念，这些案例都同时采用手工方法和现代CAD方法设计。在建立了基本概念后，提供了更多基于CAD工具的复杂例子。因此，本书的重点仍然放在现代设计方法上，以说明当今数字电路是如何设计的。...(展开全部)