Заседание №50 (4 февраля 2021 г.)

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

Доклад:

  • Донец Е.А. - Предтабличные расширения модальной логики S4 и их n-характеристические модели.

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Ташкен А.О.
Башмаков С. И.

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

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