числення
ЧИСЛЕННЯ - спосіб розв'язування задач у багатьох наукових теоріях, за яким кінцевий результат одержують шляхом оперування символами, прийнятими в цих теоріях для виразу їхніх об'єктів, за строго визначеними правилами. Розв'язування задач у вигляді Ч. проходить два етапи. Перший етап передбачає визначення необхідних символів і встановлення правил побудови з них формул і правил виводу одних формул з інших. При цьому повністю абстрагуються від конкретного змісту задачі, тому в результаті одержують певну систему символів, яку часто називають формалізмом. Другий етап - це інтерпретація одержаних формалізмів. До кожного Ч. висувають ряд вимог, зокрема: воно повинно бути ефективним, тобто приводити до розв'язання задачі через скінченне число дій. Характерною особливістю Ч. є автоматизм його виконання, що дає змогу застосовувати для розв'язування найскладніших задач обчислювальні машини. Важливу роль Ч. відіграють у математиці й логіці, особливо сучасній, де Ч. використовують не тільки для розв'язування окремих задач, а й для побудови цілих теорій (див. формалізація). Про окремі приклади Ч. див. Числення висловлювань і Числення предикатів.