Дискретная математика и информатика: программа магистратуры

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

Особое внимание уделяется работе с конструктивными объектами и моделями, что формирует строгое математическое мышление и позволяет создавать доказуемо корректные и эффективные решения. Таким образом, выпускник получает не просто набор знаний, а мощный аналитический аппарат для работы в областях, требующих высокой степени формальной строгости: от разработки сложного программного обеспечения и систем искусственного интеллекта до криптографии и теоретических исследований в компьютерных науках.

Спецкурсы и спецсеминары:

• Вычислимость и вычислимые модели
• Конструктивные модели
• Теория вычислимости.