Знайдено документів: 1
Інформація × Реєстраційний номер 0416U003418, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 09-06-2016 Статус Запланована Назва роботи Побудова та дослідження програмних логік Здобувач Криволап Андрій Володимирович, Керівник Нікітченко Микола Степанович Опонент Глазунов Микола Михайлович Опонент Годлевський Олександр Богуславович Опис В дисертаційній роботі будуються програмні логіки композиційно-номінативного типу. Для композицій програмного рівня побудованих логік доведено монотонність та неперервність. Досліджено властивості класичних аксіоматичних систем для випадку часткових предикатів. Розроблено коректні аксіоматичні системи з додатковими обмеженнями, досліджено їх повноту. Дата реєстрації 2016-06-09 Додано в НРАТ 2020-04-03 Закрити
Дисертація кандидатська
Побудова та дослідження програмних логік
3
Криволап Андрій Володимирович. Побудова та дослідження програмних логік : к.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 2016-06-09; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – , 0416U003418.
Знайдено документів: 1

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


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