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

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

 

求值 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "求值"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
求值
逻辑模型论中,求值(valuation)是从一阶语言的变量的集合到这个语言的某个释义的全集的映射。

非形式的说,它是把一个特定的值指派(赋值)给一个数学陈述或等式中的变量。例如陈述 "x = y" 满足于(就是说,为真于)在其中 "x" 被映射到同 "y" 相同的值的求值,而不满足于(就是说,为假于)所有其他求值。在这种简单情况下这好象是平凡的,但它是使用数学符号公式化逻辑论证的过程的一部分。


访问 Wikipedia.org... 网页


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

求值 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "求值"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
求值
逻辑模型论中,求值(valuation)是从一阶语言的变量的集合到这个语言的某个释义的全集的映射。

非形式的说,它是把一个特定的值指派(赋值)给一个数学陈述或等式中的变量。例如陈述 "x = y" 满足于(就是说,为真于)在其中 "x" 被映射到同 "y" 相同的值的求值,而不满足于(就是说,为假于)所有其他求值。在这种简单情况下这好象是平凡的,但它是使用数学符号公式化逻辑论证的过程的一部分。


访问 Wikipedia.org... 网页


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




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