Богатирьова, Ю. О. Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень [Текст] / Ю. О. Богатирьова, Д. Б. Буй, В. Н. Редько> // Доповіді Національної академії наук України. - 2011. - № 9. - С. 32-35. - Бібліогр. в кінці ст. Рубрики: Математика--Алгебра--Загальна алгебра--Поля і многочлени Кл.слова (ненормовані): функція рекурсивна -- предикат рівності Анотація: Розглядається обчислювальність на множинах і мультимножинах. Побудовано системи породжуючих множинної та мультимножинної примітивно програмних алгебр. Дод.точки доступу: Буй, Д. Б.; Редько, В. Н. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |