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

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

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

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

Обращаем Ваше внимание, что до 30 сентября 2018 года принимаются онлайн заявки на получение новогодних подарков для детей студентов, аспирантов и докторантов очной формы обучения: Дед Мороз СФУ

Напоминаем, что всем первокурсникам необходимо зарегистрироваться на корпоративном портале "Мой СФУ", доступном по адресу: i.sfu-kras.ru, а также пройти вводный опрос, доступный на левой панели личного кабинета после регистрации.

Научная библиотека СФУ приглашает первокурсников получить читательский билет и учебную литературу. Обращаться по адресу пр.Свободный, 79/10, здание библиотеки. График выдачи литературы — в прикрепленном файле. При себе необходимо иметь студенческий билет и сумку для книг.

Каждый студент 1-го курса до 10.09.2018 должен выбрать два курса по выбору из двух блоков (по одному из каждого блока)

1 сентября в 11-00 в аудитории Б1-01 (корпус библиотеки пр.Свободный 79) состоится торжественная линейка посвященная Дню знаний. Приглашаются студенты первого курса!

Иногородним магистрантам первого курса, обучающимся за счет средств федерального бюджета и не проживающим в общежитиях СФУ, будет оказана с сентября по май материальная поддержка.

Абитуриенты, поступившие на 1 курс Института математики и фундаментальной информатики, узнать о предоставлении места в общежитии можно 24 августа, позвонив по телефону 2062148. Предоставление места в общежитие будет проходить согласно положению о порядке заселения в общежитие http://about.sfu-kras.ru/node/8058. На электронную почту TShipina@sfu-kras.ru можно задать вопросы.

31 июля 2018 года ушел из жизни основатель красноярской школы по комплексному анализу Лев Абрамович Айзенберг.

ДАТЫ ПРОВЕДЕНИЯ: с 31 июля по 4 августа
МЕСТО ПРОВЕДЕНИЯ: спортивно-оздоровительный лагерь СФУ «Политехник» (Красноярское море)