Числення, Дедуктивна система — система, яка задає множину, зазначаючи первісні елементи й правила виведення. Правила виведення застосовуються до скінченного числа елементів, які називають засновками (ними можуть бути як первісні елементи, так і утворені попередніми застосуваннями правил), і утворюють елемент який називають висновком.
Правила виведення також називають породжувальними правилами.
Див. також
Примітки
- Шкільняк, 2012, с. 4.
Література
- Енциклопедія кібернетики : у 2 т. / за ред. В. М. Глушкова. — Київ : Гол. ред. Української радянської енциклопедії, 1973. — Т. 2.
- Шкільняк С. С. Теорія алгоритмів. Приклади і задачі: Навчальний посібник. — Київ : Видавничо-поліграфічний центр «Київський університет», 2012. — 77 с.
- Логічні числення // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін. — Київ : Інститут філософії імені Григорія Сковороди НАН України : Абрис, 2002. — 742 с. — 1000 екз. — ББК 87я2. — .
![]() | Це незавершена стаття з математики. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет