Освітньо-професійна програма «Комп’ютерна алгебра, криптологія та теорія ігор»
ОПП «Комп’ютерна алгебра, криптологія та теорія ігор» (2023)

Всі зауваження та пропозиції щодо вдосконалення освітньо-професійної програми просимо надсилати на адресу гаранта освітньо-професійної програми проф. Радула Тараса Миколайовича taras.radul@lnu.edu.ua.

2023 

2021

2020

2019

Відомості про самооцінювання освітньої програми

• ОК 1. Українська мова (за професійним спрямуванням)
• ОК 2. Історія України
• ОК 3. Історія української культури
• ОК 4. Філософія
• ОК 5. Іноземна мова (Англійська, В1)
• ОК 5. Іноземна мова (Англійська, В2)
• ОК 6. Фізичне виховання
• ОК 7. Математичний аналіз І: функції однієї змінної
• ОК 8. Аналітична геометрія
• ОК 9. Лінійна алгебра
• ОК 10. Дискретна математика
• ОК 11. Інформатика і програмування (Python)
• ОК 12. Безпека життєдіяльності та охорона праці
• ОК 13. Навчальна практика з інформатики
• ОК 14. Навчальна обчислювальна практика
• ОК 15. Математичний аналіз ІІ. Функції багатьох змінних
• ОК 16. Диференціальні рівняння
• ОК 17. Комплексний аналіз
• ОК 18. Теорія чисел
• ОК 19. Теорія ймовірностей та математична статистика
• ОК 20. Топологія та диференціальна геометрія
• ОК 21. Рівняння математичної фізики
• ОК 22. Функціональний аналіз та теорія міри
• ОК 23. Математична економіка
• ОК 24. Методи оптимізації та керування
• ОК 25. Виробнича практика
• ОК 26. Фізика
• ОК 27. Атестаційний іспит з математики
• ОК 28. Теорія складності обчислень
• ОК 29. Теорія кодування
• ОК 30. Навчальна обчислювальна практика
• ОК 31. Теорія ігор та дослідження операцій
• ОК 32. Алгоритмічна теорія графів
• ОК 33. Криптологія
• ОК 34. Топологічний аналіз даних
• ОК 35. Математична теорія кооперативних ігор
• ОК 36. Навчальна практика з комп’ютерної математики
• ОК 37. Курсова робота

• ВК 1.1. Загальна алгебра
• ВК 1.2. Вища алгебра
• ВК 1.3. Алгебраїчні структури
• ВК 2.1. Теорія кривих і поверхонь
• ВК 2.2. Диференціальна геометрія
• ВК 2.3. Класична диференціальна геометрія
• ВК 3.1. Об’єктно-орієнтоване програмування
• ВК 3.2. Інформаційні технології та системи
• ВК 3.3. Бази даних та інформаційні системи
• ВК 4.1. Формальні мови та коди
• ВК 4.2. Теорія напівгруп і формальні мови
• ВК 4.3. Фрактальна геометрія
• ВК 5.1. Алгоритми комутативної алгебри
• ВК 5.2. Обчислювальна алгебраїчна геометрія
• ВК 5.3. Еліптичні криві та криптографія
• ВК 6.1. Теорія соціального вибору
• ВК 6.2. Алгебраїчна теорія кодування
• ВК 6.3. Формальні мови та автомати
• ВК 7.1. Еволюційні ігри
• ВК 7.2. Мережеві ігри
• ВК 7.3. Повторюючі ігри
• ВК 8.1. Комп’ютерна логіка і OCaml
• ВК 8.2. Логіка та її застосування
• ВК 8.3. Машинні доведення
• ВК 9.1. Філософські проблеми сучасної науки
• ВК 9.2. Історія львівської математики
• ВК 9.3. Історія математики
• ВК 10.1. Економетричний аналіз даних
• ВК 10.2. Теорія часових рядів
• ВК 10.3. Економетричне прогнозування

• Андрійчук В. І., Комарницький М. Я., Іщук Ю. Б. Вступ до дискретної математики. – Львів: Видавничий центр ЛНУ імені Івана Франка, 2003. – 254 с.
• Андрійчук В. І., Забавський Б. В. Алгебра і теорія чисел. – Львів: ЛНУ ім. І. Франка, 2009. – 266 с.
• Андрійчук В. І., Забавський Б. В. Лінійна алгебра. – Львів: Видавничий центр ЛНУ ім. І.Франка, 2008. – 238 с.
• Андрійчук В. , Забавський Б. , Гаталевич , Домша О. , Іщук Ю. , Романів О. Прикладна алгебра. – Львів: Видавничий центр ЛНУ імені Івана Франка. – 2021. – 496 c.
• Taras Banakh, Classical Set Theory: Theory of Sets and Classes. https://arxiv.org/abs/2006.01613 ,   https://www.researchgate.net/publication/340899536_Classical_Set_Theory_Theory_of_Sets_and_Classes
• Банах Т., Бокало Б., Іщук Ю., Трущак Х. Збірник задач з аналітичної геометрії  – Львів: Видавничий центр ЛНУ імені Івана Франка. – 2003. – 105 c.
• Зеліско В. Р., Зеліско Г. В. Основи лінійної алгебри і аналітичної геометрії. – Львів: Видавничий центр ЛНУ ім. І.Франка, 2011. – 326 с.
• Зеліско В. Р., Зеліско Г. В. Лінійна алгебра і аналітична геометрія. Практикум. – Львів: Видавничий центр ЛНУ ім. І.Франка, 2014. – 374 с.
• Комарницький М. Я., Андрійчук В. І., Мельник І. О. Елементи математичної логіки та теорії рекурсії: навчальний посібник. – Львів: ЛНУ імені Івана Франка, 2013. – 282 с. – ISBN 978-617-10-0054-4.
• Навчально-методичний посібник з алгебри і теорії чисел / Уклад. О.Л. Горбачук, М.Я. Комарницький, Ю.П. Матурін. – Львів: Видавничий центр ЛНУ ім. І.Франка, 2006. – 106 с.
• Навчально-методичний посібник з лінійної алгебри. Частина 1 / Уклад. В.І. Андрійчук, О.Л. Горбачук, Ю.П. Матурін, І.Я. Тушницький. – Львів: Видавничий центр ЛНУ ім. І.Франка, 2005. – 75 с.
• Навчально-методичний посібник з лінійної алгебри. Частина 2 / Уклад. В.І. Андрійчук, О.Л. Горбачук, Ю.П. Матурін, І.Я. Тушницький. – Львів: Видавничий центр ЛНУ ім. І.Франка, 2005. – 62 с.
• Романів О. М. Алгебра. Ч. 1: Тексти лекцій. – Львів: Видавничий центр ЛНУ ім. І.Франка, 2006. – 84 с.
• Романів О. М. Лінійна алгебра. Частина 2: підручник / Львів: Видавець І. Е. Чижиков, 2014. – 279 с.

• Radul T. Equilibrium under uncertainty with fuzzy payoff. Topological Methods in Nonlinear Analysis. 2022. V.59, N. 2B, P.1029-1045.
• Radul T. Games in possibility capacities with payoff expressed by fuzzy integral. Fuzzy Sets and sytems. 2022. V.434, P.185-197.
• Radul T. Equilibrium under uncertainty with Sugeno payoff. Fuzzy Sets and sytems. 2018. V.349, p.64-70.
• Radul T. Equilibria for games in idempotent measures. ESAIM. Proceedings and surveys. 2017, Vol. 57, p. 64-69.
• Radul T. Nash equilibrium for binary convexities // Topological Methods in Nonlinear Analysis. 2016, v.48. p.555-564.

• Атестаційний іспит з математики, 2022.
• Методичні рекомендація до виконання курсових робіт, 2022.
• Методичні рекомендації до розв’язування задач з алгебри / Уклад. В.Р. Зеліско, І.О. Мельник. – Львів: Видавничий центр ЛНУ ім. І.Франка, 2010. – 42 с.
• Методичні рекомендації з алгебри / Уклад. О.Л. Горбачук, М.Я. Комарницький, Ю.П. Матурін. – Львів: Видавничий центр ЛНУ ім. І.Франка, 2005. – 58 с.

• Малоїд-Глєбова М.О. Ази критичного мислення, 2022.
• Малоїд-Глєбова М.О. Електронний практикум з загальної алгебри, 2020.
• Мельник І. О. Лінійна алгебра. Перший семестр, 2022.
• Мельник І. О. Лінійна алгебра. Другий семестр, 2023.
• Мельник І. О. Логіка та її застосування, 2021.
• Мельник І. О. Теорія чисел, 2022.
• Романів О. М. Електронний курс “Загальна алгебра“, 2022.
• Романів О. М. Електронний курс “Лінійна алгебра та аналітична геометрія. Перший семестр“, 2017.
• Романів О. М. Електронний курс “Лінійна алгебра. Перший семестр“, 2021.
• Романів О. М. Електронний курс “Лінійна алгебра. Другий семестр“, 2022.
• Романів О. М. Електронний курс “Теорія чисел“, 2023.
• Романів О. М. Верстаємо диплом красиво. LaTEX, 2022.
• Романів О. М. Лінійні групи над кільцями, 2017.
• Романів О. М. Розв’язання математичних задач в Maple. Частина 1, 2022.

• Завідувача відділу алгебри ІППММ
• Рецензія директора компанії “Група Квінта”
• Рецензія R&D інженера компанії “АВТО Software”
• Рецензія Delivery Manager компанії Nix

Банах Тарас: Стажування Shantu University (China), 2018 p.
Радул Тарас: Стажування Uniwersytet Jana Kochanowskiego w Kielcach, 2015 р.
Бокало Богдан: Стажування ІППММ НАНУ, 2018 р.
Бридун Вікторія: Стажування в рамках стипендійної програми OeAD University of Wien, 2017 p.
Гринів Олена: Стажування University of Wroclaw, 2019 р.
Гринів Олена: Стажування University of Warmia and Mazury in Olsztyn, Erasmus+, 2018 р.
Гуран Ігор: Стажування ІППММ НАНУ, 2018 р.
Гутік Олег: Стажування ІППММ НАНУ, 2019 р.
Домша Ольга: підвищення кваліфікації, 2021 р.
Домша Ольга: міжнародне підвищення кваліфікації, 2022 р.
Зарічний Михайло: Стажування Nipissing University (Canada), 2019 р.
Малоїд-Глєбова Марта: Стажування University of Vienna, 2022 p.
Малоїд-Глєбова Марта: Стажування University of Warszaw, 2019 p.
Малоїд-Глєбова Марта: Стажування ІППММ НАНУ, 2018 р.
Мельник Іванна: Стажування ІППММ НАНУ, 2019 р.
Романів Олег: Стажування ІППММ НАНУ, 2019 р.
Холявка Ярослав: Стажування Центр мережевих технологій та IT-підстримки ЛНУ, 2016 р.
Мельник Іванна: Сертифікат “Вдосконалення викладацької майстерності”, модуль 1, 2021 р.
Мельник Іванна: Сертифікат “Вдосконалення викладацької майстерності”, модуль 3, 2021 р.
Мельник Іванна: Сертифікат “Вдосконалення викладацької майстерності”, модуль 4, 2021 р.
Гутік Олег: Подяка ВНУ 2017 р.
Гутік Олег: Подяка ЛНУ 2021 р.
Тарас Банах: Подяка Львівської ОДА 2022 р.
Тарас Банах: Грамота Львівської ОДА 2022 р.
Гутік Олег: Грамота Львівської ОДА 2006 р.
Гутік Олег: Грамота Львівської ОДА 2020 р.
Гутік Олег: Грамота Львівської ОДА 2021 р.
Гутік Олег: Грамота Львівської ОДА 2022 р.
Мельник Іванна: Грамота за навчальний посібник, 2013-2014 р.

• Гутік О. , Прохоренкова О., Сех Д. Про ендоморфiзми бiциклiчної напiвгрупи та розширеної бiциклiчної напiвгрупи // Вісник Львівського університету. Серія мех.-мат. – 92 (2021). – 5-16.
• Мельник І., Мирон Н. Про диференціювання первинних напівкілець // Конференція молодих вчених “Підстригачівські читання – 2020” (26-28 травня 2020 р., Львів, Україна) // Інститут прикладних проблем механіки і математики ім. Я.С. Підстригача НАН України. – 2020. – [Режим доступу до ресурсу: http://iapmm.lviv.ua/chyt2020/abstracts/Melnyk.pdf]
• Плаксін А., Саган А., Романів О. Кільця k-евклідового рангу 1 // Конференція молодих учених “ПІДСТРИГАЧІВСЬКІ ЧИТАННЯ – 2022” (Травень 25-27, 2022, Львів, Україна).

Звіт за результатами опитування студентів щодо якості освітньої програми

Звіт за результатами опитування випускників

Договір про співпрацю між Львівським національним університетом імені Івана Франка та TOB “H-IKC Делівері”

Програма роботи експертної групи

У 2023 році відбулося засідання кафедри, де обговорювався проект нової редакції ОПП на 2023-2024 навчальний рік.
Планується внести зміни в курси присвячені теорії та практичним застосуванням алгоритмів згідно з результатами обговорень з потенційними роботодавцями.
Згідно з рекомендаціями стейкхолдерів у циклі професійної та практичної підготовки замінено освітній компонент “Фізика” на ОК “Алгоритми машинного навчання”.
Також Радулом Т.М. було запропоновано змінити навчальну дисципліну “Топологічний аналіз даних” на “Топологічні та категорні методи в теорії ігор”, яка описує основні поняття розв’язків некооперативних та кооперативних ігор, що використовуються для прийняття рішень в умовах невизначеності та обмеженості інформації.

Автор	Зміст
Delivery Manager компанії N-iX Козак А. В.	Пропоную більше уваги приділити вивченню практичних методів побудови програмних алгоритмів, що лежить в основі всього програмування.
Компанія “Елекс”, Роман Павлюк	Оскільки кватерніони широко використовуються для програмування навігації дронів та в інших галузях програмування, пропоную запровадити курс для вивчення комплексних чисел та кватерніонів в геометрії.