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

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

ОК.14 Математична логіка

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

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

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

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

Click!

всього - 150 год.
всього навчальних - 74 год.
лекції - 44 год.
консультації - 2 год.
практичні - 28 год.
cамостійна робота - 76 год.

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

СК1 Здатність до математичного формулювання та досліджування неперервних та дискретних математичних моделей, обґрунтовування вибору методів і підходів для розв’язування теоретичних і прикладних задач у галузі комп’ютерних наук, аналізу та інтерпретування
СК3 Здатність до логічного мислення, побудови логічних висновків, використання формальних мов і моделей алгоритмічних обчислень, проектування, розроблення й аналізу алгоритмів, оцінювання їх ефективності та складності, розв’язності та нерозв’язності алгоритмічних проблем для адекватного моделювання предметних областей і створення програмних та інформаційних систем

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

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