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

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

Доклад:

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

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

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

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

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

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