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

Тема:
Башмаков С.И. - "Введение в теорию модальных логик: модальная логика, реляционная семантика Крипке, вопросы аксиоматики".

Участники семинара:

• Зверева Т.Ю.
• Половинкина А.И.
• Махьянов С.П.
• Дураков Б.Е.

Доклад:
Ходюня Николай Дмитриевич - "Гомотопическая теория типов"

Участники:

• Башмаков С.И.
• Казакова А.В.
• Касымов Ф.
• Марковская И.А.

1 декабря состоится первое заседание Молодежного семинара. Целью данного семинара является знакомство с работами коллег-сверстников, полезный опыт докладов на научных семинарах.

Доклад:
Марковская Ирина Александровна - "Аксиоматизация некоторых табличных расширений логики Гёделя-Лёба"

Участники:

• Башмаков С.И.
• Казакова А.В.

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

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

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

Предлагаем студентам, аспирантам и молодым ученым Института пройти небольшое анкетирование-исследование формирования карьерной траектории молодого ученого и экосреды, необходимой для его роста и развития в университете.
Ссылка на онлайн-форму анкеты.

Результаты исследования будут представлены в декабре в рамках отчетной сетевой конференции с презентацией историй успеха молодых ученых.

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

1. Проектный семинар-дискуссия...

Приглашаем всех желающих студентов, аспирантов и сотрудников нашего института посетить концерт Красноярского камерного оркестра под руководством Михаила Бенюмова!
Концерт состоится 14 ноября на территории Успенского монастыря
(п.Удачный, ул. Леснаяя, 55А, стр. 3) в 17:00.

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

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

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

Марковская И.А. (базовая кафедра вычислительных и информационных технологий) - «Об аксиоматизации некоторых табличных расширений логики Гёделя-Лёба малой размерности».

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

Основные понятия: логика Гёделя-Лёба, аксиоматизация, фрейм и модель Крипке, означивание

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

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

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