Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень
Розглядається обчислюваність на множинах та мультимножинах. Обчислюваність вводиться як нумераційна обчислюваність та апаратом для задання класу обчислюваних функцій виступають примітивні програмні алгебри. Побудовано системи породжуючих множинної та мультимножинної ППА. We consider the computabilit...
Saved in:
| Published in: | Доповіді НАН України |
|---|---|
| Date: | 2011 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Видавничий дім "Академперіодика" НАН України
2011
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/38681 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень / Ю.О. Богатирьова, Д.Б. Буй, В.Н. Редько // Доп. НАН України. — 2011. — № 9. — С. 32-35. — Бібліогр.: 13 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Розглядається обчислюваність на множинах та мультимножинах. Обчислюваність вводиться як нумераційна обчислюваність та апаратом для задання класу обчислюваних функцій виступають примітивні програмні алгебри. Побудовано системи породжуючих множинної та мультимножинної ППА.
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.
|
|---|---|
| ISSN: | 1025-6415 |