Заседание №127 (24 апреля 2025 г.)

Время: 
17:00
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Поляков А.В. - Допустимые правила вывода в унификации.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.

Заседание №126 (10 апреля 2025 г.)

Время: 
17:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    Брылякова Е.В. - Эквивалентность унификаторов в
    суперинтуиционистскихлогиках.

    Башмаков С.И. - Невозможность конечной аксиоматизации.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.
  • Фисков Я.С.
  • Мукосий А.А.

Заседание №125 (20 марта 2025 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Смелых К.А. - Элементы мультиагентной логики в обучении с подкреплением.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.

Заседание №124 (6 марта 2025 г.)

Время: 
17:00
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Поляков А.В. - Метод n-характеристичекой модели для суперинтуиционистской логики L2.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.
  • Фисков Я.С.
  • Мукосий А.А.

Заседание №123 (20 февраля 2025 г.)

Время: 
17:00
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Брылякова Е.В. - Решётки топобулевых алгебр.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.

Заседание №122 (6 февраля 2025 г.)

Время: 
17:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    Поляков А.В. - Обобщение кортежной семантики для рефлексивных и транзитивных линейных модальных логик.

    Смелых К.А. - Разрешимость логики CTLK.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.

Заседание №121 (23 января 2025 г.)

Время: 
17:00
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Башмаков С.И. - Алгебраические модели доказательств.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.
  • Мукосий А.А.

Заседание №120 (9 января 2025 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Смелых К.А. - Алгоритм проверки выполнимости формулы в CTLK.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.

Заседание №119 (19 декабря 2024 г.)

Время: 
18:00
Место: 
пр. Свободный, 79, ауд. 34-08

Доклад:

    Брылякова Е.В. - Построение полного базиса унификаторов.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.

Заседание №118 (5 декабря 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    Поляков А.В. - Полнота Alt1 в рамках кортежной семантики.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.
  • Фисков Я.С.
  • Мукосий Н.Н.

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

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram