逻辑与自然语言理解

可编程逻辑器件与VHDL语言

本书详细地介绍了三部分内容：一是可编程逻辑器件CPLD 和 FPGA 的基本原理 。二是使用上述两种器件要用到的硬件描述语言，即VHDL语言。三是Altera公司推出的广为流传的数字电路开发工具--MAX+PLUS II。书中提...

逻辑与语言 分析哲学经典文选

分析哲学是西方整个20世纪占主导地位的哲学思潮，不懂得分析哲学，便无法理解20世纪至今西方哲学思想的嬗变。分析哲学内部派别杂然纷陈，其语言分析、逻辑思辨与求真意识又与我国传统思维特质不尽相符。为便于读...

现代逻辑学讲义 模态逻辑

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

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

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

现代逻辑学讲义 数理逻辑

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

论逻辑经验主义

数字逻辑

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

逻辑

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

形式逻辑学