במדעי המחשב, ביטוי (באנגלית: Expression) הוא צירוף של ערכים, קבועים, משתנים, אופרטורים ופונקציות שמפורשים על פי סדר מסוים, ומותאמים לשפת תכנות כלשהי שמבצעת חישוב ומחזירה ערך אחר. הערך עשוי להיות מטיפוסים שונים - ערך מספרי, מחרוזת, לוגי וכן הלאה. לדוגמה, 2+3 הוא ביטוי אריתמטי שערכו יחושב להיות 5. אזכור של משתנה הוא ביטוי כי הוא מצביע לערך בזיכרון, ולכן y+6 זהו ביטוי הכולל את המשתנה y. דוגמה לביטוי יחס בשפות ממשפחת ה-C הוא 4==4, שערכו יחושב להיות אמת.

בשפות תכנות רבות, בהן שפות ממשפחת ה-C, לפקודה יש ערך, ששייך לטיפוס המכיל איבר יחיד (void ב-C,‏ unit בשפת ML). אין דרך להשתמש בערכים כאלה. פונקציה, ולכן גם כל ביטוי הכולל פונקציה, עשוי לכלול תוצאת לוואי. ביטוי עם תוצאת לוואי בדרך כלל לא מאופיין בהתייחסות-שקופה (Referential Transparency). בשפות רבות (בהן שפת C) ביטויים העומדים בפני עצמם ואינם חלק מביצוע פקודה נקראים ביטויי-פקודה (Expression Statements). במקרה זה הייעוד היחיד של ביטוי כזה הוא השגת תוצאת-הלוואי שלו, והתוכנית תתעלם מהערך שלו.

ערך זה הוא קצרמר בנושא מדעי המחשב. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.