Числення

Числення, Дедуктивна система — система, яка задає множину, зазначаючи первісні елементи й правила виведення. Правила виведення застосовуються до скінченного числа елементів, які називають засновками (ними можуть бути як первісні елементи, так і утворені попередніми застосуваннями правил), і утворюють елемент який називають висновком.

Правила виведення також називають породжувальними правилами.

Див. також

• Формальна система
• Числення висловлень
• Диференціальне та інтегральне числення

Примітки

1. Шкільняк, 2012, с. 4.

Література

• Енциклопедія кібернетики : у 2 т. / за ред. В. М. Глушкова. — Київ : Гол. ред. Української радянської енциклопедії, 1973. — Т. 2.
• Шкільняк С. С. Теорія алгоритмів. Приклади і задачі: Навчальний посібник. — Київ : Видавничо-поліграфічний центр «Київський університет», 2012. — 77 с.
• Логічні числення // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін. — Київ : Інститут філософії імені Григорія Сковороди НАН України : Абрис, 2002. — 742 с. — 1000 екз. — ББК (87я2). — .