Кудинов Андрей Валерьевич

10 февраля состоялось 75-е заседание научно-теоретического семинара «Формальная философия», на котором Андрей Кудинов выступил с докладом «Логика пространств подмножеств с публичными высказываниями».

С 1 по 25 мая 2022 года в образовательном центре «Сириус» проходила проектная программа по математике и теоретической информатике. На программу приехали 60 участников из разных регионов России. Это школьники 10-11 классов, которые прошли предварительный дистанционный отбор. Программа включала в себя пять проектов, посвященных булевым схемам, решеткам, раскраскам 3-графов, теории определимости, а также многочленам и графам.