В математиці часто доводиться мати справу з абстрактними змінними, тобто рахується, що в деякому виразі змінні не мають якогось конкретного значення або ж можуть мати будь-які значення. В програмуванні це зовсім інакше.
При об'яві змінної певного типу на початку програми ЕОМ відводить відповідну ділянку пам'яті, в якій може розміститися значення вказаного типу. Цій ділянці пам'яті надається ім'я, однакове з іменем змінної. Надалі в ці комірки пам'яті може бути розташовано будь-яке допустиме значення. Якщо далі транслятор зустрічає в програмі ім'я вже об'явленої змінної, він автоматично звертається до ділянки пам'яті з цим самим іменем для того, щоб або розмістити там, або взяти звідти потрібне значення.
Один з основних засобів для того щоб розмістити в комірці змінної якесь значення — це використати оператор присвоювання:
змінна := вираз
Тут символи ":=" — знаки оператора присвоювання. Послідовність виконання така: спочатку обчислюється значення виразу в правій частині оператора; це значення розміщується потім в комірку пам'яті змінної, ім'я якої вказано зліва. Як частковий випадок, виразом може бути одна константа чи змінна.
Приклади:
а:=3 - а присвоїти 3, тобто в а розмістити значення 3;
y:=cos(x)+sin(x) - у присвоїти значення виразу;
b:=с - в комірку b копіюється значення з с;
х:=х+1 - до значення х додається 1, отриманий результат знову розміщується в комірку х.
Тип змінної зліва повинний бути таким самим, як і тип значення виразу справа, за винятком, коли змінна може бути REAL, а вираз — INTEGER.