ערך (מדעי המחשב)

במדעי המחשב, ערך הוא ביטוי שלא ניתן לחשב אותו לצורה פשוטה יותר (צורה נורמלית). האיברים בטיפוס נתונים הם הערכים של טיפוס זה. לדוגמה, הביטוי "1 + 2" איננו ערך, מכיוון שניתן לבטא אותו בצורה "3". את הביטוי "3" לא ניתן לצמצם יותר (והוא איבר מטיפוס מספר טבעי), ולכן הוא ערך. "הערך של משתנה" נתון על ידי מיפוי שמבוצע בסביבת העבודה המתאימה (בהגדרת שפת התכנות, למשל).

בשפות בהן ניתן לבצע השמה אל משתנים יש צורך להבחין בין R-value (תוכן) לבין L-value (מיקום) של משתנה. בשפות הצהרתיות, ערכים נדרשים להיות שקופי-התייחסות. פירוש הדבר שהערך המתקבל איננו תלוי במיקום שבו מאוחסן הביטוי שנדרש לשמירת תוצאת חישוב הערך. רק התוכן שנמצא באותו מיקום בזיכרון (המצב של הביטים, 0 או 1) והפירוש שלהם הם משמעותיים.