Освітня програма «Теоретична інформатика»
Кафедра теоретичної інформатики
Рівень вищої освіти: перший (бакалаврський) / другий (магістерський)
Спеціальність: 122 Комп’ютерні науки
Галузь знань: 12 Інформаційні технології
1. Мета освітньої програми
Підготовка фахівців у галузі теоретичної інформатики: теорії мов програмування, операційних систем, розподілених і реального часу систем, моделювання та комп’ютерних обчислень.
2. Програмні результати навчання
- Розуміти теорію мов програмування та λ-числення.
- Аналізувати архітектури операційних систем і систем реального часу.
- Моделювати складні та розподілені системи.
- Застосовувати теорію графів, масового обслуговування та мереж.
3. Навчальний план (вибірковий фрагмент бакалаврського / магістерського рівнів)
| Блок | Дисципліна | Код | Кредити | Контроль |
|---|---|---|---|---|
| Основи | Лямбда-числення | КВ-123-01 | 6 | Іспит |
| Теорія графів | КВ-123-02 | 5 | Залік | |
| Теорія мов програмування | КВ-123-03 | 6 | Іспит | |
| Функціональне програмування | КВ-123-15 | 5 | Залік | |
| Системи | Теорія операційних систем | КВ-123-04 | 6 | Іспит |
| Системи реального часу та телеметрії | КВ-123-07 | 6 | Іспит | |
| Теорія розподілених систем | КВ-123-06 | 5 | Залік | |
| Комп’ютерні мережі | КВ-123-13 | 5 | Залік | |
| Прикладні | Веб-програмування | КВ-123-14 | 5 | Залік |
| Комп’ютерні обчислення | КВ-123-11 | 5 | Залік | |
| Моделювання складних систем | КВ-123-09 | 5 | Залік | |
| Курсова робота | — | 3 | Залік | |
| Кваліфікаційна (дипломна) робота | — | 12 | Захист | |
4. Робочі програми дисциплін
Детальні робочі програми інтегровані в сторінки курсів кафедри теоретичної інформатики.