числення

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

Джерело: Філософський енциклопедичний словник на Slovnyk.me

Значення в інших словниках

  1. числення — ЧИ́СЛЕННЯ, я, с. 1. Сукупність способів найменування і позначення чисел у математиці. Всякий загальний спосіб найменування і позначення чисел називається системою числення, або нумерацією (з навч. літ. Словник української мови у 20 томах
  2. числення — чи́слення іменник середнього роду Орфографічний словник української мови
  3. числення — -я, с. 1》 Сукупність способів найменування і позначення чисел у математиці. Десяткова система числення. Диференціальне числення. 2》 заст., рідко. Лік, рахунок. Великий тлумачний словник сучасної мови
  4. числення — РАХУВА́ННЯ, ЛІК, ЛІЧБА́, ЛІЧЕННЯ (ЛІЧІ́ННЯ), ЧИ́СЛЕННЯ, РАХУ́БА заст., РАХУ́НОК розм. Береза здригнувся, ніби застали його за рахуванням крадених грошей (М. Томчаній); Я не літописом холодним Холодний лік веду вікам (М. Словник синонімів української мови
  5. числення — ЧИ́СЛЕННЯ, я, с. 1. Сукупність прийомів найменування і позначення чисел у математиці. Всякий загальний спосіб найменування і позначення чисел називається системою числення, або нумерацією (Арифм., 1956, 11); Десяткова система числення. Словник української мови в 11 томах