Выражение -- последовательность действий над данными, приводящая к каком-то результату (новому фрагменту данных). Обычно записывает в коде программы как единая конструкция.
В зависимости от существующих в языке программирования типов данных (читайте о типизации в ЯП) выражения могут называть логическими, арифметическими и т.д.
