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

Домашня сторінка
→
Загальнонаукова періодика
→
Доповіді Національної академії наук України
→
Доповіді НАН України, 2011
→
Доповіді НАН України, 2011, № 09
→
Переглянути статтю

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

Богатирьова, Ю.О. ; Буй, Д.Б. ; Редько, В.Н.

Інші назви: Primitive program algebras of functions of set (multiset) arguments and values

Тема: Інформатика та кібернетика

УДК: 004.655

URI: http://dspace.nbuv.gov.ua/handle/123456789/38681

Посилання: Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень / Ю.О. Богатирьова, Д.Б. Буй, В.Н. Редько // Доп. НАН України. — 2011. — № 9. — С. 32-35. — Бібліогр.: 13 назв. — укр.

Дата: 2011

Завантажень: 448

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

Анотація:

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

We consider the computability on sets and multisets which is introduced as the numerical computability. The primitive program algebras (PPAs) are the method for definition of a class of computable functions. Systems of generators of set and multiset PPAs are constructed.

Показати повний запис статті