Примітивна програмна алгебра обчислюваних функцій на множині графів

Данная статья посвящена изучению некоторых свойств примитивных программных алгебр многоместных функций над множеством конечных графов. Найдено порождающее множество алгебры частично-рекурсивных функций. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Таврический вестник информатики и математики
Datum:2009
ISSN:1729-3901
1. Verfasser: Снігур, Н.М.
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: Кримський науковий центр НАН України і МОН України 2009
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/18234
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Примітивна програмна алгебра обчислюваних функцій на множині графів / Н.М. Снігур // Таврический вестник информатики и математики. — 2009. — № 2. — С. 85-89. — Бібліогр.: 7 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Beschreibung
Zusammenfassung:Данная статья посвящена изучению некоторых свойств примитивных программных алгебр многоместных функций над множеством конечных графов. Найдено порождающее множество алгебры частично-рекурсивных функций. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных, реляционных и табличных функций. Дана стаття присвячена вивченню деяких властивостей примітивних програмних алгебр багатомісних функцій над множиною скінчених графів. Знайдено породжуючу множину алгебри частково-рекурсивних функцій. Викладені результати є доповненням результатів, отриманих раніше для векторних, матричних, реляційних та табличних функцій. 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