英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：


请选择你想看的字典辞典：
单词字典翻译
Champollion查看　Champollion　在百度字典中的解释百度英翻中〔查看〕
Champollion查看　Champollion　在Google字典中的解释Google英翻中〔查看〕
Champollion查看　Champollion　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • 离散数学 (二)——一阶逻辑 - 知乎
    一阶逻辑 在命题逻辑公式的基础上，通过引入一些其他的符号，完善了对具体-抽象类型命题的描述与判断。 首先，我们要细分 原子命题 的结构。 原子命题本身是对一个事物性质的直接描述、或是对几个事物间关系的判断，这里的“事物”就被称为 个体。 个体通常可以替换为其他的实例，这种不确定性使之具有“变量”的意味，我们以小写字母 x, y, z 来表示个体，称为 个体变量。 对个体进行性质或关系的判断，称为 谓词。 谓词，即对个体变量的判断，是从个体变量到真值的映射，使之具有“函数”的意味，我们通常用大写字母 P, Q, R 表示一个谓词，并在其后的括号中填入个体变量表示对其判断。 例如 P (x)，表示“ x 具有性质 P ”。 谓词必须作用于个体变量上，但个体变量的数量不限。
  • 小白也能懂的离散数学 [数理逻辑第十一讲]：一阶逻辑公式 . . .
    一阶逻辑是命题逻辑的升级版，通过引入量词（∀、∃）和谓词实现对个体对象的精细描述。 其核心包括：1）语法结构（个体项、谓词、量词组合规则）；2）解释机制（为符号赋予具体含义）；3）真值判定流程。 相比命题逻辑，一阶逻辑能表达，所有 存在"等量化关系，可建模复杂对象关系。 关键要点在于：区分约束 自由变元、理解量词辖域;∀x (A→B)等典型模板。 _一阶逻辑的通俗解释
  • 一阶逻辑_百度百科
    一阶逻辑(first order logic,FOL)也叫一阶 谓词演算，允许量化陈述的公式，是使用于 数学 、 哲学 、 语言学 及 计算机科学 中的一种形式系统。 一阶逻辑是区别于 高阶逻辑 的 数理逻辑，它不允许量化性质。
  • 一阶谓词逻辑 | 离散数学复习笔记
    一阶逻辑公式是不可判定的，即无法判断一个公式是否永真、永假或可满足。 设 A 0 是含命题变项 p 1, p 2,, p n 的命题公式， A 1, A 2,, A n 是 n 个谓词公式，用 A i (1 ≤ i ≤ n) 处处代替 A 0 中的 p i，所得公式 A 称为 A 0 的代换实例。 例如， F (x) → G (x)， ∀ x F (x) → ∃ y G (y) 等都是 p → q 的代换实例。 重言式的代换实例都是永真式，矛盾式的代换实例都是矛盾式。 基本等值式 在一阶逻辑中仍然成立，如双重否定律、德摩根律等。 需要代换实例。 设 D = {a 1, a 2,, a n} A (x) 是含 x 的自由出现的公式， B 中不含 x 的自由出现的公式。 形式类似的重演蕴含式
  • 《离散数学》 - 4-一阶逻辑(I)(First-Order Logic(I))
    在一阶逻辑中,谓词实际上反映了个体之间性质的关系,即谓词可以看成是一个映射。
  • 一阶逻辑 - 维基百科，自由的百科全书
    一阶逻辑 是使用于 数学 、 哲学 、 语言学 及 计算机科学 中的一种 形式系统，也可以称为： 一阶断言演算 、 低端断言演算 、 量化理论 或 谓词逻辑。 一阶逻辑和 命题逻辑 的不同之处在于，一阶逻辑包含 量词。 高阶逻辑 和一阶逻辑不同之处在于，高阶逻辑的断言符号可以有断言符号或函数符号当做 引数，且容许断言量词或函数量词 [1]。 在一阶逻辑的 语义 中，断言被解释为 关系。 而高阶逻辑的语义里，断言则会被解释为集合的集合。 在通常的语义下，一阶逻辑是 可靠 （所有可证的叙述皆为真）且 完备 （所有为真的叙述皆可证）的。 虽然一阶逻辑的逻辑归结只是 半可判定性 的，但还是有许多用于一阶逻辑上的 自动定理证明。
  • 一阶逻辑 -- 来自 - 数学天地
    在一阶谓词演算的公式中，所有变量都是对象变量，充当函数和谓词的参数。 （在二阶谓词演算中，变量可以表示谓词，并且 量词 可以应用于表示谓词的变量。 ）一阶谓词演算的 公理 模式的集合由 命题演算 的公理模式以及以下两个公理模式组成
  • 知识表示之一阶谓词逻辑表示 - Chen洋 - 博客园
    在谓词公式 P (x) 中，P 称为谓词，x 称为个体变元，若 x 是一元的，称为 一元谓词， P (x，y) 称为 二元谓词。 在谓词中，个体可以为常量，变量，函数。 若谓词中的个体都为常量，变量或函数，则称它为 一阶谓词，如果个体本身是谓词，称为二阶谓词，依次类推。 谓词公式也有原子谓词公式、复合谓词公式等概念，利用命题逻辑的联结词将原子逻辑化式组合为复合谓词公式。
  • 谓词逻辑 — TextBook v0. 1 文档
    在谓词逻辑公式中，有两个重要的概念。 首先，谓词逻辑中包含了对象，这些对象由变量符号表示，或者也可以通过函数符号来表示。 在谓词逻辑中，用来表示对象的表达式均称为 项 (terms)；另外一个概念与真值相关，用来表示真值的表达式被称为 公式 (formulas)。
  • 【数理逻辑】谓词逻辑 ( 一阶谓词逻辑公式 | 示例 )-腾讯云 . . .
    示例公式展示其结构及变量作用，适用于逻辑推理与知识表示。





中文字典-英文字典  2005-2009