Заседание №48 (11 декабря 2020 г.)

Время:

16:00

Место:

пр. Свободный, 79, ауд. 34-17

Доклад:

Т.Ю. Зверева - Характеризация дополнительных свойств логики LTK_{sl_U} модальными формулами.

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

Башмаков С.И.
Донец Е.А.

Башмаков С. И.

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

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