Знайдено документів: 1
Інформація × Реєстраційний номер 0407U001656, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 05-04-2007 Статус Запланована Назва роботи Аксіоматичні системи cпецифікацій програм над номінативними даними Здобувач Омельчук Людмила Леонідівна, Керівник Нікітченко Микола Степанович Опонент Лавріщева Катерина Михайлівна Опонент Глибовець Микола Миколайович Опис На основі композиційно-номінативного підходу побудовані та досліджені імперативні та декларативні моделі програм. Визначено номінативну обчислюваність, яка дозволяє адекватно визначити повний клас обчислюваних функцій над номінативними даними та орієнтована на функції і композиції, близькі до програмних. Побудовано аксіоматичну теорію номінативних даних, яка спроможна специфікувати усі номінативно обчислювані функції та запропоновано прототип її реалізації. Дата реєстрації 2007-04-05 Додано в НРАТ 2020-04-04 Закрити
Дисертація кандидатська
Аксіоматичні системи cпецифікацій програм над номінативними даними
2
Омельчук Людмила Леонідівна. Аксіоматичні системи cпецифікацій програм над номінативними даними : к.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 2007-04-05; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – , 0407U001656.
Знайдено документів: 1

Оновлено: 2026-03-27


Роздрукувати цю сторінку