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

В период 2-8 апреля 2023 года состоится региональная олимпиада по математике для студентов всех направлений и специальностей, организуемая ИМиФИ и РНОМЦ "Красноярский математический центр".

Приглашаются все желающие студенты первого, второго и старших курсов, включая обучающихся в магистратуре. Аспиранты также имеют право участия, но приглашаются вне конкурса. Информационная поддержка олимпиады осуществляется с помощью
электронного курса Красноярского математического центра «Олимпиада СФУ по математике 2023» https://kmc.sfu-kras.ru/moodle/course/view.php?id=2

Курс открыт для самостоятельной записи с 7 марта 2023 г. Для самоподготовки будут выставлены задания олимпиады прошлых лет и их решения. Олимпиада проводится в два тура:

Первый тур проводится в воскресенье, 2 апреля, с 10.00 до 14.00 дистанционно, на электронном курсе «Олимпиада СФУ по математике 2023».

Решения задач, выставленных на электронном курсе, необходимо загрузить в виде сканов (фото), объединенных в файлы типа pdf или docx. Место для загрузки решения каждой задачи выделено на курсе отдельным элементом. Решения принимаются до 14.00 2 апреля. Организаторы олимпиады оставляют за собой право не проверять неверно загруженные работы.

На второй тур приглашаются не более 40% участников первого тура, получивших наибольшие суммарные баллы.
Второй тур проводится очно в субботу, 6 апреля, с 14.00 до 17.00.
Место проведения: Студгородок, ул. акад. Киренского 26А, корпус № 15 (Д), ауд. 3-11.

Задания олимпиады сформулированы в рамках разделов общего курса математики:

• элементарная математика,
• алгебра,
• геометрия,
• математический анализ и дифференциальные уравнения,
• теория вероятностей.

Итоги олимпиады подводятся в личном и командном зачетах, отдельно для первого и для старших курсов, отдельно для математических и для нематематических направлений подготовки. Победителями в личном зачете олимпиады являются участники второго тура, набравшие наибольшее число баллов. При подведении командного зачета суммируются три лучших результата участников команды от института (вуза), результаты остальных участников команды не учитываются.

С вопросами обращаться в сообщениях преподавателям курса «Олимпиада СФУ по математике 2023» https://kmc.sfu-kras.ru/moodle/course/view.php?id=2, а также к ответственному представителю Оргкомитета Литаврину Андрею
Викторовичу по адресу anm11@rambler.ru

Доклад:

К.А.Смелых - Порождающие подмодели модальных шкал Крипке.

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

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

Доклад:

К.А.Смелых - Семантика и свойства логики CTLK.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Баранов С.Н.

Доклад:

А.А.Мукосий - Интерполяция и определимость.

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

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

Доклад:

К.А.Смелых - Компьютерное моделирование моделей логики CTLK.

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

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

Доклад:

Е.В. Брылякова - Применение методов табличного исчисление для исследования формул в суперинтуиционистских логиках.

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

• Башмаков С.И.
• Мукосий А.А.

Конференция пройдет в очно-заочном формате 25-26 апреля 2023 года в г. Омск.

Участие в конференции, публикация сборника материалов конференции (статей участников), размещение материалов в eLIBRARY, их индексация в РИНЦ и присвоение DOI бесплатны. После конференции все статьи будут оперативно (в течении мая) размещены в РИНЦ. Рабочие языки конференции – русский и английский.

Тематика конференции:

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

Регистрация на конференцию на сайте СУИТиММ-2023: https://mmite.ru/conference_suitmm/
Статьи проходят двойное слепое рецензирование. Дедлайн подачи статей: 10 апреля 2023 г. включительно.

C 26 июня по 01 июля 2023 г. на берегу о. Байкал состоится VIII Международная конференция «Математика, её приложения и математическое образование» (МПМО’23).

Подробная информация на сайте конференции (http://www.confmame.ru).
Регистрация заявок продолжается до 15 февраля.

Научные направления:

• Методы оптимизации и оптимальное управление
• Системный анализ и моделирование
• Приложения алгебры и анализа
• Дифференциальные уравнения и методы вычислений
• Актуальные проблемы математического образования

The 5th annual Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, took place on January 14th. This year the workshop has become international.

What is special about January 14th?
- January 14 - New Year according to the Julian calendar;
- January 14, 1901 - the birthday of Alfred Tarski;
- January 14, 1978 - the day of the death of Kurt Gödel.

Like last year, this year we again held it in a mixed format.

• everyone could take part in full-time participation in the seminar without prior registration in room 34-17 of the Institute of Mathematics and Computer Science of the Siberian Federal University (Krasnoyarsk, Svobodny ave., 79).
• online participation was possible with pre-registration. The link to the event was available only to registered participants.

Participation was available to everyone (including junior students).

Recall that the first workshop in support of Jean-Yves Béziau's initiative to recognize January 14 as World Logic Day took place in 2019. For the last three years it has been held as an official even of the World Logic Day project of UNESCO through CIPSH (Conseil International de Philosophie et des Sciences Humaines).

The event was supported by Department of Algebra and Mathematical Logic and Krasnoyarsk Mathematical Center. Information and technical support for the event is traditionally provided by IM&CS Youth Center.

Applications for participation with a report were accepted until January 13, 12:00 local time (CET+6).