1. |
Омельчук Л.Л. Аксіоматичні системи специфікацій програм над номінативними даними: Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Л.Л. Омельчук ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2007. — 17 с. — укp.На підставі композиційно-номінативного підходу побудовано та досліджено імперативні й декларативні моделі недетермінованих програм. Встановлено, що семантика даних програм задається частковими багатозначними функціями (бінарними відношеннями) над номінативними даними. Визначено повний клас натурально обчислюваних функцій даного типу та наведено його алгебраїчне подання. Визначено спеціальний вид обчислюваності - номінативну обчислюваність, що дозволяє адекватно визначити повний клас обчислюваних функцій над номінативними даними й орієнтована на функції та композиції, близькі до програмних. Побудовано аксіоматичну теорію номінативних даних, яка спроможна специфікувати усі номінативно обчислювані функції. Побудовано прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними. Продемонстровано його властивість доводити деякі властивості програм. Скачати повний текст Індекс рубрикатора НБУВ: З973-018.022 + Шифр НБУВ: РА349925
Рубрики:
|