В этот четверг, 10 февраля, будет очная пара, начнём изучать интерактивные доказательства. 17 февраля занятий не будет вероятно, всё же будут, формат уточню. Потом возможен переход на дистант, а то свободной аудитории на третью пару не нашлось, а я бы хотел полторы пары читать с учётом пропускаемых дней.