英语人>网络解释>predicate logic 相关的网络解释
predicate logic相关的网络解释

查询词典 predicate logic

与 predicate logic 相关的网络解释 [注:此内容来源于网络,仅供参考]

complete predicate:完全謂語;完全述語

full verb 完全動詞;詞彙動詞 | complete predicate 完全謂語;完全述語 | perfect infinitive 完成不定式

complete predicate:完备谓词

complete plant | 成套设备 | complete predicate | 完备谓词 | complete primitive | 完全原函数

predication:述谓结构

一个述谓结构(predication)包含论元(argument)和谓词(predicate), 论元是述谓结构的逻辑上的参与者,主要是一个句子中的名词性成分,谓词是对论元的述说,或者陈述一种与论元之间的逻辑关系.

predicative:表语

英语的基本成分有六种:主语(subject)、谓语(predicate)、表语 ,,(predicative)、宾语(object)、定语(attribute)和状语(adverbial). ,,英语句子成分中,有些具有形态标志. 如第一人称代词作主语就用主格"I", ,,作宾语用宾格"me",

prediction law:预报律

predicate variable 谓词变项 | prediction law 预报律 | prediction theory 预报理论

prediction law:预告律

predicate variable 谓词变项 | prediction law 预告律 | prediction theory 预告理论

Pretest loop:前测试循环

谓词 Predicate | 前测试循环 Pretest loop | 质数 Prime number

restricted primal problem:设限的原问题

狭谓词演算 restricted predicate calculus | 设限的原问题 restricted primal problem | 设限三体问题 restricted problem of three bodies

primitive recursive function:基元遞迴函數

原始遞迴 primitive recursive | 基元遞迴函數 primitive recursive function | 基元遞迴述訪 primitive recursive predicate

primitive recursive isomorphism:原始递归同构

primitive recursive function 原始递归函数 | primitive recursive isomorphism 原始递归同构 | primitive recursive predicate 原始递归渭词

第24/100页 首页 < ... 20 21 22 23 24 25 26 27 28 ... > 尾页
相关中文对照歌词
Saturday (Skit)
Relatives
Autologic
UK Jamaican
Give It To Me
Sell Out Records (Skit)
Predicate Rap
Just Another Day (In My Mind)
Highs & Lows
Drinkin' Songs And Other Logic
推荐网络解释

circular section segment:圆形剖面

circular seam welding 环缝对接焊 | circular section segment 圆形剖面 | circular section 圆弧标度尺

hot air engine:热风气动力机

热风干燥机 hot air drying machine | 热风气动力机 hot air engine | 热风扇 hot air fan

Not to worry. The War Office keeps us well-supplied:别担心,战备办公室会保证我们的供应

But I have to tell you, our cupboards are not exactl... | Not to worry. The War Office keeps us well-supplied.|别担心,战备办公室会保证我们的供应 | And what's more, we have a number of keen hunters in o...