Search academic texts

Information × Registration Number 0407U001656, Candidate dissertation Status к.ф.-м.н. Date 05-04-2007 popup.evolution o Title Axiomatic Systems of Specifications of Programs over Nominative Data Author Ludmila Omelchuk, popup.head Nikolaj Nikitchenko popup.opponent Лавріщева Катерина Михайлівна popup.opponent Глибовець Микола Миколайович Description На основі композиційно-номінативного підходу побудовані та досліджені імперативні та декларативні моделі програм. Визначено номінативну обчислюваність, яка дозволяє адекватно визначити повний клас обчислюваних функцій над номінативними даними та орієнтована на функції і композиції, близькі до програмних. Побудовано аксіоматичну теорію номінативних даних, яка спроможна специфікувати усі номінативно обчислювані функції та запропоновано прототип її реалізації. Registration Date 2007-04-05 popup.nrat_date 2020-04-04 Close