Метою вивчення дисципліни є формування здібностей до логічного, комбінаторного та системного мислення, отримання базових знань бакалавра з математичної логіки, теорії алгоритмів, розширення наявних та формування нових базових знань й методологічних поглядів фахівця по теоретичним і прикладним аспектам побудови алгоритмів та аналізу їх ефективності, отримання здібностей до математичного формулювання задач аналізу дискретних систем та їх проектування, формування здібностей до опанування наступних дисциплін навчального плану спеціальності і нових теоретичних підходів у майбутньому при підвищенні своєї кваліфікації у відповідності до фаху.
Основними завданнями вивчення дисципліни є отримання знань з таких напрямків
теорії дискретних систем: математична логіка, теорія алгоритмів, рекурсивні функції
та обчислювальність, основи теорії обчислювальної складності алгоритмів , методи
математичного та чисельного дослідження алгоритмів та оцінка їх
ефективності;основні характеристики та різновиди алгоритмів; методи побудови
алгоритмів та структур даних
- Викладач: Терещенко Еліна