在计算机科学中， 真值是指一个数值在特定条件下的实际值。它与计算机内部存储和处理的二进制数值（即机器值）不同，机器值只是数值的二进制表示形式，而真值则包括了数值的正负符号和绝对值。
具体来说，带符号位的机器数（如二进制数1000 0101）的形式值是135，但其真值是-5，因为最高位是符号位，表示这是一个负数。因此，为了区分，将带符号位的机器数对应的真正数值称为机器数的真值。
真值可以是数学上的真实值，也可以是计算机程序中的逻辑真值。在数学中，真值通常指一个命题或表达式的真实性，即它是否为真。在编程中，真值通常用于布尔逻辑，表示条件判断的结果，如if语句中的条件表达式。
此外，真值还可以分为理论真值、约定真值和相对真值。理论真值是指一个量在理想条件下的绝对值，约定真值是指一个接近真实值的值，通常用于实际测量中，而相对真值是指一个量相对于另一个量的真实值。
总结来说，真值是计算机科学中用于描述数值实际含义的一个重要概念，它区分了计算机内部表示的机器值和数值的实际大小及符号。