Лексика мови Паскаль та загальний вигляд програми

Бульові сталі мають вигляд false і true та позначають відповідно значення, про які ми звикли говорити "хибність" та "істина".

Отже, стала позначає значення. Уживемо вперше загадкове слово "семантика", що тлумачиться як "зміст": семантикою сталої є відповідне значення (число або щось інше). Взагалі, семантикою якогось позначення є те, що ним позначено. У цьому розділі ми дістанемося й до поняття "семантики програми", тобто опишемо те, що вона задає.

2.2.2. Тип цілих чисел

Комп'ютер "уміє" виконувати операції з цілими числами. Знаки двомісних (бінарних) операцій +, -, * позначають додавання, віднімання та множення, наприклад, 2+3, 2-3, 2*3 (результатом чого будуть цілі 5, -1, 6). Знаками div і mod задається породження цілих частки й залишку від ділення цілих: результатом 7 div 2 є 3, а результатом 7 mod 2 – 1. Знак / також задає ділення, але результатом його є число в його "дійсному" поданні, тобто 4/2 – це не ціле, а "дійсне число 2" (докладніше про це в розд. 7). В усіх трьох діленнях дільник не може бути нулем – інакше результат не визначений. Знак "-" задає застосування одномісної (унарної) операції "мінус": -2, -(2+3).

Порівняння цілих чисел задається знаками =, <>, >, <, >=, <= ("дорівнює", "не дорівнює", "більше", "менше", "не менше", "не більше"). Результатом є "істина" або "хибність": 1=2 – false, 1<>2 – true, 1>=1 – true тощо. Операції порівняння називаються відношеннями.

Є кілька операцій, що задаються дещо незвично, у вигляді f(…), де f – ім'я. Вирази такого вигляду називаються викликами функцій. Наприклад, вираз вигляду odd(x) задає обчислення ознаки непарності: значенням odd(7) є true, odd(12) – false.

До цілих чисел застосовні й інші операції (розд. 10).

Через скінченність множини цілих чисел, представних у комп'ютері, багато операцій із цілими визначені частково. Так, не всякі два числа можна додати або умножити, оскільки результат може виявитися не представним у комп'ютері. Наприклад, maxint+1 або maxint*2.

Отже, ми визначили, хоча і не точно, множину "цілих чисел" Z і множину операцій O, застосовних до них. Пара

(МНОЖИНА ЕЛЕМЕНТІВ, МНОЖИНА ОПЕРАЦІЙ ІЗ НИМИ)

у математиці називається типом. Множина елементів називається носієм типу, а множина операцій – його сигнатурою. Тип (Z, O) називається типом цілих і в мові Паскаль позначається ім'ям integer.

Тип цілих значень називається скалярним, оскільки ці значення розглядаються як неподільні, тобто такі, що не складаються з окремих частин. Далі ми познайомимося з іншими скалярними типами мови Паскаль. Вони називаються базовими типами цієї мови. Ми також познайомимося із структурними типами. Їх елементи, на відміну від скалярних, складені з частин, які можна позначати окремо.

Задача

2.1.* Указати всюди і не всюди визначені операції над цілими. Відповідь обгрунтувати.

2.2.3. Булів тип

A BA and BA or B not A

false falsefalsefalsetrue

false truefalsetruetrue

true falsefalsetruefalse