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

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

 

唯一量化 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "唯一量化"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
唯一量化
在谓词逻辑和依赖于它的技术领域中，唯一量化或唯一存在量化，尝试形式化对于“精确”的一个事物，或对于精确的特定类型的一个事物为真的某个事物的概念。唯一量化的一般化是计数量化。

例如:

有精确的一个自然数 x 使得 x - 2 = 4。
符号化写为:
∃!x ∈ N, x - 2 = 4

符号 ∃! 叫做“唯一量词”或“唯一存在量词”。它通常读做“有一个且只有一个”，“存在唯一一个” (存在着这个符号的在文法上和如何阅读上的多个变体)。


访问 Wikipedia.org... 网页


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

唯一量化 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "唯一量化"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
唯一量化
在谓词逻辑和依赖于它的技术领域中，唯一量化或唯一存在量化，尝试形式化对于“精确”的一个事物，或对于精确的特定类型的一个事物为真的某个事物的概念。唯一量化的一般化是计数量化。

例如:

有精确的一个自然数 x 使得 x - 2 = 4。
符号化写为:
∃!x ∈ N, x - 2 = 4

符号 ∃! 叫做“唯一量词”或“唯一存在量词”。它通常读做“有一个且只有一个”，“存在唯一一个” (存在着这个符号的在文法上和如何阅读上的多个变体)。


访问 Wikipedia.org... 网页


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




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