Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень

Розглядається обчислюваність на множинах та мультимножинах. Обчислюваність вводиться як нумераційна обчислюваність та апаратом для задання класу обчислюваних функцій виступають примітивні програмні алгебри. Побудовано системи породжуючих множинної та мультимножинної ППА....

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2011
Автори: Богатирьова, Ю.О., Буй, Д.Б., Редько, В.Н.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Видавничий дім "Академперіодика" НАН України 2011
Назва видання:Доповіді НАН України
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/38681
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень / Ю.О. Богатирьова, Д.Б. Буй, В.Н. Редько // Доп. НАН України. — 2011. — № 9. — С. 32-35. — Бібліогр.: 13 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Опис
Резюме:Розглядається обчислюваність на множинах та мультимножинах. Обчислюваність вводиться як нумераційна обчислюваність та апаратом для задання класу обчислюваних функцій виступають примітивні програмні алгебри. Побудовано системи породжуючих множинної та мультимножинної ППА.