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