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

• Published in: Доповіді НАН України
• Date: 2011
• Main Authors: Богатирьова, Ю.О., Буй, Д.Б., Редько, В.Н.
• Format: Article
• Language: Ukrainian
• Published: Видавничий дім "Академперіодика" НАН України 2011
• Subjects: Інформатика та кібернетика
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/38681
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень / Ю.О. Богатирьова, Д.Б. Буй, В.Н. Редько // Доп. НАН України. — 2011. — № 9. — С. 32-35. — Бібліогр.: 13 назв. — укр.

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