חיפוש ברשת
מילון
חיפוש בפורום
求值 – מילון עברי-אנגלי
לצערנו, לא נמצאו תוצאות באנגלית עבור "求值"
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