Основная профессиональная образовательная программа высшего образования

Целямиосвоения дисциплины “Математическая логика и теория алгоритмов” являются:

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

Компетенции, формируемые в результате освоения дисциплины	Изучение дисциплины нацелено на формирование следующих компетенций обучающихся: - способностью корректно применять при решении профессиональных задач научный аппарат математического анализа, геометрии, алгебры, дискретной математики, математической логики, теории алгоритмов, теории вероятностей, математической статистики, теории информации, теоретико-числовых методов (ОПК-2); - способностью применять методологию научных исследований в профессиональной деятельности, в том числе в работе над междисциплинарными и инновационными проектами (ОПК-4); - способностью разрабатывать формальные модели политик безопасности, политик управления доступом и информационными потоками в компьютерных системах с учетом угроз безопасности информации (ОПК-9); - способностью к самостоятельному построению алгоритма, проведению его анализа и реализации в современных программных комплексах (ОПК-10).
Знания, умения и навыки, получаемые в процессе изучения дисциплины	Студент, изучивший курс, должен знать: основные понятия математической логики и теории алгоритмов; язык и средства современной математической логики; представления булевых функций и способы минимизации формул; типовые свойства и способы задания функций многозначной логики; различные подходы к определению алгоритма и доказательства алгоритмической неразрешимости отдельных массовых задач; подходы к оценкам сложности алгоритмов; методы построения эффективных алгоритмов; возможности применения общих логических принципов в математике и профессиональной деятельности. Студент должен уметь: находить и исследовать свойства представлений булевых и многозначных функций формулами в различных базисах; оценивать сложность алгоритмов и вычислений; классифицировать алгоритмы по классам сложности; применять методы математической логики и теории алгоритмов к решению задач математической кибернетики; Студент должен владеть: навыками использования языка современной символической логики; навыками применения методов и фактов теории алгоритмов, относящимися к решению переборных задач; навыками упрощения формул алгебры высказываний и алгебры предикатов; навыками составления программ на машинах Тьюринга.
Краткая характеристика учебной дисциплины (основные блоки и темы)