Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://er.knutd.edu.ua/handle/123456789/465
Повний запис метаданих
Поле DC | Значення | Мова |
---|---|---|
dc.contributor.author | Горєлов, А. В. | uk |
dc.contributor.author | Редько, І. В. | uk |
dc.contributor.author | Яганов, П. О. | uk |
dc.date.accessioned | 2016-02-05T12:08:31Z | - |
dc.date.available | 2016-02-05T12:08:31Z | - |
dc.date.issued | 2015 | |
dc.identifier.citation | Горєлов А. В. Композиційні засади програмістської діяльності / А. В. Горєлов, І. В. Редько, П. О. Яганов // Вісник Київського національного університету технологій та дизайну. - 2015. - № 3 (86) : Серія "Технічні науки". - C. 11-19. | uk |
dc.identifier.uri | https://er.knutd.edu.ua/handle/123456789/465 | - |
dc.description.abstract | Розроблено технологічні засади генезису рішень програмістських задач. Проведені в роботі дослідження базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. Основу останніх складають програмні алгебри, носіями яких є спеціальні класи функцій, а операціями – композиції, що представляють собою абстракції від засобів синтезу програм. У рамках програмних алгебр строго ставляться та вирішуються проблеми повноти в класах обчислюваних функцій, що займають одне з чільних місць в програмістській проблематиці. Одним із шляхів вирішення цієї проблеми є представлений у роботі метод, що викладений у вигляді ряду оригінальних тверджень, лем та теорем. За допомогою запропонованого в роботі метода була отримана повна система алгебри для множини пар натуральних чисел. В роботі запропоновано універсальній метод вирішення проблем повноти в примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Результати можуть бути використанні при дослідженні алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування. | uk |
dc.language | uk | |
dc.subject | fullness of calculable functions | en |
dc.subject | fullness problem in PPA | en |
dc.subject | complete system | en |
dc.subject | pairs of natural numbers | en |
dc.subject | pr-functions | en |
dc.subject | pr-predicates | en |
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.type | Article | |
local.contributor.altauthor | Horielov, A. V. | en |
local.contributor.altauthor | Redko, I. V. | en |
local.contributor.altauthor | Yaganov, 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.pdf | 316,08 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.