形式语义学研究

形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成...

数理逻辑基础：一阶逻辑与一阶理论

自足语义学

自从19世纪末以来，人们对于如何区分语义内容与非语义内容一直含混不清，这种情况充斥于大量的文献中，语言哲学因此深受其害。在更深的层面上来说，这个争论是关于怎样在人类交流理论的框架下处理语境敏感性问题。...

普通逻辑考试的命题与解题 普通逻辑考试学引论

认知语义学 卷1 概念结构系统 英文

本书奠定了认知语义学的理论基础，是语言学领域、尤其是认知语言学领域研究者必读之作。该书原创性强，各章理论自成体系，且含有多种理论系统。全书基于大量的语料，理论基础牢固。该书不仅对语言学领域内的分支（尤...

大数据环境下基于知识整合的语义计算技术与应用

语义计算是理解自然语言的核心内容之一，有助于计算机量化、理解语句或文档的关联程度。依据语义资源的不同，典型的语义相似度计算方法分为基于知识库和基于语料库。知识库能够提供词汇的语义描述和结构化信息...

俄罗斯语义学

本书包括对俄罗斯语义学若干重要理论问题的探讨和对相关语言个案的实证研究两方面，侧重词汇语义学，涉及词义、指称、义素分析、预设、配价、词汇函数和体貌范畴等语义学基本问题。词义与指称重点讨论指物意义...

数字逻辑与VHDL逻辑设计习题解答

本书中各章习题以及补充题的解答。部分习题给出若干种不同方法的解答。给出典型习题的解题思路。

中华人民共和国国家标准 GB/T 18865-2002 橡胶与橡胶制品 实验室间试验确定的重复性值和再现性值置信区间

国际认知语言学经典论丛 认知语义学经典论文

“国际认知语言学经典论丛”受到国际认知语言学研究会鼎力支持，邀约国际认知语言学界知名专家组成编委会，丛书作者为该研究领域内具有重要学术影响力的理论先驱和权威专家。丛书每一册聚焦认知语言学研究领域...