e.g., 复旦大学周杰伦

Query String: 合一

Named-Entity Disambiguation:合一(数理逻辑中的一阶谓词演算使用的运算方法)

点击更新页面

Visualization Timeline Curiosity

Information

合一是数理逻辑中的一阶谓词演算使用的一种运算方法。数理逻辑就是以推理(特别是数学中的演绎推理)作为研究对象的学科,它主要是运用数学方法使用数学符号,来研究数学领域公共使用的逻辑推理。而在语言研究中使用“合一”法,就是要用数理逻辑的推理方式来描述语言,达到精确化的目的。

InfoBox

中文名 合一
外文名称 syncretic

CN-Probase Concept

DBpedia Type

Baidu Baike Tag

标签 字词
标签 宗教
标签 宗教人物
标签 文化术语
标签 社会
标签 语言

Linking

Copyright © 2014-2017 KW Lab@Fudan University