《演算》相关词语
-
即时演算的词语属性 拼音j sh yn sun拼音字母ji shi yan suan拼音首字母jsys 即时演算的百科含义 即时演算,英文为Real Time Rendering。即所有我们眼中看到的是图像芯片“即时”生成的,其一系列的程序语言经由API(程序接口)翻译成图形芯片可以执行的指令来完成处理工作。...
2024-07-31
-
逻辑演算的词语属性 拼音lu ji yn sun拼音字母luo ji yan suan拼音首字母ljys 逻辑演算的百科含义 用形式化方法处理逻辑推理,特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性,故也称之为逻辑演算...
2024-07-31
-
谓词演算的词语属性 拼音wi c yn sun拼音字母wei ci yan suan拼音首字母wcys 谓词演算的百科含义 谓词演算是数理逻辑最基本的形式系统,其又被称为一阶逻辑。一个可以回答真假的命题,不仅可以分析到简单命题,还可以分析到其中的个体、量词和谓词。个体表示某一个物体或元素...
2024-07-31
-
演算的词语属性 拼音yn sun拼音字母yan suan拼音首字母ys 演算的词语解释演算[ yn sun ] 按一定原理和公式计算:~习题。 演算的详细含义 按照一定的原理或公式计算。《宋史律历志十五》:“至于李淳风、一行而后,总气朔而合法,效乾坤而拟数,演算之法始加备焉。”徐迟《哥...
2024-07-31
-
有限差演算的词语属性 拼音yu xin ch yn sun拼音字母you xian cha yan suan拼音首字母yxcys 有限差演算的百科含义 有限差演算是运用符号算子及其运算规则处理插值、级数求和以及差分方程求解等问题的形式演算方法。又称为离散微积分学、有限差分学。...
2024-07-30
-
广义谓词演算的词语属性 拼音gung y wi c yn sun拼音字母guang yi wei ci yan suan拼音首字母gywcys 广义谓词演算的百科含义 广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。...
2024-07-30
-
命题演算的词语属性 拼音mng t yn sun拼音字母ming ti yan suan拼音首字母mtys 命题演算的百科含义 命题演算是命题逻辑的公理化,任务是使用演算手段来讨论命题逻辑,有自然演算和公理演算两种方式。公理演算是给出公理,根据确定的推理规则推导出一系列重言式;自然演算不给...
2024-07-30
-
关系演算的词语属性 拼音gun x yn sun拼音字母guan xi yan suan拼音首字母gxys 关系演算的百科含义 关系演算是以数理逻辑中的谓词演算为基础的。以谓词演算为基础的查询语言称为关系演算语言。用谓词演算作为数据库查询语言的思想最早见于Kuhns的论文。把谓词演算用于关系数据...
2024-07-30