중국어 사전에서 "谓词" 뜻

중국어 에서 谓词 의 발음

谓	词
wèi	cí

중국어에서 谓词 의 뜻은 무엇인가요?

1 차 논리

一阶逻辑

1 차 논리는 ​​공식 체계에서 수학, 철학, 언어학 및 컴퓨터 과학에 사용됩니다. 지난 100 년 동안 1 차 논리는 ​​1 차 주장, 저차 주장, 양화 또는 주장 논리 (덜 정확한 용어)를 포함하여 많은 이름으로 등장했습니다. 1 차 논리와 명제 논리의 차이점은 1 차 논리가 양자화 변수를 사용한다는 것입니다. 1 차 논리는 ​​일련의 정량 변수가 있고 문자의 의미있는 주장을 두 개 이상 가지며 특정 도메인의 순수한 공리, 즉 1 차 이론으로 구성된 문자의 의미있는 주장을 포함합니다. 1 차 논리는 ​​다른 고차원 논리와 달리 상위 논리의 주장이 주장이나 함수를 인수로 가질 수 있고 수량 기호 또는 함수 한정 기호 (동시 또는 비 동시)의 주장을 허용 할 수 있습니다. 1 차 논리에서 어설 션은 일반적으로 콜렉션과 연관됩니다. 의미있는 고차원 논리에서 어설 션은 콜렉션의 콜렉션으로 해석됩니다. ...

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

중국어 사전에서 谓词 의 정의

술어 1. 주 단어의 문장 술어 부분. 개개인의 본성과 둘 이상의 개개인 사이의 관계를 나타내는 수학 논리.

谓词 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»