Примітивна програмна алгебра обчислюваних функцій над записами
Вантажиться...
Дата
2015
Автори
Захарченко, Тарас Леонідович
Редько, Дмитро Ігорович
Редько, Ігор Володимирович
Яганов, Петро Олексійович
Zakharchenko, T. L.
Redko, D. I.
Redko, I. V.
Iaganov, P. O.
Захарченко, Т. Л.
Редько, Д. И.
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Київ
Анотація
Опис
Ключові слова
повнота обчислюваних функцій, проблема повноти в ППА, повна система, пари натуральних чисел, чр-функції, чр-предикати, fullness of calculable functions, fullness problem in PPA, complete system, pairs of natural numbers, pr-functions, pr-predicates, полнота вычислимых функций, проблема полноты в ППА, полная система, пары натуральных чисел, чр-функции, чр-предикаты
Бібліографічний опис
Примітивна програмна алгебра обчислюваних функцій над записами / Т. Л. Захарченко, Д. І. Редько, І. В. Редько, П. О. Яганов // Наукові вісті НТУУ «КПІ» : науково-технічний журнал. – 2015. – № 2(100). – С. 29–40. – Бібліогр.: 19 назв.