מילון אונליין

  חיפוש ברשת      מילון      חיפוש בפורום

 

泛函谓词 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "泛函谓词"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
泛函谓词
形式逻辑和相关的数学分支中,泛函谓词函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。泛函谓词有时也叫做映射,但是这个术语还有其他意义。在模型中,函数符号被建模为函数

特别是,在形式语言中的符号 F 是函数符号,如果给定任何表示在语言中的一个对象的符号 xF(x) 也是表示这个语言中一个对象的符号。在有类型逻辑中,F 是带有域类型 T 和陪域类型 U 的函数符号,如果给定表示类型 T 的一个对象的任何符号 xF(x) 也是表示类型 U 的对象的符号。你可以类似的定义多于一个变量的函数符号,类比于多于一个变量的函数; 个变量的函数符号简单的是一个常量符号。

现在考虑这个形式语言的模型,它带有类型 TU 被建模为集合 [T] 和 [U],而类型 T 的每个符号 X 被建模为 [T] 中的元素 [x]。则 F 可以被建模为集合

它简单的是带有域 [T] 和陪域 [U] 的一个函数。[F(x)] = [F(y)] 只要 [x] = [y] 是一致性模型的要求。

访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许

泛函谓词 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "泛函谓词"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
泛函谓词
形式逻辑和相关的数学分支中,泛函谓词函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。泛函谓词有时也叫做映射,但是这个术语还有其他意义。在模型中,函数符号被建模为函数

特别是,在形式语言中的符号 F 是函数符号,如果给定任何表示在语言中的一个对象的符号 xF(x) 也是表示这个语言中一个对象的符号。在有类型逻辑中,F 是带有域类型 T 和陪域类型 U 的函数符号,如果给定表示类型 T 的一个对象的任何符号 xF(x) 也是表示类型 U 的对象的符号。你可以类似的定义多于一个变量的函数符号,类比于多于一个变量的函数; 个变量的函数符号简单的是一个常量符号。

现在考虑这个形式语言的模型,它带有类型 TU 被建模为集合 [T] 和 [U],而类型 T 的每个符号 X 被建模为 [T] 中的元素 [x]。则 F 可以被建模为集合

它简单的是带有域 [T] 和陪域 [U] 的一个函数。[F(x)] = [F(y)] 只要 [x] = [y] 是一致性模型的要求。

访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许




© 2007 מילון G בבילון אונליין - נתמך ע"י מילון בבילון 9