"谓词"辞典での中国語の意味

中国語で谓词の発音

谓	词
wèi	cí

中国語で谓词はどんな意味ですか？

一次論理

一阶逻辑

一次論理は、数学、哲学、言語学、コンピュータ科学において正式なシステムで使用されています。 過去100年にわたり、一次論理、一次アサーション、低次アサーション、定量化またはアサーション論理（あまり正確でない用語）をはじめ、多くの名前に一次論理が登場しました。 1次論理と命題論理の違いは、1次論理が量子化変数を使用することです。 一次論理は、一連の量的変数を持つ場合、複数の意味のある文字のアサーションを含み、特定のドメインの純粋な公理、すなわち一次の理論からなる文字の意味のあるアサーションを含む。 1次ロジックは、高次ロジックのアサーションがアサーションまたは関数を引数として持ち、数量子または関数の量指定子（同時または非同期）のアサーションを可能にする点で、他の高次ロジックと異なります。 一次論理では、アサーションは通常、コレクションに関連付けられます。 意味のある上位論理では、アサーションはコレクションのコレクションとして解釈されます。 ...

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

中国語辞典での谓词の定義

述語1.主語の文述語部分。 個体の本質と2つ以上の個体間の関係の表現における数学的論理。

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

谓词の翻訳

当社の中国語多言語翻訳者が翻訳した25ヵ国語の谓词を探してみましょう。

自動統計翻訳によって、このセクションで示されている中国語から他の言語への谓词の翻訳を訳しました。この場合は、必須の翻訳単位は中国語で«谓词»という単語です。

• 中国語: 谓词
• 中国語翻訳家 - スペイン語: 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, 3月 15»

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

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

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

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

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

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

EclipseCon: Oracle发布Java 8

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

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

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

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

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

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

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

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

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

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

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