Опис курсу

Мета: формування у студентів здатностей: аналізувати проблеми алгоритмізації
при створенні комп’ютеризованих систем управління та автоматики; виконувати
розроблення, аналіз, обґрунтування, оцінювання та реалізацію алгоритмів.
Предмет: алгоритм, його складність та трудомісткість.
Завдання:
− розширення знань про ролі та місця алгоритмів та структур даних в задачах
проектування і реалізації комп’ютеризованих систем управління та автоматики;
− оволодіння вміннями розробляти та оцінювати алгоритми, використовувати
структури даних для розроблення алгоритмів;
− засвоєння відомостей про методики оцінювання складності алгоритмів, а також
про основні методи уточнення алгоритмів і схеми встановлення невирішуваності
масових проблем;
− набуття навичок будувати машини Тюрінга для елементарних функцій та
рекурсивні схеми для елементарних функцій;
− дослідження методики встановлення NP-повноти масових проблем та основ
автоматизації виробництва алгоритмів.
У результаті засвоєння навчального матеріалу студент повинен
знати: Теоретичні, методичні і алгоритмічні основи сучасних
інформаційних технологій, загальні принципи побудови ефективних
алгоритмів, сучасні методи дослідження та аналізу алгоритмів (понятійноаналітичний), способи та механізми реалізації ефективних алгоритмів у
конкретних застосуваннях.
студенти повинні вміти:
1. Реалізовувати основні алгоритми засобами алгоритмічної мови.
2. Розробляти нові математичні методи, ефективні алгоритми і методи
реалізації функцій інформаційних систем і технологій у прикладних областях.
3. Аналізувати, теоретично та експериментально досліджувати методи,
алгоритми, програми апаратно-програмних комплексів і систем.
4. Створювати та досліджувати математичні та програмні моделі
обчислювальних та інформаційних процесів, пов’язаних з функціонуванням
об’єктів професійної діяльності.
5. Аналізувати та вибирати обчислювальні методи розв’язання задач
проектування інформаційних систем за критеріями мінімізації обчислювальних
витрат, стійкості, складності тощо.
6. Проектувати елементи математичного та лінгвістичного забезпечення
обчислювальних систем.