Signification de "谓词" dans le dictionnaire chinois

PRONONCIATION DE 谓词 EN CHINOIS

谓	词
wèi	cí

QUE SIGNIFIE 谓词 EN CHINOIS

Logique du premier ordre

一阶逻辑

La logique du premier ordre est utilisée en mathématiques, en philosophie, en linguistique et en informatique dans un système formel. Au cours des 100 dernières années, la logique du premier ordre est apparue sous plusieurs noms, y compris les assertions de premier ordre, les assertions de faible ordre, la logique de quantification ou d'assertion (terme moins précis). La différence entre la logique du premier ordre et la logique propositionnelle est que la logique du premier ordre utilise des variables de quantification. Une logique de premier ordre, si elle a une série de variables quantitatives, plus d'une assertion significative de lettres et contient une assertion significative de lettres composées d'axiomes purs du domaine spécifique, c'est-à-dire une théorie du premier ordre. La logique du premier ordre diffère d'une autre logique d'ordre supérieur en ce sens que l'assertion de la logique d'ordre supérieur peut avoir des assertions ou des fonctions comme arguments et permettre des assertions de quantificateurs ou de quantificateurs de fonctions simultanés ou non simultanés. Dans la logique du premier ordre, les assertions sont généralement associées aux collections. Dans une logique d'ordre supérieur significative, les assertions sont interprétées comme des collections de collections. ...

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

définition de 谓词 dans le dictionnaire chinois

Prédicat 1. Le mot principal dans la partie prédicat d'une phrase. 2. Les mots dans la logique mathématique qui représentent la nature d'un individu et la relation entre deux ou plusieurs individus.

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

TRADUCTION DE 谓词

Découvrez la traduction de 谓词 dans 25 langues grâce à notre traducteur chinois multilingue.

Dans cette section, les traductions de 谓词 dans d'autres langues ont été obtenues par traduction automatique statistique, où l'unité essentielle de la traduction est le mot «谓词» en chinois.

• chinois: 谓词
• Traducteur Français - espagnol: predicado
• Traducteur Français - anglais: Predicate
• Traducteur Français - hindi: विधेय
• Traducteur Français - arabe: مسند
• Traducteur Français - russe: предикат
• Traducteur Français - portugais: predicado
• Traducteur Français - bengali: সূত্রের বিধেয়
• Traducteur Français - français: prédicat
• Traducteur Français - malaisien: predikat
• Traducteur Français - allemand: Prädikat
• Traducteur Français - japonais: 述語
• Traducteur Français - coréen: 술부
• Traducteur Français - javanais: predikat
• Traducteur Français - vietnamien: vị ngữ
• Traducteur Français - tamoul: பயனிலை
• Traducteur Français - marathi: पुष्टी करा
• Traducteur Français - turc: yüklem
• Traducteur Français - italien: predicato
• Traducteur Français - polonais: orzecznik
• Traducteur Français - ukrainien: предикат
• Traducteur Français - roumain: predicat
• Traducteur Français - grec: Κατηγορηματική
• Traducteur Français - afrikaans: predikaat
• Traducteur Français - suédois: predikat
• Traducteur Français - norvégien: predikat

10 LIVRES EN CHINOIS EN RAPPORT AVEC «谓词»

Découvrez l'usage de 谓词 dans la sélection bibliographique suivante. Des livres en rapport avec 谓词 et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.

数据挖掘原理与算法 - 第 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

10 ACTUALITÉS CONTENANT LE TERME «谓词»

Découvrez de quoi on parle dans les médias nationaux et internationaux et comment le terme 谓词 est employé dans le contexte des actualités suivantes.

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

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

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

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

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

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

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

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

EclipseCon: Oracle发布Java 8

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

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

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

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

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

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

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

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

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

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

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