Доведення коректності алгоритмів на чисто функціональних структурах даних за допомогою The Coq Proof Assistant

Скорочена інформація про документ
dc.contributor.authorЄна, Артем Вячеславович
dc.date.accessioned2025-04-23T09:08:47Z
dc.date.issued2024
dc.descriptionКерівник роботи: Жолткевич Григорій Миколайович, професор, доктор технічних наук кафедри теоретичної та прикладної інформатики
dc.identifier.citationЄна, Артем Вячеславович. Доведення коректності алгоритмів на чисто функціональних структурах даних за допомогою The Coq Proof Assistant : кваліфікаційна робота магістра : спеціальність 122 - Комп’ютерні науки : освітньо-наукова програма «Інформатика» / А. В. Єна ; кер. роботи Г. М. Жолткевич. – Харків : Харківський національний університет імені В. Н. Каразіна, 2024. – 67 с.
dc.identifier.urihttps://ekhnuir.karazin.ua/handle/123456789/21257
dc.language.isouk
dc.publisherХарків : Харківський національний університет імені В.Н. Каразіна
dc.subjectMATHEMATICS
dc.subjectКуча Бродала-Окасакі
dc.subjectBrodala-Okasaki heap
dc.subjectпріоритетні черги
dc.subjectpriority queues
dc.subjectформальна верифікація
dc.subjectformal verification
dc.subjectнадійність програмного забезпечення
dc.subjectsoftware reliability
dc.titleДоведення коректності алгоритмів на чисто функціональних структурах даних за допомогою The Coq Proof Assistant
dc.title.alternativeProving correctness of algorithms on purely functional data structures using The Coq Proof Assistant
dc.typeOther

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Диплом_Єна_АВ_МФ61.pdf
Розмір:
2.03 MB
Формат:
Adobe Portable Document Format
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Кваліфікаційні випускні роботи здобувачів вищої освіти. Факультет математики і інформатики