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

Завершается прием заявок на конкурс Краевой именной стипендии имени академика Л. В. Киренского — за достижения в области математических и естественных наук (за исключением биологических наук).

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

Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 1984.

Аннотация доклада:
На семинаре будет разобрана статья В.В. Рыбакова 1984 г., посвященная проблеме допустимости в модальных логиках конечных слоев. Будет обсуждаться возможность применения данных техник к проблеме унификации.

Основные понятия: правила вывода, допустимость, разрешимость, конечнослойные модальные логики

Всем студентам 1-го курса необходимо пройти медосмотр.

Место: Медицинский центр СФУ - ФМБА России
пр. Свободный, 82 стр. 13 - за зданием "Конгресс холла СФУ"

C собой иметь: паспорт, полис ОМС, сертификат о привиках + его копия, СНИЛС, справки при наличии.

д-р физ.-мат. наук, профессор Белов Ю.Я. «Различные краевые задачи для уравнений составного типа».

Бакалавры старших курсов и магистры приглашаются к участию в мотивационном тренинге "Эффективный мечтатель", организуемой компанией Яндекс в формате soft skills в СФУ для подготовки к олимпиаде студентов "Я - профессионал".

Тренинг пройдет:

• Дата и время: 10 октября, начало в 15:00.
• Место: Конгресс-холл СФУ.

Необходима предварительная регистрация: https://yandex.ru/profi/trainings/

Студенты и сотрудники ИМФИ СФУ приглашаются на бесплатную сезонную вакцинацию от гриппа.

Вакцинация проводится:

• в студенческой поликлинике, пр. Свободный, 83, с 8:00 до 13:00, тел. + 7 (391) 206-21-38;
• в новом Медицинском центре СФУ - ФСНКЦ ФМБА России, пр. Свободный, 82, стр. 13, с 8:30 до 15:00.

Обязательно наличие полиса ОМС и паспорта.

Научный семинар кафедры АиМЛ «Нестандартные логики» возобновляет свою работу в новом учебном году 04.10.2018.
Семинар будет проходить еженедельно по четвергам в 16:20, ауд. 34-08.
На заседаниях планируются доклады участников, реферирование научных статей, обсуждение задач. Приглашаются заинтересованные студенты всех курсов и специальностей, преподаватели.

Руководитель семинара: проф., д-р физ.-мат. наук В.В. Рыбаков
Секретарь: канд. физ.-мат. наук С.И. Башмаков

Центр карьеры СФУ совместно с ООО "Иркутская Нефтяная Компания" (ИНК) приглашают студентов 4 курса бакалавриата и магистров принять участие в "Дне компании".

С 1 ноября официально стартует компания по приему заявок на на повышенную государственную академическую стипендию. Как и в прошлом году, прием заявок осуществляется только через портал "Мой СФУ".

До этого момента всем заинтересованным студентам 3,4 курсов бакалавриата и 2 курса магистратуры необходимо загрузить достижения в личном кабинете портала.

Докладчик: Рыбаков Владимир Владмирович (кафедра алгебры и математической логики ИМФИ СФУ) - «Многозначные многомодальные логики, проблема выполнимости».

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

Основные понятия: многозначные мультиозначиваемые многомодальные логики; многоагетные логики; выполнимость, разрешимость.