Дисципліни
Моделі обчислень в програмній інженерії
Теоретичний базис програмної інженерії - моделі обчислень, що використовуються в основі ведучих мов програмування. В ході курсу студенти отримують теоретичні знання та практичні навички в роботі з наступними моделями обчислень: нормальні алгоритми Маркова, машини Тьюрінга, машини з необмеженими регістрами, системи Поста, частково-рекурсивні функції та лямбда числення. Для практичної роботи використовується інтерпретатор моделей зі зручним графічним інтерфейсом.
Бази даних
Курс передбачає набуття теоретичних та практичних знань в одній з найактуальніших на сьогодні галузей інформаційних технологій, що стосується баз даних та баз знань. У ході навчання студенти ознайомляться з основними мовними моделями та вивчать деякі з них практично. Крім того, отримають теоретичні знання та технологічні навички, які є необхідними для логічного проектування систем. У подальшому передбачається розробка студентами власних інформаційних систем різноманітного призначення.
Основи комп`ютерних алгоритмів
Методика побудови комп’ютерних алгоритмів. Математичний апарат аналізу алгоритмів, поняття ефективності алгоритмів, базові алгоритми розв’язання типових класів задач. Основні методи розв’язання задач: «розділяй і пануй», бектрекінг, символьні обчислення, використання евристик.
Практика дослідницька
1. Програмне забезпечення комп’ютерних систем і мереж, ресурсів Internet тощо. Дослідження програмних продуктів – пакету прикладних програм або мережних ресурсів, анотування і реферування вивченого програмного продукту, складання звіту, створення та проведення презентації вивченого програмного продукту. 2. Закріплення на практиці набутих теоретичних знань у такій галузі інформаційних технологій, як бази даних і знань.
Автоматизація роботи з програмними проєктами мовою Java
Даний курс орієнтований на студентів, що прослухали базові курси програмування, знайомі з алгоритмами і вже готові почати роботу з більшими проектами та складнішими завданнями. В цьому курсі ми познайомимося з двома найбільш поширеними фреймворками, що використовуються для автоматизації процесів роботи з проєкт мовою Java, а саме Maven та Gradle. Після цього ми почнемо знайомство з фреймворком Spring Boot. Основна увага в цьому курсі буде приділена базовим поняттям даного фреймворку, а саме роботі Annotation Processor. Окремо зупинимося на використанні спеціалізованих бібліотек тестування. Частина курсу буде орієнтована на розуміння правильного процесу розробки та супроводу проєкт. Студенти будуть знайомитися з Continues Delivery та Release Strategy на базі GitLab, Jenkins та інших фреймворків
Функціональне програмування
Курс передбачає вивчення парадигм функціонального програмування на прикладі мови Haskell. В курсі розглядаються основні методи і засоби конструювання функцій-програм та алгебраїчних типів даних. Студенти ознайомляться з системою типів мови Haskell, кортежами, списками, деревами і іншими структурами даних, в тому числі нескінченними, отримують теоретичні знання і практичні навички в роботі з монадами: Maybe, List, State, введення-виведення та синтаксичні аналізатори