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

Тема:
Зверева Т.Ю. - "Введение в интуиционистскую логику". Часть 1.

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

• Башмаков С.И.
• Половинкина А.И.

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

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

• Зверева Т.Ю.
• Дураков Б.Е.
• Казакова А.В.

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

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

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

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

Участники:

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

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

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

Участники:

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

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

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

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

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

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

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

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

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

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

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

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