ОСВІТНІ КОМПОНЕНТИ
МАГІСТР ОПП
укр eng
Обов’язкові дисципліни
Розподілені обчислення
Дисципліна викладається в 1 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: іспит.
Метою викладання навчальної дисципліни є ознайомлення студентів з основними методами розподіленої обробки даних і їх впливом на технічні показники сучасних інформаційних систем; основними принципами побудови та функціонування сучасних розподілених інформаційних систем; специфікою числової специфікації та візуалізації паралельних часових моделей, сучасними технологіями програмування.
Заплановані результати навчання: студенти повинні
знати:
методи розподіленої обробки даних;
розподілені алгоритми;
паралельні процеси;
показники ефективності паралельної реалізації алгоритмів та програм;
принципи побудови та архітектури сучасних розподілених інформаційних систем;
вміти:
формувати підходи до свідомого застосування методів автоматизованої розробки програмного забезпечення розподілених інформаційних систем;
застосовувати практичні прийоми синтезу числової специфікації розподілених програм, оцінки їх показників ефективності та візуалізації розподілених об’єктів.
Технології баз і сховищ даних
Дисципліна викладається в 1 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: іспит.
Метою викладання навчальної дисципліни є формування у студентів професійних знань та навичок з проектування, розробки та супроводження розподілених баз даних, а також для теоретичного обґрунтування цих знань та навичок.
Заплановані результати навчання: студенти повинні
знати:
загальні принципи архітектури розподілених баз даних;
загальні поняття теорії NoSQL баз даних;
CAP теорема;
загальні принципи архітектури інформаційних систем, що використовують бази даних для зберігання інформації;
принципи побудови сховища даних «ключ-значення»;
принципи побудови документо-орієнтованого сховища даних;
формати даних JSON та BSON;
типи OLAP;
основні моделі OLAP – зірка та сніжинка.
вміти:
проводити аналіз предметної області;
розробляти концептуальну модель та логічну модель розподіленої бази даних;
розробляти документи у форматі JSON;
розробляти схему сховища даних «ключ-значення»;
розробляти схему OLAP сховища моделі зірка;
розробляти Web-орієнтовані додатки, що використовують бази даних для зберігання інформації.
Програмна інженерія
Дисципліна викладається в 1 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: іспит.
Метою викладання навчальної дисципліни є надання компетенцій щодо повного промислового життєвого циклу програмного продукту згідно до міжнародних стандартів в галузі.
Заплановані результати навчання:
всі компетенції щодо програмного інжинірингу класифікація стандартів, пов’язаних з розробкою ПЗ;
класифікація процесів життєвого циклу ПЗ згідно зі стандартом ISO/IEC 12207;
класифікація процесів життєвого циклу ПЗ згідно зі SWEBOK (Soft Ware Engineering Base Of Knowledge);
різні моделі життєвого циклу ПЗ, їхні переваги та недоліки;
базові фази життєвого циклу ПЗ, процеси, вхідні та вихідні артефакти кожної фази;
типи вимог, що визначаються на UR і SR фазах, атрибути вимог;
поняття архітектури ПЗ, сучасні архітектурні моделі, стилі та шаблони;
класифікація моделей та базові принципи архітектурного проектування;
метрики, щодо оцінювання якості проекту;
поняття та зміст верифікації, валідації, тестування, типи та методи верифікації та валідації;
навички командної роботи над проектом.
Статистичні методи в інформатиці
Дисципліна викладається в 1 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: іспит.
Метою викладання навчальної дисципліни є ознайомлення студентів з сучасними методами статистичного аналізу та побудови статистичних моделей, що можуть застосовуватися до виявлення закономірностей, притаманних даним різних типів.
Заплановані результати навчання в: студенти повинні
оволодіти принципами та підходами до побудови статистичних моделей;
засвоїти головні методи багатовимірного статистичного аналізу, що можуть застосовуватися до даних різних статистичних шкал;
засвоїти підходи до побудови та застосування непараметричних моделей та рангових методів;
ознайомитися з основами методів статистичного аналізу текстів на природній мови.
Глобальні проблеми сучасності
Дисципліна викладається в 1 семестрі.
Навантаження: 2 години лекцій на тиждень.
Звітність: залік.
Метою викладання навчальної дисципліни є дослідження глобальних проблем сучасності.
Заплановані результати навчання: студенти повинні
знати:
класифікацію та сутність сучасних глобальних проблем;
основні напрямки вирішення глобальних проблем сучасності.
вміти:
застосовувати отримані знання та методологію при дослідженні сучасних політичних, економічних та соціальних процесів у світі та Україні.
Захист інформації
Дисципліна викладається в 2 семестрі.
Навантаження: 2 години лекцій на тиждень.
Звітність: залік.
Метою викладання навчальної дисципліни є вивчення студентами основних положень теорії захисту інформації, методів, обчислювальних алгоритмів та сучасних протоколів забезпечення безпеки інформаційних систем і технологій з метою отримання певного рівня підготовки у галузі захисту інформації в інформаційно-комунікаційних системах різного призначення, формування професійних знань, практичних вмінь та широкого науково-технічного кругозору фахівця.
Заплановані результати навчання: студенти повинні
знати:
основні поняття та положення сучасної теорії захисту інформації;
сучасні методи криптографічних перетворень, зокрема шифрування, цифрового підпису, ґешування, тощо;
сучасні міжнародні та відчиняти стандарти;
окремі криптопротоколи та методи криптографічного аналізу, сучасні технології створення комплексної системи захисту інформації.
вміти:
виконувати практичні обчислення для виконання криптографічних перетворень, зокрема шифрування, цифрового підпису, ґешування, деяких криптопротоколів та методів криптографічного аналізу (для чисел довжиною щонайменше 4096 бітів), зокрема:
Реалізація алгоритму RSA для шифрування та ЕЦП;
Факторизація цілих чисел;
Реалізація алгоритму обміну ключами Діффі-Хелмана;
Алгоритм Ель-Гамаля;
Реалізація схеми розподілу секрету із застосуванням китайської теореми про залишки;
Реалізація алгоритму шифрування із правдоподібним запереченням;
Реалізація розширеного алгоритму Евкліда. Знаходження мультиплікативного зворотного елемента в розширенні розширеного поля ;
Реалізація лінійних рекурентних регістрів в конфігурації Галуа;
Реалізація лінійних рекурентних регістрів в конфігурації Фібоначчі;
Реалізація лінійного рекурентного регістру зсуву в сучасних потокових шифрах (ДСТУ 8845 2019 «Струмок»);
Реалізація нелінійних рекурентних регістрів;
Реалізація двійкових кодів Боуза-Чоудхурі-Хоквінгема (БЧХ) у просторовій області;
Реалізація двійкових кодів БЧХ у спектральній області;
Дослідження властивостей зсуву, згортки та коренів при перетворенні Фурье в полях Галуа.
Вибіркові дисципліни
Сервіс-орієнтована архітектура
Дисципліна викладається в 2 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: залік.
Метою викладання навчальної дисципліни є формування у студентів теоретичних знань і практичних навичок, спрямованих на розробку корпоративних інформаційних систем промислових виробництв.
Заплановані результати навчання: студенти повинні
знати:
основи функціонування корпоративних систем;
основи CALS.
вміти:
розробляти окремі програмні модулі корпоративних систем на базі різноманітних сервісів на платформі .NET;
застосовувати отримані знання для розробки корпоративних систем.
Комп’ютерний зір
Дисципліна викладається в 1 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: залік.
Метою викладання навчальної дисципліни є формування у студентів теоретичних знань і практичних навичок, спрямованих на формування висновків щодо об'єктів і сцен потокового відео, розробку комп’ютерних систем обробки зображень, сегментації зображень, геометричних перетворень зображень.
Заплановані результати навчання: студенти повинні
знати:
базові поняття, принципи і методи обробки зображень і відео;
спеціальні бібліотеки комп’ютерного зору.
вміти:
реалізовувати базові алгоритми комп’ютерного зору у вигляді прикладних застосувань;
використовувати бібліотеки комп’ютерного зору;
застосовувати методи комп’ютерного зору в середовищі інтелектуальної програмної системи або служби.
Коалгебріїчні методи в теорії програмування
Дисципліна викладається в 1 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: залік.
Метою викладання навчальної дисципліни є формування у студентів теоретичних та практичних навичок з аналізу семантики мов програмування. Під час вивчення дисципліни розглядаються актуальні методи розв'язання проблеми визначення семантики, а саме використання коалгебри.
Від студентів очікуються базові знання з
Теорії Категорій
Теорії автоматів
Після проходження дисципліни студенти отримують знання з
теоретичних засад використання коалгебри
використання методів коалгебри для специфікації роботи автоматів
Управління розробкою програмних проектів
Дисципліна викладається в 2 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: іспит.
Метою викладання навчальної дисципліни є надання компетенції з управління проектом, продуктом та персоналом згідно з міжнародними стандартами в області.
Заплановані результати навчання: студенти повинні
знати:
міжнародні стандарти щодо управління проекту
моделі процесів;
моделі управління вартістю в проекті;
моделі управління ризиками в проекті;
метрики для вимірювання проектних процесів і продуктів;
типи організацій.
вміти:
визначити цілі проекту, ролі та обов’язки менеджера проекту;
визначити процеси проекту та продукту;
аналізувати питання, пов’язані з управлінням змісту проекту;
вибирати інструменти для проектного менеджменту
оцінювати необхідні ресурси і тривалість проекту;
розробляти та коригувати плануванням за допомогою програмного забезпечення з урахуванням гнучких методологій та без використання гнучких методологій
обчислювати вартість проекту за допомогою програмного забезпечення
проводити якісний і кількісний аналіз ризиків
аналізувати план та роботи його коригування на всіх етапах життєвого циклу;
аналізувати переваги і недоліки гнучких методологій розробки проектів;
застосовувати знання з управлінням персоналом;
вибирати інструменти для проектного менеджменту, використовувати інструменти для планування, оцінки вартості і ризиків в проекті.
Машинне навчання
Дисципліна викладається в 2 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: іспит.
Метою викладання навчальної дисципліни є ознайомлення студентів з теоретичними основами і алгоритмами машинного навчання, їх практичними реалізаціями і застосуванням до розв'язання реальних задач аналізу даних, формування у студентів практичних навичок роботи з даними і вирішення прикладних задач аналізу даних.
Заплановані результати навчання: студенти повинні
знати:
основні алгоритми розв’язання задач класифікації, кластеризації та відновлення регресії;
основні методи відбору ознак об’єктів класифікації та самих об’єктів.
вміти:
застосовувати отримані знання та методології при дослідженні задач класифікації, кластеризації та відновлення регресії.
Теорія програмування
Дисципліна викладається в 2 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: іспит.
Метою викладання навчальної дисципліни є вивчення логічних і математичних засад, що дозволяють точно описувати програми, дані і обчислювальні процеси. Основна мета цього курсу - пояснити логічні та математичні основи програмування та продемонструвати, як обчислення можна використовувати для доведення теореми.
Заплановані результати навчання: всі компетенції щодо програмного інжинірингу
вміння класифікувати мови програмування за їх базовими обчислювальними моделями;
розуміння принципів імперативного програмування
вміння встановлювати обчислюваність і рекурсивну примітивність функцій;
вміння користуватися методом нумерації для кодування конструктивних об’єктів;
вміння застосовувати теореми Райса, Райса-Щапиро і Кліні до задач програмування;
володіння синтаксичними конструкціями безтипового λ–числення;
вміння використовувати безтипове λ–числення для програмування;
володіння технікою типізації;
вміння використовувати відповідність між логікою і просто типізованим λ–численням;
вміння використовувати Coq Proof Assistant в простих ситуаціях.
Моделі та методи обробки великих даних
Дисципліна викладається в 2 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: іспит.
Метою викладання навчальної дисципліни є формування у студентів базових знань основних понять BigData, методів обробки структурованих та неструктурованих великих об’ємів даних, алгоритмами MapReduce, а також навичок роботи з програмними каркасами та бібліотеками проекту Hadoop.
Заплановані результати навчання: студенти повинні
знати:
загальні поняття BigData;
основні характеристики BigData такі як обсяг, швидкість, різноманітність, правдивість, валентність, і вартість;
основні архітектурні компоненти і моделі програмування, які використовуються для масштабування аналізу BigData;
базові алгоритмами MapReduce;
структуру бібліотек та модулів Hadoop.
вміти:
описувати BigData;
отримати значення з великих даних за допомогою 5-ступінчастого процесу аналізу;
визначити, що є а що ні проблемами BigData;
розробляти розподілені програми аналізу за допомогою бібліотек Hadoop.
Бази даних на AWS з використанням сервісу RDS
Дисципліна викладається в 2 семестрі.
Навантаження: 2 години лекцій та 2 години практики на тиждень.
Звітність: іспит.
Метою викладання навчальної дисципліни є формування у студентів базових знань основних концепцій та сервісів AWS, методів розгортання та налаштування сервісу для керування реляційною базою даних в хмарі (RDS), а також існуючих стратегію резервного копіювання S3.
Заплановані результати навчання: студенти повинні
знати:
основні концепції AWS;
основні засоби доступу до AWS – CLI, SDK та WEB UI;
поняття регіонів та зон доступності;
основні сервіси AWS;
можливості сервісу RDS;
різницю між реляційною базою даних на ЕС2 та сервісом RDS.
вміти:
створювати та налаштовувати акант в AWS;
розгортати базу даних RDS у власному AWS VPC;
налаштувати базу даних RDS у режимі високої доступності;
налаштувати базу даних RDS у режимі розгортання mutli-AZ;
налаштувати оптимальну стратегію резервного копіювання та відновлення для бази даних AWS RDS.
Асистентська практика
Під час асистентської практики у 3 семестрі студенти-магістри працюють як викладачі, отримують досвід методологій та методів навчання, проводять практичні та лекційні заняття на молодших курсах, заклади виховання, допомагають студентам молодших курсах з труднощами у навчанні. Практика триває 4 тижні без відриву від занять. По закінченні практики студенти підготовлюють низку звітних документів та складають залік.
Виробнича практика
Виробнича практика передбачена для студентів-магістрів в останньому 3 семестрі. Вона зазвичай проходить на підприємствах та у компаніях з розробки програмного забезпечення, з якими укладено договір про проходження практики. Практика триває 12 тижнів. По закінченні практики студенти підготовлюють низку звітних документів, включаючи щоденник практики, та складають іспит.
Переддипломна практика
Під час переддипломної практики студенти закінчують підготовку та оформлення дипломних робіт, приймають участь у перед-захисті роботи та складають залік без відриву від занять. Цей вид практики триває 2 тижні.