Дослідження та розробка сучасних формальних моделей та методів аналізу розподілених систем

Мета дисципліни:

виробити цілісну систему знань сучасних формальних моделей та методів аналізу сучасних і перспективних розподілених систем, а також розвиток умінь і навичок практичного застосування отриманих знань в практиці.

Завдання дисципліни:
 
сформувати комплексне уявлення про сучасні і перспективні моделі та методи аналізу розподілені системи, як складну систему високопродуктивних комп’ютерних мультіпроцесних концепцій і технологій розподіленої систем;

ознайомити з термінологією, ключовими поняттями і тенденціями розвитку та розробці сучасних формальних моделей та методів аналізу розподілених систем;

усвідомити специфіку розробки сучасних формальних моделей та методів аналізу розподілених систем, як складну систему високопродуктивних комп’ютерних мультіпроцесних концепцій і технологій;

оволодіти методами дослідження і проектування лінгвістично-математичних засобів 
 
Основні результати навчання
 
ПРН1 застосовувати загальні підходи пізнання, методи математики, природничих та інженерних наук до розв’язання складних задач комп’ютерної інженерії;

ПРН3 будувати та досліджувати моделі комп’ютерних систем і мереж, оцінювати їх адекватність, визначати межі застосовності;

ПРН4 застосовувати спеціалізовані концептуальні знання, що включають сучасні наукові здобутки у сфері комп’ютерної інженерії, необхідні для професійної діяльності, оригінального мислення та проведення досліджень, критичного осмислення проблем інформаційних технологій та на межі галузей знань;

ПРН7 вирішувати задачі аналізу та синтезу комп’ютерних систем та мереж.

Форми організації освітнього процесу та види навчальних занять
 
Л – лекційні заняття; ЛЗ – лабораторні заняття; СРС – самостійна робота здобувача вищої освіти; МКР – модульна контрольна робота; К – консультації.