Наукова періодика України | Наукові вісті КПІ | ||
Редько І. В. Примітивна програмна алгебра обчислюваних функцій над графами / І. В. Редько, Н. М. Снігур // Наукові вісті Національного технічного університету України "Київський політехнічний інститут". - 2011. - № 4. - С. 75-80. - Режим доступу: http://nbuv.gov.ua/UJRN/NVKPI_2011_4_17 Задача знаходження алгебричних характеристик репрезентативних класів функцій та предикатів тісно пов'язана з проблематикою теорії та практики програмування. Досліджено клас обчислюваних функцій та предикатів над скінченними графами. Вибір графових структур обумовлений їх важливістю та популярністю в теоретичному та прикладному програмуванні. Як інструмент дослідження вибрано примітивну програмну алгебру, носієм якої є множина обчислюваних функцій та предикатів над скінченними графами, а сигнатуру становлять параметричні композиції суперпозиції, розгалуження та циклування. Основну увагу приділено пошуку породної множини цієї примітивної програмної алгебри. Також одержано корисні необхідні умови повноти породної множини примітивної програмної алгебри обчислюваних функцій та предикатів над графами. Цитованість авторів публікації: Бібліографічний опис для цитування: Редько І. В. Примітивна програмна алгебра обчислюваних функцій над графами / І. В. Редько, Н. М. Снігур // Наукові вісті Національного технічного університету України "Київський політехнічний інститут". - 2011. - № 4. - С. 75-80. - Режим доступу: http://nbuv.gov.ua/UJRN/NVKPI_2011_4_17.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |