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

Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 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 октября состоится встреча студентов СФУ с красноярским писателем-фантастом Павлом Веселовским, выпускником факультета математики КГУ. Встреча пройдёт в формате беседы.

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

Завершается прием заявок на конкурс Краевой именной стипендии имени академика Л. В. Киренского — за достижения в области математических и естественных наук (за исключением биологических наук).

Приглашаем принять участие к конкурсе студентов ИМиФИ, имеющих достижения в научно-исследовательской работе (статьи и иные публикации, участия и победы в научных и учебных мероприятиях и т.д.).

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

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

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

Всем студентам 1-го курса необходимо пройти медосмотр.

Место: Медицинский центр СФУ - ФМБА России
пр. Свободный, 82 стр. 13 - за зданием "Конгресс холла СФУ"

C собой иметь: паспорт, полис ОМС, сертификат о привиках + его копия, СНИЛС, справки при наличии.

д-р физ.-мат. наук, профессор Белов Ю.Я. «Различные краевые задачи для уравнений составного типа».

Бакалавры старших курсов и магистры приглашаются к участию в мотивационном тренинге "Эффективный мечтатель", организуемой компанией Яндекс в формате soft skills в СФУ для подготовки к олимпиаде студентов "Я - профессионал".

Тренинг пройдет:

• Дата и время: 10 октября, начало в 15:00.
• Место: Конгресс-холл СФУ.

Необходима предварительная регистрация: https://yandex.ru/profi/trainings/