Довідка про освітні програми
Інституту Формальної Математики
Документ підготовлено для надання інформації Міністерству освіти і науки України.
Дата: жовтень 2026 р.
Загальні відомості
Приватний заклад вищої освіти «Інститут Формальної Математики» планує провадження освітньої діяльності за п’ятьма освітніми програмами на двох факультетах.
- Факультет прикладної математики — кафедри прикладної математики, теоретичної інформатики, мовного забезпечення.
- Факультет чистої математики — кафедри чистої математики, формальної філософії.
Перелік освітніх програм
| № | Назва освітньої програми | Кафедра | Рівень | Спеціальність | Обсяг (ECTS) | Атестація |
|---|---|---|---|---|---|---|
| 1 | Формальна філософія та математика | Формальної філософії | Магістр | 111 Математика / 033 Філософія | 90 | Курсова + Кваліфікаційна робота |
| 2 | Формальні мови програмування | Мовного забезпечення | Магістр | 121 Інженерія програмного забезпечення | 90 | Курсова + Кваліфікаційна робота |
| 3 | Прикладна математика | Прикладної математики | Бакалавр | 113 Прикладна математика | 240 | Курсова + Кваліфікаційна робота |
| 4 | Теоретична інформатика | Теоретичної інформатики | Бакалавр / Магістр | 122 Комп’ютерні науки | 240 / 90 | Курсова + Кваліфікаційна робота |
| 5 | Чиста математика | Чистої математики | Магістр | 111 Математика | 90 | Курсова + Кваліфікаційна робота |
Відповідність вимогам законодавства
- Освітні програми розроблені відповідно до ст. 9, 9-1, 10 Закону України «Про вищу освіту».
- Кожна програма містить: назву, рівень, галузь знань, спеціальність, цілі, програмні результати навчання, перелік освітніх компонентів та їх логічну послідовність.
- У всіх програмах передбачено курсову роботу (залік) та кваліфікаційну (дипломну) роботу (захист) як форми атестації.
- Робочі програми навчальних дисциплін розроблені у форматі, що відповідає вимогам МОН, і розміщені на сторінках курсів.
- Кадрове забезпечення: мінімальний склад — 5 докторів наук на основних місцях роботи (відповідно до ліцензійних умов).