范畴类型逻辑：从语言到逻辑

本书对范畴类型逻辑的发展、功能进行了全面的研究。

西域文明 考古、民族、语言和宗教新论

语言的逻辑分析 语言学家关注的逻辑问题

本书为“语言与认知译丛”之一。该书的作者被誉为二十世纪最伟大的语言学家之一。本书是一部有用的逻辑学教材，着重于自然语言的分析，在逻辑学与语言学的交叉研究方面进行了富有创新意义的探讨。...

维特根斯坦《哲学研究》同步导读：后期维特根斯坦的语言、逻辑与哲学思想研究

本书就维特根斯坦的《哲学研究》的两大部分15个节点1061条具体内容进行叙述评介，重点抓住后期维特根斯坦哲学的“语言”、“含义”、“用法”、“家族相似”、“命题”、“规则”、“逻辑”、“哲学”、“感...

Fundamentals of digital and computer design with VHDL = 数字逻辑与计算机设计 —— VHDL语言描述

语言动力系统与二型模糊逻辑

语言动力系统以词计算代替常规的数字符号计算，在语言的层次上动态地有效利用信息，解决复杂系统的建模、分析、评估与控制问题，最终以期建立连接处理人类的语言知识表示和计算机的数字知识表示的桥梁和纽带，成为...

国外计算机科学教材系列 可计算性与数理逻辑

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...

语言教材的开发 利用与评价

21世纪中国语言文学通用教材 20世纪外国文学选讲

高等学校电子信息类专业系列教材 搭建你的数字积木 数字电路与逻辑设计