Значение слова "谓词" в словаре китайский языка

ПРОИЗНОШЕНИЕ СЛОВА 谓词

谓	词
wèi	cí

ЧТО ОЗНАЧАЕТ СЛОВО 谓词

Логика первого порядка

一阶逻辑

Логика первого порядка используется в математике, философии, лингвистике и информатике в формальной системе. За последние 100 лет логика первого порядка появилась во многих именах, включая утверждения первого порядка, утверждения низкого порядка, квантификацию или логику утверждения (менее точный термин). Разница между логикой первого порядка и логикой высказываний состоит в том, что логика первого порядка использует переменные квантования. Логика первого порядка, если она содержит ряд количественных переменных, более чем одно содержательное утверждение букв и содержит содержательное утверждение букв, состоящее из чистых аксиом конкретной области, т. Е. Теории первого порядка. Логика первого порядка отличается от другой логики более высокого порядка тем, что утверждение логики более высокого порядка может содержать утверждения или функции в качестве аргументов и допускать утверждения кванторов или кванторов функций (одновременных или не одновременных). В логике первого порядка утверждения обычно связаны с коллекциями. В значащей логике высокого порядка утверждения интерпретируются как коллекции коллекций. ...

一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。...

Значение слова 谓词 в словаре китайский языка

Предикат 1. Основное слово в предикатной части предложения. 2. Слова в математической логике, которые представляют природу человека и отношения между двумя или более лицами.

谓词 1.句子里谓语部分的主要的词。 2.数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。

ПЕРЕВОД СЛОВА 谓词

Посмотрите перевод слова 谓词 на 25 языков с помощью нашего многоязыкового переводчика c китайский языка.

Переводы слова 谓词 с китайский языка на другие языки, представленные в этом разделе, были выполнены с помощью автоматического перевода, в котором главным элементом перевода является слово «谓词» на китайский языке.

• китайский: 谓词
• Переводчик с китайский языка на испанский язык: predicado
• Переводчик с китайский языка на английский язык: Predicate
• Переводчик с китайский языка на хинди язык: विधेय
• Переводчик с китайский языка на арабский язык: مسند
• Переводчик с китайский языка на русский язык: предикат
• Переводчик с китайский языка на португальский язык: predicado
• Переводчик с китайский языка на бенгальский язык: সূত্রের বিধেয়
• Переводчик с китайский языка на французский язык: prédicat
• Переводчик с китайский языка на малайский язык: predikat
• Переводчик с китайский языка на немецкий язык: Prädikat
• Переводчик с китайский языка на японский язык: 述語
• Переводчик с китайский языка на корейский язык: 술부
• Переводчик с китайский языка на яванский язык: predikat
• Переводчик с китайский языка на вьетнамский язык: vị ngữ
• Переводчик с китайский языка на тамильский язык: பயனிலை
• Переводчик с китайский языка на маратхи язык: पुष्टी करा
• Переводчик с китайский языка на турецкий язык: yüklem
• Переводчик с китайский языка на итальянский язык: predicato
• Переводчик с китайский языка на польский язык: orzecznik
• Переводчик с китайский языка на украинский язык: предикат
• Переводчик с китайский языка на румынский язык: predicat
• Переводчик с китайский языка на греческий язык: Κατηγορηματική
• Переводчик с китайский языка на африкаанс язык: predikaat
• Переводчик с китайский языка на шведский язык: predikat
• Переводчик с китайский языка на норвежский язык: predikat

КНИГИ НА КИТАЙСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «谓词»

Поиск случаев использования слова 谓词 в следующих библиографических источниках. Книги, относящиеся к слову 谓词, и краткие выдержки из этих книг для получения представления о контексте использования этого слова в литературе на китайский языке.

数据挖掘原理与算法 - 第 272 页

查询中包含从感兴趣的数据库中找到实体的查询信息,井输入所感兴趣的空间关系的拓扑谓词。使用这些谓词,建造一个初始表 P , CP 则定义哪几对实体在粗糙的层次上满足 P 。输入的最小支持度实际上就是在不同层次上的支持度。经过过滤,满足粗糙 ...

毛国君, 2005

对象-关系数据库管理系统原理与实现 - 第 155 页

( 2 )仅有一个顶点上有单环,也就是说,只有该顶点所对应的谓词是需要通过迭代来计算的 IDB 谓词,如例中的 mgr 一 a 儿不妨称其为递归体谓词。( 3 )至少有一个顶点的拓扑排序必然在递归体谓词所对应顶点之前,此类顶点所对应的谓词要么是 EDB 谓词, ...

李战怀, ‎李红燕, ‎徐秋元, 2006

人工智能 - 第 37 页

一阶谓词逻辑在数学、哲学和人工智能等领域一直都非常重要。选择一阶逻辑来研究知识表示和推理是因为一阶逻辑是在已有的知识表示方法中研究得最深入、理解得最全面的方法。 2 · 3·1 予吾亏去命题是能够判断其真假的句子。一般而言,能够作出 ...

贲可荣, ‎张彦铎, 2006

离散数学 - 第 xxxiii 页

̈是有理数"是谓词,记为 G ,用 C (工)表示( 2 )中命题·在( 3 )中,小王,小李都是个体常项, " · . ... 谓词也有常项与变项之分·表示具体性质或关系的请词称为祝词常项,表示抽象的或泛指的性质或关系的谓词称为诉词变项·无论是谓词常项或变项都用大写英文 ...

屈婉玲, ‎耿素云, ‎张立昂, 2005

决策支持系统(DSS)理论·方法·案例 - 第 197 页

为区别两类谓词,模型谓词符号和模型输人项下面都划线。每一模型在知识库中都表示为一合式公式(或合式公式集) ,每一个定义模型的合式公式都包括一个模型谓词加上一些领域谓词,合在一起蕴含着一个或多个领域谓词的合取。这种扩充的 FOL 合式 ...

高洪深, 2005

人工智能原理 - 第 120 页

出了除 A 中的说明之外再没有别的鸟了,即只有 Tweety 和 Os -研 Ch 是鸟。引入这个假设后进行推理可知 Sam 不是鸟。谓词完备化法对已知信任集 A 的扩充仅是一种最小的扩充。如 A = E ( x )斗 P ( x ) ,所扩充的仅是使 P ( x ) + E ( x )成立的那些个体。

石纯一, ‎黄昌宁, 1993

中智学 中智逻辑,中智集合论,中智概率论 译注：刘锋（西安财经学院）[A Unifying Field in ...

谓词(或功能)演算( Predicate ( or Functional ) Calculus )关心的是它的内部结构。主语谓语,而不是整体之间的逻辑关系。 k)量化( Quantification ) :一阶(或低阶)谓词演算(量化仅限制在个体。而且谓词只取个体作为参数)。二阶谓词演算(量化超越了个体。

Florentin Smarandache, 2002

离散数学简明教程 - 第 141 页

为了解决这一问题,我们引进了“谓词”和“量词”的概念,并在命题演算的原有基础上相应建立了一套谓词演算的相关定律和推理理论。谓词演算就是以命题演算为基础,研究由命题和命题公式经使用联结词和量词构成的逻辑形式与它们之间的推理关系的 ...

王礼萍, 2005

多角度硏究语言 - 第 429 页

厂[ + 直系] [ + 具有] [ + 测量] [ + 长辈] [ + 长辈] [ -长辈] [ + 温度] / / " [ + 单数]父亲告知母亲女儿获得一文温度汁表述中的谓词是主要的,谓项可多可少,具有一个谓项的谓词叫一元谓词,具有两个谓项的谓词叫二元谓词,具有三个谓项的谓词叫三元谓词。

王德春, 2002

面向主体的软件开发 - 第 344 页

例如,我们可以引人一个原子谓词 Temperature ( degree )表示房间的温度,其中的 degree 是一个项用于表示房间温度的值,可以用各种数字来实例化。 Temperature ( 25 )表示房间的温度为 25 。 C 。假设刀和川是两个表示主体的变元符号, address 是 ...

毛新军, 2005

НОВОСТИ, В КОТОРЫХ ВСТРЕЧАЕТСЯ ТЕРМИН «谓词»

Здесь показано, как национальная и международная пресса использует термин 谓词 в контексте приведенных ниже новостных статей.

让SQL用户快速进入Hadoop大数据时代—— Transwarp Inceptor是 …

Transwarp Holodesk根据查询条件的谓词属性对每个数据块的对应列构建数据索引，索引列采用自己研发的Trie结构进行组织存储，非索引列采用字典编码的方式 ... «CSDN, Мар 15»

解释“语法范畴”，常见的词法范畴有哪些

词法范畴又分为“体词属性范畴”和“谓词属性范畴”两类。 常见的体词属性范畴有：(1)性;(2)数;(3)格;(4)有定和无定。 常见的谓词属性范畴有：(1)时;(2)体;(3)态;(4)人称。 «中国教育在线, Окт 14»

2014自考：述谓结构指的是什么

一个命题在语义结构上可进一步分析为一个“述谓结构”。一个述谓结构由一个“谓词”和若干个“变元”组成，谓词一般就是句子中的谓语动词或形容词，是处于支配地位的 ... «中国教育在线, Сен 14»

《科研笔记：自然语言处理领域中的语义路线及其代表人物》 精选

Argument structure 立足于句法结构，主要论元最多不超过三个（up to 3 arguments）：逻辑主语，逻辑宾语，逻辑补语，加上谓词governor，构成一个四元组，非常简洁， ... «科学时报, Авг 14»

EclipseCon: Oracle发布Java 8

需要传过滤器或其他谓词的情况下，像传数据那样，把函数隐式转换为单一抽象方法类型（如 Runnable ） ， 从而极大简化代码。（注意，此处称 lambda 表达式是因为， ... «InfoQ: 时刻关注企业软件开发领域的变化与创新, Мар 14»

悼念格语法和框架语义学创始人

十年后，他提出了更加精细的分析方法，干脆放开手脚，放弃统一的十种格，给一个谓词一套框架及框架元素。例如，“眨眼睛”就是在一个特定的框架下，可以命名为“ ... «科学时报, Фев 14»

自我指涉（7）——语言限制了数学

如果量词“存在”和“一切”只允许对个体使用，不允许对集合或谓词等使用，叫一阶语言【1】，它是描写形式公理化系统的标准语言。逻辑语言和这语言中一组句子（称为 ... «科学时报, Дек 13»

自我指涉（5）——真值的间隙精选

在塔斯基理论里，每一个层次语言中都定义了自己“真”的概念，高层语言包含着低层语言所有的元素，它就包含有下面各个层次不同的“真”谓词，当我们说起“真”的时候 ... «科学时报, Ноя 13»

自我指涉（4）——不谈自身无烦恼

这里φ<ψ>是φ(<ψ>)的简写，是评判句子ψ具有φ性质的谓词表达式。这个引理的大意是：对于能够谈算术讲逻辑的语言，任给一个用来判定句子的属性φ，总能写出自我 ... «科学时报, Ноя 13»

2014管综考研：突破不考逻辑学知识的误区

比如数理逻辑的主要分支包括：逻辑演算(包括命题演算和谓词演算)、模型论、证明论、递归论和公理化集合论。数理逻辑和计算机科学有许多重合之处，两者都属于 ... «新浪网, Сен 13»