Выпускник CS центра
Артур Рязанов
Законченные направления
История
Весной 2014 года
Отправил заявление
31 июля 2014 года
Зачислен в CS центр в Санкт-Петербурге
Осень 2014
- Основы вычислимости и теории сложности хорошо
- Программирование на Java зачёт
Весна 2015
Весна 2016
- Теоретико-сложностные основы криптографии отлично
Осень 2016
- Алгоритмы и структуры данных, часть 1 зачёт
- Обзорный курс по теоретической информатике отлично
- Семинар по сублинейным алгоритмам зачёт
Весна 2017
- Коммуникационная сложность отлично
- Сложность булевых функций отлично
- Верхние и нижние оценки на размер доказательств формулы PHP в системе Res-Lin зачёт
Осень 2017
- Сложность пропозициональных доказательств отлично
Весна 2018
- Спектральная теория графов отлично
23 июня 2018 года