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

ИНСТИТУТ КОСМИЧЕСКИХ И ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ Сибирского федерального университета приглашает принять участие студентов ИМиФИ в региональной олимпиаде по программированию в формате личного первенства среди студентов, магистрантов и аспирантов на призы Института космических и информационных технологий 28–29 апреля 2018 г.

Началась регистрация участников на конференцию «Проспект Свободный — 2018». Регистрация на сайте конференции (http://mn2018.sfu-kras.ru) продлится до 16:00 20 апреля (срок продлен). Заседания секций Института математики и информатики будут проходить 20 и 27 апреля.

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

• год выпуска – 2018;
• выпускная квалификационная работа (ВКР) должна быть выполнена с использованием программных продуктов «1С:Предприятие 8».

канд. физ.- мат. наук, доцент Любанова А. Ш. "Результаты кандидатской диссертации Тихоновой И.М."

Студенты 2 курса магистратуры, специализирующихся на кафедре МАиДУ. Отчеты о проделанной научной работе.

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

Аннотация доклада:
Рассматриваются базовые понятия нечеткой логики. Как сфера её применения вводятся правила нечеткой продукции, которые реализуют нечеткий логический вывод.

Основные понятия: нечеткие множества и отношения; нечеткая логика; лингвистическая переменная; правила нечетких продукций.

В Красноярске стартовал приём заявок на соискание Премии Главы города молодым талантам 2018 года, которая является именной и учреждается для поощрения талантливой молодёжи города. К участию приглашаются студенты, аспиранты, молодые учёные и сотрудники, проявившие себя в различных сферах деятельности и внёсшие вклад в развитие Красноярска.

Внимание: проведение олимпиады переносится на 14 апреля.

14 апреля 2017 года Институт математики и фундаментальной информатики проводит традиционную региональную студенческую олимпиаду по математике. В олимпиаде могут принимать участие студенты бакалавриата, специалитета и магистратуры всех курсов обучения.
Подробности о проведении олимпиады — на странице «Дни математики - 2018». Регистрация участников олимпиады - до 9 апреля.

В субботу, 31 марта 2018 года в 10:00 в Институте математики и фундаментальной информатики СФУ состоится день открытых дверей. В программе дня университетская олимпиада по математике, победители и призеры которой получат дополнительные баллы при поступлении в СФУ, презентация института, ответы на вопросы абитуриентов и мастер-классы.

Приглашенный докладчик: Одинцов Сергей Павлович (д-р физ.-мат. наук, ведущий научный сотрудник Института математики им. С.Л. Соболева, Новосибирск) - «О конструктивности теоретико-игровой семантики».

Аннотация доклада:
Будет показано, что семантика реализуемости по Нельсону, ограниченная на язык без импликации, является эффективной версией теоретико-игровой семантики для логики первого порядка. Далее, будут определены IF-логика Я. Хинтикки, получающаяся из логики первого порядка добавлением независимых кванторов, игровая семантика и трамп-семантика для данной логики. Будет установлено, что эффективизация трамп-семантики приводит к семантики реализуемости, которая является консервативным расширением (в специально определенном строгом смысле) реализуемости по Нельсону.

Доклад состоялся в рамках заседания "Красноярского алгебраического семинара".