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