Примітивна програмна алгебра обчислюваних функцій на множині графів
Данная статья посвящена изучению некоторых свойств примитивных программных алгебр многоместных функций над множеством конечных графов. Найдено порождающее множество алгебры частично-рекурсивных функций. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных...
Збережено в:
| Опубліковано в: : | Таврический вестник информатики и математики |
|---|---|
| Дата: | 2009 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Кримський науковий центр НАН України і МОН України
2009
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/18234 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Примітивна програмна алгебра обчислюваних функцій на множині графів / Н.М. Снігур // Таврический вестник информатики и математики. — 2009. — № 2. — С. 85-89. — Бібліогр.: 7 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Данная статья посвящена изучению некоторых свойств примитивных программных алгебр многоместных функций над множеством конечных графов. Найдено порождающее множество алгебры частично-рекурсивных функций. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных, реляционных и табличных функций.
Дана стаття присвячена вивченню деяких властивостей примітивних програмних алгебр багатомісних функцій над множиною скінчених графів. Знайдено породжуючу множину алгебри частково-рекурсивних функцій. Викладені результати є доповненням результатів, отриманих раніше для векторних, матричних, реляційних та табличних функцій.
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 |