Институт математики
и фундаментальной информатики СФУ

Математический центр на базе образовательного центра Сириус приглашает принять участие в конкурсном отборе по программам

• «Квазилинейные уравнения, обратные задачи и их приложения» (Дата окончания приема заявок: 31 июля 2022 г.).
• «Вычислительная математика и приложения»(Дата окончания приема заявок: 3 июля 2022 г.).

Доклад:

• А.А. Мукосий - Расширения логик. Виды трансляций. Допустимые правила.
• М.И. Корнилова - Логика POS. Теорема дедукции.

Участники семинара:

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Богданович М.С.

.

Доклад:

• А.А. Мукосий - Расширения логик. Трансляции CL+/CL.

Участники семинара:

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Анай-оол О.М.

.

Доклад:

• С.И. Башмаков - Исчисление CLuN. Связь понятия дедуктивной системы и логики.

Участники семинара:

• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.

.

Доклад:

• С.И. Башмаков - Позитивный фрагмент классического исчисления CL+.

Участники семинара:

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.

.

Доклад:

• С.И. Мукосий А.А. - Дедуктивные системы CL+, CLuN.

Участники семинара:

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.

Доклад:

• С.И. Башмаков - Дедуктивные системы: выводимость, замкнутость.

Участники семинара:

• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.

Доклад:

• С.И. Башмаков - Введение в неклассические логики.

Участники семинара:

• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.

Доклад:

• А.А. Мукосий - Слабая и сильная полнота CL.

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.
• Смелых К.А.

Дорогие абитуриенты! В 2022 году Институт математики и фундаментальной информатики объявляет набор на очную форму обучения по программам бакалавриата и магистратуры.

БАКАЛАВРИАТ:
130 бюджетный мест на три направления:

• «Математика» - 20;
• «Прикладная математика и информатика» - 50;
• «Математика и компьютерные науки» - 60.

Вступительные испытания:

1. математика;
2. информатика и ИКТ/физика;
3. русский язык.

МАГИСТРАТУРА:
94 бюджетных места по направлениям:

• «Комплексный анализ» - 13;
• «Алгебра, логика и дискретная математика» - 13;
• «Математическое моделирование» - 15;
• «Прикладная математика и информатика в гуманитарных и социально-экономических науках» - 13;
• «Математическое и компьютерное моделирование» - 20;
• «Вычислительная математика» - 20.

Вступительный экзамен - математика (письменно) - пройдёт 3 августа на выбор: в очной или дистанционной форме.

Подать документы в этом году можно четырьмя разными способами:

1. лично в Библиотеке СФУ;
2. дистанционно в личном кабинете поступающего АИС «Абитуриент»;
3. через портал Госуслуг;
4. через операторов почтовой связи.

Актуально о ходе приёмной кампании и жизнь нашего института в telegram-канале.