Примітивна програмна алгебра обчислюваних функцій над записами

Скорочена інформація про документ
dc.contributor.authorЗахарченко, Тарас Леонідович
dc.contributor.authorРедько, Дмитро Ігорович
dc.contributor.authorРедько, Ігор Володимирович
dc.contributor.authorЯганов, Петро Олексійович
dc.contributor.authorZakharchenko, T. L.
dc.contributor.authorRedko, D. I.
dc.contributor.authorRedko, I. V.
dc.contributor.authorIaganov, P. O.
dc.contributor.authorЗахарченко, Т. Л.
dc.contributor.authorРедько, Д. И.
dc.contributor.authorРедько, И. В.
dc.contributor.authorЯганов, П. А.
dc.date.accessioned2016-11-04T15:08:02Z
dc.date.available2016-11-04T15:08:02Z
dc.date.issued2015
dc.description.abstractenBackground. The research is conducted in the context of compositional approach to programming. Problematic of the research is development of scientific foundations of programmer’s problems solution genesis. Its basis is concept of composition. Objective. The objective of the research is general method development for function classes’ algebraic characteristics obtaining and application of the method for description of pragmatically important class of partially recursive functions on records. Methods. Creations made in the paper are based on software analysis algebraic methods and compositional programming methodic. Problems of computable functions’ characteristics obtaining, problems of generative sets and bases finding, which are one of the most important questions in programmer’s problematic, are strictly stated and solved in the context of so called “program algebras”. Results. In the paper method of mentioned problems solution was proposed in context of primitive program algebras (PPA) on different classes of computable functions. Received results are stated as sequence of original statements, lemmas, and theorems. They can be used for different classes of computable functions algebraic characteristics exploration in problems of programming languages semantics formalization. Conclusions. Received results are foundations of adaptive programming environments development. Next steps in this direction will be connected with exploration of general concept of composition and development of related reduction methods of function exploration as environments of pragmatic depended programmer’s problems decomposition.uk
dc.description.abstractruПроблематика. Исследование проводится в рамках композиционного подхода к программированию. Проблематика исследования – разработка научных засад генезиса решений программистских задач. Его основу составляет понятие композиции. Цель исследования. Целью исследования является разработка общего метода получения алгебраических характеристик классов функций и применение его для описания прагматически важного класса частично рекурсивных функций над записями. Методы реализации. Проведенные в работе построения базируются на алгебраических методах исследования программ и методиках композиционного программирования. В рамках так называемых программных алгебр строго ставятся и решаются проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, что занимают одно из главных мест в программистской проблематике. Результаты исследования. В работе предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования. Выводы. Полученные результаты являются фундаментом для развития направления адаптивных сред программирования. Следующие шаги будут связаны с исследованием общего понятия композиции и разработкой связанных с ним редукционных методов исследования функций как сред прагматико-обусловленной декомпозиции программистских задач.uk
dc.description.abstractukПроблематика. Дослідження проводиться у рамках композиційного підходу до програмування. Проблематикою дослідження є розробка наукових засад генезису розв’язків програмістських задач. Його основу становить поняття композиції. Мета дослідження. Метою дослідження є розробка загального методу отримання алгебричних характеристик класів функцій та застосування його для опису прагматично важливого класу частково рекурсивних функцій над записами. Методи реалізації. Проведені в роботі побудови базуються на алгебричних методах дослідження програм та методах композиційного програмування. У рамках так званих програмних алгебр строго ставляться та вирішуються проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що посідають одне з чільних місць у програмістській проблематиці. Результати дослідження. В роботі запропоновано загальний метод вирішення зазначених проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладені у вигляді ряду оригінальних тверджень, лем та теорем. Вони можуть бути використанні при дослідженні алгебричних характеристик різних класів обчислюваних функцій у задачах формалізації семантик мов програмування. Висновки. Отримані результати є фундаментом для розвитку напряму адаптивних середовищ програмування. Наступні кроки будуть пов’язані з дослідженням загального поняття композиції та розробкою пов’язаних із ним редукційних методів дослідження функцій як середовищ прагматико-обумовленої декомпозиції програмістських задач.uk
dc.format.pagerangeС. 29-40uk
dc.identifier.citationПримітивна програмна алгебра обчислюваних функцій над записами / Т. Л. Захарченко, Д. І. Редько, І. В. Редько, П. О. Яганов // Наукові вісті НТУУ «КПІ» : науково-технічний журнал. – 2015. – № 2(100). – С. 29–40. – Бібліогр.: 19 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/18021
dc.language.isoukuk
dc.publisherКиївuk
dc.publisher.placeНТУУ "КПІ"uk
dc.source.nameНаукові вісті НТУУ «КПІ»: науково-технічний журналuk
dc.status.pubpublisheduk
dc.subjectповнота обчислюваних функційuk
dc.subjectпроблема повноти в ППАuk
dc.subjectповна системаuk
dc.subjectпари натуральних чиселuk
dc.subjectчр-функціїuk
dc.subjectчр-предикатиuk
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.udc519.683.8uk
dc.titleПримітивна програмна алгебра обчислюваних функцій над записамиuk
dc.title.alternativePrimitive programing algebra of computable functions at recordsuk
dc.title.alternativeПримитивная программная алгебра вычислимых функций над записямиuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
03_Захарченко.pdf
Розмір:
367.73 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
7.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Наукові вісті НТУУ «КПІ»: науково-технічний журнал, № 2(100)