Примітивна програмна алгебра обчислюваних функцій над записами
Вантажиться...
Дата
2015
Науковий керівник
Назва журналу
Номер 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 назв.