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

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

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

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

9–10 ноября 2018 года пройдёт XXV Региональный смотр-конкурс молодёжных IT-проектов «Soft-Парад 2018». Приглашаем к участию учащихся школ, техникумов и училищ, студентов, аспирантов вузов и работающую молодёжь до 35 лет включительно с IT-проектами собственной разработки любой тематики. Заявки принимаются до 6 ноября.
Подробности на http://soft-parade.ru/

26 октября состоится встреча студентов СФУ с красноярским писателем-фантастом Павлом Веселовским, выпускником факультета математики КГУ. Встреча пройдёт в формате беседы.

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

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

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

Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 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.
На заседаниях планируются доклады участников, реферирование научных статей, обсуждение задач. Приглашаются заинтересованные студенты всех курсов и специальностей, преподаватели.

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