Примітивна програмна алгебра обчислюваних функцій на множині графів
Данная статья посвящена изучению некоторых свойств примитивных программных алгебр многоместных функций над множеством конечных графов. Найдено порождающее множество алгебры частично-рекурсивных функций. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных...
Saved in:
| Published in: | Таврический вестник информатики и математики |
|---|---|
| Date: | 2009 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Кримський науковий центр НАН України і МОН України
2009
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/18234 |
| 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: | Примітивна програмна алгебра обчислюваних функцій на множині графів / Н.М. Снігур // Таврический вестник информатики и математики. — 2009. — № 2. — С. 85-89. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Данная статья посвящена изучению некоторых свойств примитивных программных алгебр многоместных функций над множеством конечных графов. Найдено порождающее множество алгебры частично-рекурсивных функций. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных, реляционных и табличных функций.
Дана стаття присвячена вивченню деяких властивостей примітивних програмних алгебр багатомісних функцій над множиною скінчених графів. Знайдено породжуючу множину алгебри частково-рекурсивних функцій. Викладені результати є доповненням результатів, отриманих раніше для векторних, матричних, реляційних та табличних функцій.
This paper is devoted to studing certain properties of primitive program algebra of n-ary functions defined for the set of finite grafs. The generating set for the partially recursive funtions algebra is found. The results presented are the continuation of the previously carried out research for vector, matrix, relation and table functions.
|
|---|---|
| ISSN: | 1729-3901 |