逻辑、信息和互动

本书是由我们翻译的世界著名逻辑学家范本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了模态逻辑的一般理论，以及模态逻辑在...

英汉句子结构比较 兼论英汉句子互译

可编程逻辑器件和EDA设计技术

本书介绍了可编程逻辑器件和EDA技术等。

形式逻辑讲义 第9章 类比推理和假设

高中英语词汇逻辑记忆法

实用英语词汇逻辑记忆法

GRE英语词汇逻辑记忆法

中国语学文库 句子功能范畴在“谓头”敏感位置上的句法实现

本书主要研究一个语法敏感位置，即“谓头”位置，三种有限的语法手段，即“添加”、“移位”和“重叠”，来统摄多种句子功能范畴，即“语气范畴”、“否定范畴”、“复句关联范畴”和“时体范畴”。在理论上加深了对...

逻辑程序设计语言PGOLOG-基础、原理、实现和应用

景观科学 理论基础和逻辑数理方法

本书论述数学、物理学和逻辑学在景观学中的应用问题。