Математическая логика, алгоритмические проблемы, вычислительная сложность

В настоящее время курс предлагается дистанционно

Условия участия в программе: Подать заявку на участие в программе может подразделение или инициативная группа сотрудников ППС и аспирантов российского университета.  В связи с ситуацией пандемии и переходом программы в дистанционный формат, будут рассмотрены заявки с любым числом участников из числа ППС и аспирантов. Программа финансируется Международным научно-методическим центром (МНМЦ). Подать заявку

Направление подготовки:  математика.

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

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

Планируемые результаты обучения

Выпускники программы должны:

знать: основные понятия и проблематику математической логики, теории алгоритмов, теории вычислительной сложности;

уметь: формулировать основные понятия и законы классической логики, результаты теории алгоритмов и теории вычислительной сложности;

владеть: общей идеологией математической логики, теории алгоритмов, теории вычислительной сложности.

Пререквизиты: основы математической логики, алгебры, математического анализа, начальные знания об алгоритмах и вычислениях.

Трудоемкость программы:1 зач. ед., 38 академических часов (в том числе 16 ауд. час.).

Минимальный срок обучения: 5 дней.

Начало обучения:  по мере формирования группы.

Форма обучения: очная.

Численность группы:от 15 до 60 чел.

Профессорско-преподавательский состав:

Учебно-методическое обеспечение:

К каждой теме будут подготовлены учебно-методические материалы, доступные в виде слайдов.

Электронные образовательные ресурсы:

        Архив математических журналов (http://www.mathnet.ru/ej.phtml?option_lang=rus)