Каталог курсів / Робочі програми навчальних дисциплін
Кожна сторінка курсу є робочою програмою навчальної дисципліни у форматі, що відповідає вимогам Міністерства освіти і науки України (МОН).
Робочі програми містять: мету та завдання, результати навчання, структуру (модулі), систему оцінювання (100-бальна шкала), рекомендовану літературу. Курси (робочі програми) складені на основі структури з прототипу /institute/ (коди КМ-111, КМ-113, КА-121, КВ-123, КФ-033).
Кафедра мовного забезпечення
- КА-121-01: Генератор компіляторів
- КА-121-02: Інтерпретатори
- КА-121-03: Верифікація мікропроцесорів
- КА-121-04: Верифікація ПЗ
- КА-121-05: Верифікація об'єктного коду
- КА-121-06: Теорія математичних мов програмування
- КА-121-07: Історія мов програмування
Кафедра прикладної математики
- КМ-113-01: Дискретна математика
- КМ-113-02: Математична статистика
- КМ-113-03: Формальні логіки
- КМ-113-04: Комплексний аналіз
- КМ-113-05: Чисельні методи
- КМ-113-06: Математичний аналіз
- КМ-113-07: Функціональний аналіз
- КМ-113-08: Звичайні диференційні рівняння
- КМ-113-09: Диференційні рівняння в частинних похідних
- КМ-113-10: Рівняння математичної фізики
Кафедра теоретичної інформатики
- КВ-123-01: Лямбда числення
- КВ-123-02: Теорія графів
- КВ-123-03: Теорія мов програмування
- КВ-123-04: Теорія операційних систем
- КВ-123-05: Теорія масового обслуговування
- КВ-123-06: Теорія розподілених систем
- КВ-123-07: Системи реального часу та телеметрії
- КВ-123-08: Інформаційно пошукові системи
- КВ-123-09: Моделювання складних систем
- КВ-123-10: Комп'ютерні сховища даних
- КВ-123-11: Комп'ютерні обчислення
- КВ-123-12: Комп'ютерна графіка
- КВ-123-13: Комп'ютерні мережі
- КВ-123-14: Веб програмування
- КВ-123-15: Функціональне програмування
- КВ-123-16: Схемотехніка
- КВ-123-17: Мікропроцесори
Кафедра формальної філософії
- КФ-033-01: Теорія категорій
- КФ-033-02: Формальні логіки
- КФ-033-03: Категоріальна логіка
- КФ-033-04: Лямбда числення
- КФ-033-05: Модальні логіки
- КФ-033-06: Теорія типів Мартіна Льофа
- КФ-033-07: Формалізація штучних мов
- КФ-033-08: Формалізація людських мов
- КФ-033-09: Мультимодальна гомотопічна теорія типів
- КФ-033-10: Теорія топосів
- КФ-033-11: Теорія інфініті категорій
Кафедра чистої математики
- КМ-111-01: Алгебра
- КМ-111-02: Геометрія
- КМ-111-03: Теорія гомотопій
- КМ-111-04: Теорія чисел
- КМ-111-05: Теорія схем Гротендіка
- КМ-111-06: p адичний аналіз
- КМ-111-07: Мотивне інтегрування
- КМ-111-08: Алгебраїчна топологія
- КМ-111-09: Диференціальна геометрія
- КМ-111-10: Гомотопічна теорія типів
- КМ-111-11: Модельні категорії Квілена
- КМ-111-12: Сімпліціальна гомотопічна теорія
- КМ-111-13: Локальна гомотопічна теорія
- КМ-111-14: К теорія
Кожен курс має окрему сторінку з описом, структурою модулів та системою оцінювання (100-бальна шкала).