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

Время:

14:00

Место:

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

Доклад:

Т.Ю. Зверева - Опровержимость аксиомы Лемонна для линейной нетранзитивной нерефлексивной временной логики.

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

Башмаков С.И.
Донец Е.А.
Порошин А.О.
Смелых К.А.

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

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