广义模态逻辑及其应用

广义模态逻辑是逻辑学里一个新的分支，也是一个比较前沿学科，在国外有较多的研究，并在计算机和语言学等领域得到了比较广泛的应用。本书属国家社科基金“广义模态逻辑与新型计算语言研究”项目，是由逻辑学、计算...

模态对应理论

本书是由我们翻译的世界著名逻辑学家范本特姆的14篇论文组成，约35万字。我们以语言逻辑为核心挑选出了14篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了关于自然语言形式化的研究，形式语言...

数理统计理论与方法在痕量分析中的应用

含意理论与话语推断

本书纵观格赖斯会话含意理论的发展，运用会话含意理论分析和推断特定语境下的话语，探讨会话含意理论意义及困境，最后提出含意理论在构建和完善过程中，必须以语用因素为基本参照系来研究言语交际和话语理解。...

MSC. ACTRAN工程声学有限元分析理论与应用

本书介绍MSC.ACTRAN工程声学有限元分析基本概念、方法与应用等。

工程结构系统的分析、综合与优化设计：理论、方法及工程应用案例

加筋土结构分析理论与工程应用新技术

本书介绍了加筋土结构的研究现状与发展趋势，研究了加筋土结构的强度、稳定性、本构关系等内容。

国外经典教材系列 传播理论导引 分析与应用 第2版

本书阐述传播理论在生活中的运作。

多中枢自协调拟人脑研究及应用

高等工科院校用 数学分析 应用数学的基本理论与习题