数理逻辑引论与归结原理

本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

规则与程序 非洲语境中争议的文化逻辑

本书以超越西方的法律逻辑为出发点，对非洲博茨瓦纳部落的法律争议进行研究，且提出了全新的理解框架，即在冲突的语境中以分立的方式进行理解“法律”，由茨瓦纳政治语言所激发的、我们对演说和习得与决定之循环过...

电工电子实验系列教材 数字逻辑实验与课程设计

本书分上下两篇，上篇为小规模电路部分；下篇为采用Quartus II的原理图设计方式设计数字逻辑系统。之所以没有引入目前最为流行的硬件描述语言来设计，是为了使学生在最短的时间内用已有的数字电子技术知识初步掌...

《数字电路与逻辑设计（第3版）》学习指导与习题解答

本书是蔡良伟主编《数字电路与逻辑设计(第三版)》的配套学习指导与习题解答。内容包括教材各章的内容提要、重点难点、典型例题及习题解答，对数字电子技术主要内容进行了全面、扼要的分析和总结，目的在于帮助...

语言规划与语言政策：理论与国别研究

本书对世界多个国家的语言规划政策及其实践进行了分析、研究。

中国文化精华全集——语言学·综合卷

完美软件开发 方法与逻辑

这本书剖析了软件开发中主要环节（管理、流程、估算、开发模型、估算、需求开发和设计编码）的运作规律。在剖析过程中，主要使用演绎法进行推导，同时使用现实中累积的经验对推导出来的结论进行验证。在这一过程中...

语言与语言科学论

分类语言与主题语言

语言与语言教学论集