ОНП № 4: ІНФОРМАТИКА (122 Комп’ютерні науки) (маг.) [2022] - Шкільняк Степан Степанович

РНП на 2022/2023 навчальний рік

ОК.13 Формальні методи розробки програмних систем / Formal methods of software development (англійською мовою)

Обов'язкові навчальні дисципліни

Кількість кредитів ECTS: 4

Форми заключного контролю: екзамен

Обсяг у годинах:

Click!

всього - 120 год.
всього навчальних - 40 год.
лекції - 30 год.
семінарські - 8 год.
консультації - 2 год.
cамостійна робота - 80 год.

Компетентності:

ЗК01 Здатність до абстрактного мислення, аналізу та синтезу
ЗК02 Здатність застосовувати знання у практичних ситуаціях
ЗК04 Здатність спілкуватися іноземною мовою
ЗК05 Здатність вчитися й оволодівати сучасними знаннями
ЗК07 Здатність генерувати нові ідеї (креативність)
СК01 Усвідомлення теоретичних засад комп’ютерних наук
СК02 Здатність формалізувати предметну область певного проєкту у вигляді відповідної інформаційної моделі
СК03 Здатність використовувати математичні методи для аналізу формалізованих моделей предметної області
СК10 Здатність оцінювати та забезпечувати якість ІТ-проєктів, інформаційних та комп’ютерних систем різного призначення, застосовувати міжнародні стандарти оцінки якості програмного забезпечення інформаційних та комп’ютерних систем, моделі оцінки зрілості процесів розробки інформаційних та комп’ютерних систем
СК11 Здатність ініціювати, планувати та реалізовувати процеси розробки інформаційних та комп’ютерних систем та програмного забезпечення, включно з його розробкою, аналізом, тестуванням, системною інтеграцією, впровадженням і супроводом
СК12 Здатність планувати і виконувати наукові дослідження у сфері комп’ютерних наук

Програмны результати навчання (ПРН):

ПРН1 Мати спеціалізовані концептуальні знання, що включають сучасні наукові здобутки у сфері комп’ютерних наук і є основою для оригінального мислення та проведення досліджень, критичне осмислення проблем у сфері комп’ютерних наук та на межі галузей знань
ПРН2 Мати спеціалізовані уміння/навички розв’язання проблем комп’ютерних наук, необхідні для проведення досліджень та провадження інноваційної діяльності з метою розвитку нових знань та процедур
ПРН4 Управляти робочими процесами у сфері інформаційних технологій, які є складними, непередбачуваними та потребують нових стратегічних підходів
ПРН6 Розробляти концептуальну модель інформаційної або комп’ютерної системи
ПРН7 Розробляти та застосовувати математичні методи для аналізу інформаційних моделей
ПРН13 Оцінювати та забезпечувати якість інформаційних та комп’ютерних систем різного призначення
ПРН16 Виконувати дослідження у сфері комп’ютерних наук
ПРН18 Збирати, формалізувати, систематизувати і аналізувати потреби та вимоги до інформаційної або комп’ютерної системи, що розробляється, експлуатується чи супроводжується
ПРН20 Створювати та досліджувати інформаційні та математичні моделі систем і процесів, що досліджуються, зокрема об’єктів автоматизації