Омельчук Л.Л. Аксіоматичні системи специфікацій програм над номінативними даними. - Рукопис. Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.05.01 - теоретичні основи інформатики та кібернетики. - Київський національний університет імені Тараса Шевченка. -Київ 2007. На основі композиційно-номінативного підходу побудовані та досліджені імперативні та декларативні моделі недетермінованих програм. Семантика таких програм задається частковими багатозначними функціями (бінарними відношеннями) над номінативними даними. Визначено повний клас натурально обчислюваних функцій такого типу та наведено його алгебраїчне подання. В роботі визначено спеціальний вид обчислюваності - номінативна обчислюваність. Номінативна обчислюваність дозволяє адекватно визначити повний клас обчислюваних функцій над номінативними даними. Номінативна обчислюваність орієнтована на функції і композиції, близькі до програмних функцій і композицій. Будується аксіоматична теорія номінативних даних, яка спроможна специфікувати усі номінативно обчислювані функції. Побудовано прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними, а також продемонстровано, що він дозволяє доводити деякі властивості програм. Ключові слова: композиційне програмування, композиційно-номінативні системи, семантика програм, специфікація програмних систем, обчислюваність, частково обчислювані функції.