|
-
Ключові слова:
логічне програмування, логическое программирование, logic programming ; рекурсія, рекурсия, Recursion ; теорія множин, теория множеств
-
Анотація:
В роботі обгрунтовується коректність застосування методу Гаусса послідовного виключення невідомих для розв"язку систем рівнянь в індуктивних множинах.
-
Є складовою частиною документа:
-
Теми документа
-
Персоналії // Гаус Карл Фрідріх (1777-1855), Гаусс Карл Фридрих, Johann Carl Friedrich Gau, Carolus Fridericus Gauss
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
