Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://er.knutd.edu.ua/handle/123456789/465
Назва: Композиційні засади програмістської діяльності
Автори: Горєлов, А. В.
Редько, І. В.
Яганов, П. О.
Ключові слова: fullness of calculable functions
fullness problem in PPA
complete system
pairs of natural numbers
pr-functions
pr-predicates
полнота вычислимых функций
проблема полноты в ППА
полная система
пары натуральных чисел
чр-функции
чр-предикаты
повнота обчислювальних функцій
проблема повноти в ППА
повна система
пари натуральних чисел
чр-функції
чр-предикати
Дата публікації: 2015
Бібліографічний опис: Горєлов А. В. Композиційні засади програмістської діяльності / А. В. Горєлов, І. В. Редько, П. О. Яганов // Вісник Київського національного університету технологій та дизайну. - 2015. - № 3 (86) : Серія "Технічні науки". - C. 11-19.
Source: Вісник Київського національного університету технологій та дизайну
Короткий огляд (реферат): Розроблено технологічні засади генезису рішень програмістських задач. Проведені в роботі дослідження базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. Основу останніх складають програмні алгебри, носіями яких є спеціальні класи функцій, а операціями – композиції, що представляють собою абстракції від засобів синтезу програм. У рамках програмних алгебр строго ставляться та вирішуються проблеми повноти в класах обчислюваних функцій, що займають одне з чільних місць в програмістській проблематиці. Одним із шляхів вирішення цієї проблеми є представлений у роботі метод, що викладений у вигляді ряду оригінальних тверджень, лем та теорем. За допомогою запропонованого в роботі метода була отримана повна система алгебри для множини пар натуральних чисел. В роботі запропоновано універсальній метод вирішення проблем повноти в примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Результати можуть бути використанні при дослідженні алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування.
URI (Уніфікований ідентифікатор ресурсу): https://er.knutd.edu.ua/handle/123456789/465
Розташовується у зібраннях:Наукові публікації (статті)
Вісник КНУТД

Файли цього матеріалу:
Файл Опис РозмірФормат 
V86_P011-019.pdf316,08 kBAdobe PDFПереглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.