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

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

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

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

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

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

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

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

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

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

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

Доклад Бабёнышев С. В. (СПСА ГПС МЧС России, Железногорск) - «Проективность: от теории категорий до модальной логики. Часть II.»

Доклад Бабёнышев С. В. (СПСА ГПС МЧС России, Железногорск) - «Проективность: от теории категорий до модальной логики».

Доклад Башмакова С. И. - «Унификация в предтабличных модальных логиках PM1-PM5».

Аннотация доклада:
Дается синтаксическое и семантическое описание рассматриваемых логик, анализ известных результатов Л. Максимовой, Л. Эсхакиа, А. Чагрова, В. Рыбакова. Известно, что модальные системы PM1 и PM5 соответствуют логикам S4.3 и S5. Рассматриваются известные результаты теории унификации для этих логик. Предлагаются перспективы исследований.

Рыбаков В. В. реферирует статью
Е. Леммона - «Алгебраическая семантика для модальных логик».

Доклад Рыбакова В. В. - «Структурная полнота».