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

Скорочена інформація про документ
dc.contributor.authorРедько, І. В.
dc.contributor.authorСнігур, Н. М.
dc.date.accessioned2020-10-13T10:39:40Z
dc.date.available2020-10-13T10:39:40Z
dc.date.issued2011
dc.description.abstractenThe problem of finding algebraic characteristics of representative classes of functions and predicates is closely connected with issues of the programming theory and practice. In this paper, we study a class of calculated functions and predicates for finite graphs. We choose graph structures because of their importance and popularity in the theoretical and applied programming. We also use the primitive program algebra as a research tool. Specifically, its carrier is a set of calculated functions and predicates for finite graphs and its signaturе comprises the parametric composition of superposition, branching and cycling. Emphasized here is finding a generating set of the primitive program algebra. In addition, we obtain useful necessary conditions for generating completeness of the generating set of the primitive program algebra calculated by functions and predicates for graphs.uk
dc.description.abstractukЗадача знаходження алгебричних характеристик репрезентативних класів функцій та предикатів тісно пов’язана з проблематикою теорії та практики програмування. У статті досліджено клас обчислюваних функцій та предикатів над скінченними графами. Вибір графових структур обумовлений їх важливістю та популярністю в теоретичному та прикладному програмуванні. Як інструмент дослідження вибрано примітивну програмну алгебру, носієм якої є множина обчислюваних функцій та предикатів над скінченними графами, а сигнатуру становлять параметричні композиції суперпозиції, розгалуження та циклування. Основну увагу приділено пошуку породної множини цієї примітивної програмної алгебри. Також отримано корисні необхідні умови повноти породної множини примітивної програмної алгебри обчислюваних функцій та предикатів над графами.uk
dc.format.pagerangeС. 75-80uk
dc.identifier.citationРедько, І. В. Примітивна програмна алгебра обчислюваних функцій над графами / І. В. Редько, Н. М. Снігур // Наукові вісті НТУУ «КПІ» : міжнародний науково-технічний журнал. – 2011. – №4(78). – С. 75-80. – Бібліогр.: 15 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/36739
dc.language.isoukuk
dc.publisherНТУУ «КПІ»uk
dc.publisher.placeКиївuk
dc.sourceНаукові вісті НТУУ «КПІ» : науково-технічний журнал, 2011, № 4(78)uk
dc.titleПримітивна програмна алгебра обчислюваних функцій над графамиuk
dc.typeArticleuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
2011-4-15.pdf
Розмір:
291.65 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.06 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Наукові вісті НТУУ «КПІ»: науково-технічний журнал, № 4(78)