சீனம்அகராதியில் "谓词" இன் பொருள்

சீனம்இல் 谓词 இன் உச்சரிப்பு

谓	词
wèi	cí

சீனம்இல் 谓词 இன் அர்த்தம் என்ன?

முதல் வரிசையில் தர்க்கம்

一阶逻辑

முதல் ஒழுங்கு தர்க்கம் கணித, தத்துவம், மொழியியல் மற்றும் கணினி விஞ்ஞானத்தில் முறையான முறையில் பயன்படுத்தப்படுகிறது. கடந்த 100 ஆண்டுகளில், முதல் வரிசை ஒழுங்குமுறை, குறைந்த-ஆணை வலியுறுத்தல், அளவுகோல் அல்லது வலியுறுத்தல் தர்க்கம் (குறைந்த துல்லியமான கால) உள்ளிட்ட பல பெயர்களில் முதல்-வரிசை தர்க்கம் தோன்றியுள்ளது. முதல்-வரிசை தர்க்கத்திற்கும், முன்மொழிவு தர்க்கத்திற்கும் உள்ள வித்தியாசம், முதல்-வரிசை தர்க்கம் குவாண்டிகேஷன் மாறிகள் பயன்படுத்துகிறது. முதல் வரிசையில் தர்க்கம், அது அளவுக்கு மாறான மாறுபாடுகளைக் கொண்டிருக்கும், கடிதங்களின் ஒன்றுக்கு மேற்பட்ட அர்த்தமுள்ள வலியுறுத்தல் மற்றும் குறிப்பிட்ட டொமைன் தூய ஆசியமைகளை உருவாக்குகின்ற கடிதங்களின் அர்த்தமுள்ள வலியுறுத்தலைக் கொண்டுள்ளது, அதாவது, முதல் வரிசையில் உள்ள கோட்பாடு. முதல்-வரிசை தர்க்கம் வேறு உயர்-வரிசை தர்க்கத்திடமிருந்து மாறுபடுகிறது, உயர்-வரிசை தர்க்கத்தின் வலியுறுத்தல் வாதங்கள் என உறுப்புகள் அல்லது செயல்பாடுகளைக் கொண்டிருக்கலாம், மேலும் அவை quantifiers அல்லது செயல்பாட்டு அளவுகோல்களின் வலியுறுத்தல் (ஒரே நேரத்தில் அல்லது அல்லாத ஒரே நேரத்தில்) அனுமதிக்கலாம். முதல் வரிசையில் தர்க்கத்தில், கூற்றுகள் பொதுவாக சேகரிப்புகளுடன் தொடர்புபடுத்தப்படுகின்றன. அர்த்தமுள்ள உயர்-வரிசை தர்க்கத்தில், வலியுறுத்தல்கள் சேகரிப்புகளின் தொகுப்புகளாக விவரிக்கப்படுகின்றன. ...

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

சீனம் அகராதியில் 谓词 இன் வரையறை

முன்மொழிய 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, மார்ச் 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»