Наукова періодика України Наукові вісті КПІ


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

Цитованість авторів публікації:
  • Захарченко Т.
  • Редько Д.
  • Редько І.
  • Яганов П.

  • Бібліографічний опис для цитування:

    Захарченко Т. Л. Примітивна програмна алгебра обчислюваних функцій над записами / Т. Л. Захарченко, Д. І. Редько, І. В. Редько, П. О. Яганов // Наукові вісті Національного технічного університету України "Київський політехнічний інститут". - 2015. - № 2. - С. 29-40. - Режим доступу: http://nbuv.gov.ua/UJRN/NVKPI_2015_2_5.

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Захарченко Тарас Леонідович (технічні науки)
  • Редько Ігор Володимирович (фізико-математичні науки)
  • Яганов Петро Олексійович (технічні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського