整理思想碎片的程序 理性思维的逻辑方法

程序设计基础 逻辑编程及C++实现实训教程

本书是普通高等教育“十五”国家级规划教材《程序设计基础——逻辑编程及C++实现》的配套实训指导用书。它紧扣主教材各章所要求掌握的技能，组织每一章的有效实训方案，方案包括：【实训名称】、【实训目标】、...

可编程逻辑器原理与程序设计

目前，大规模和超大规模的可编程逻辑器件得到了越来越广泛的实际应用。对它们的设计采用的是计算机辅助设计技术，使电子系统的研制时间大大缩短，特别是系统可编程逻辑器件，可以在不改变硬件设置的情况下，在现场对...

现代逻辑学讲义 模态逻辑

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

直言逻辑及其哲学问题研究 “是”的逻辑哲学研究

本书稿对直言逻辑及其哲学问题进行深入研究。

现代逻辑学讲义 数理逻辑

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

论逻辑经验主义

数字逻辑

本书主要介绍了数学系统逻辑设计的基本知识、基本理论和基础逻辑器件，讨论了组合逻辑电路和时序逻辑电路的分析与设计方法。

逻辑

本书第一部分讨论传统的演绎逻辑，第二部分是对传统逻辑的批评，第三部分介绍西方数理逻辑，第四部分讨论逻辑与逻辑系统的性质。

形式逻辑学