Новости
30.01.2024
30 января 2024 года состоится восьмой методологический семинар ИСИ СО РАН
30 января 2024 года в 11:00 в каб. 239 состоится восьмой методологический семинар ИСИ СО РАН.
Докладчик: д.ф.-м.н. Сергей Павлович Одинцов, Институт математики им. С.Л. Соболева СО РАН.
Тема доклада: Верификация, фальсификация, сильное отрицание, FDE.
Ссылка на дистанционное подключение meet.google.com/gan-cyca-myh