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

Доклад:

Смелых К.А. - Разрешимость логики CTLK.
Брылякова Е.В. - Диаграммы унификаторов.
Поляков А.В. - Кортежная семантика для логики Alt1.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.
• Смелых К.А.

Доклад:

• Брылякова Е.В. - Прямое доказательство проблемы Фридмана для интуиционистской логики техникой В.В. Рыбакова.
• Смелых К.А. - Оценка сложности проблемы разрешимости в логике деревьев вычислений.

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

• Мукосий А.А.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.

Доклад:

• Брылякова Е.В. - Техника n-характеристических моделей В.В. Рыбакова для модальной системы S4.
• Поляков А.А. - Критерий допустимости правил в модальной системе S4 и интуиционистской логике.

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

• Брылякова Е.В.
• Смелых К.А.
• Башмаков С.И.
• Фисков Я.С.
• Мукосий А.А.

Доклад:

• Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках. Часть 3.
• Брылякова Е.В. - Проблема допустимости в интуиционистской логике через унификацию.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.
• Смелых К.А.

Доклад:

Фисков Я.С. - Трансляции в модальных логиках.

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

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

Доклад:

Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках. Часть 2.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.

Доклад:

• Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках.
• Поляков А.А. - Изоморфизм семантик.

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

• Смелых К.А.
• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.

Доклад:

• Башмаков С.И. - Установочный доклад с текущими планами работы.
• Смелых К.А. - О задачах оценки сложности проблемы вополнимости во временных моделях.

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

• Смелых К.А.
• Брылякова Е.В.
• Поляков А.А.
• Зверева Т.Ю.
• Фисков Я.С.

Наконец-то спустя почти 17 лет обновился фирменный стиль нашего института. Благодаря продолжительной совместной работе сотрудников и студентов среди множества идей удалось выбрать одну, на основе которой был создан логотип и разработано руководство по использованию фирменного стиля института. 21 ноября 2024 года Ученым советом ИМиФИ новый фирменный стиль был принят единогласно!

Руководство по использованию фирменного стиля ИМиФИ можно скачать здесь и использовать его при размещении символики института.

В 2024 году СМО снова проводится на нескольких площадках в России и за рубежом: помимо Красноярска, к организации олимпиады присоединились университеты и научные институты Санкт-Петербурга, Тюмени, Ставрополя, Узбекистана и, конечно, Новосибирска.

На протяжении нескольких последних лет ИМиФИ стабильно становится региональной площадкой для проведения олимпиады ММФ НГУ. В ней участникам всех курсов предстоит посоревноваться как за звание лучшего в индивидуальном зачёте, так и защитить честь своего института в составе команды.

Олимпиада проводится в двух отдельных категориях:

• среди студентов 2-6 курсов;
• среди первокурсников — им доказывать превосходство над могучими магистрантами не понадобится.

Командный результат будет складываться из 5-ти лучших личных результатов участников, а в каждой категории вуз может заявить не более 2-х команд (численность каждой команды: до 6-ти человек).

Ссылка для регистрации индивидуальных участников:
https://forms.gle/uuAUcS2xHr6fVeVNA
Ссылка для подачи командных заявок:
https://forms.gle/2rXvUDyCy7fScYR58
Дедлайн регистрации на олимпиаду: 20 ноября (включительно). Для отправки и проверки задач используется система https://nsuhw.ru/. После закрытия регистрации каждому участнику будут отправлены данные для входа в личный кабинет.

Олимпиада пройдёт очно 24 ноября в аудиториях Института математики и фундаментальной информатики – сбор участников с 9:30.