Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://er.knutd.edu.ua/handle/123456789/465
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorГорєлов, А. В.uk
dc.contributor.authorРедько, І. В.uk
dc.contributor.authorЯганов, П. О.uk
dc.date.accessioned2016-02-05T12:08:31Z-
dc.date.available2016-02-05T12:08:31Z-
dc.date.issued2015
dc.identifier.citationГорєлов А. В. Композиційні засади програмістської діяльності / А. В. Горєлов, І. В. Редько, П. О. Яганов // Вісник Київського національного університету технологій та дизайну. - 2015. - № 3 (86) : Серія "Технічні науки". - C. 11-19.uk
dc.identifier.urihttps://er.knutd.edu.ua/handle/123456789/465-
dc.description.abstractРозроблено технологічні засади генезису рішень програмістських задач. Проведені в роботі дослідження базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. Основу останніх складають програмні алгебри, носіями яких є спеціальні класи функцій, а операціями – композиції, що представляють собою абстракції від засобів синтезу програм. У рамках програмних алгебр строго ставляться та вирішуються проблеми повноти в класах обчислюваних функцій, що займають одне з чільних місць в програмістській проблематиці. Одним із шляхів вирішення цієї проблеми є представлений у роботі метод, що викладений у вигляді ряду оригінальних тверджень, лем та теорем. За допомогою запропонованого в роботі метода була отримана повна система алгебри для множини пар натуральних чисел. В роботі запропоновано універсальній метод вирішення проблем повноти в примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Результати можуть бути використанні при дослідженні алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування.uk
dc.languageuk
dc.subjectfullness of calculable functionsen
dc.subjectfullness problem in PPAen
dc.subjectcomplete systemen
dc.subjectpairs of natural numbersen
dc.subjectpr-functionsen
dc.subjectpr-predicatesen
dc.subjectполнота вычислимых функцийru
dc.subjectпроблема полноты в ППАru
dc.subjectполная системаru
dc.subjectпары натуральных чиселru
dc.subjectчр-функцииru
dc.subjectчр-предикатыru
dc.subjectповнота обчислювальних функційuk
dc.subjectпроблема повноти в ППАuk
dc.subjectповна системаuk
dc.subjectпари натуральних чиселuk
dc.subjectчр-функціїuk
dc.subjectчр-предикатиuk
dc.titleКомпозиційні засади програмістської діяльностіuk
dc.typeArticle
local.contributor.altauthorHorielov, A. V.en
local.contributor.altauthorRedko, I. V.en
local.contributor.altauthorYaganov, P. O.en
local.contributor.altauthorГорелов, А. В.ru
local.contributor.altauthorРедько, И. В.ru
local.contributor.altauthorЯганов, П. А.ru
local.subject.sectionОбладнання, електротехнічні та автоматизовані системи та комплексиuk
local.sourceВісник Київського національного університету технологій та дизайнуuk
local.source.number№ 3 (86)uk
local.source.seriesСерія "Технічні науки"uk
Розташовується у зібраннях:Наукові публікації (статті)
Вісник КНУТД

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


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