Числення

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

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

Див. також

Примітки

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

Література

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

Це незавершена стаття з математики.
Ви можете допомогти проєкту, виправивши або дописавши її.

[FOOTNOTEШкільняк20124-1] Шкільняк, 2012, с. 4.

[1]