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

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

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

Участники:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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