Математика

С.Л. Кузнецов. Лямбда-исчисление. Семинар 4

И.А. Панин. Первое знакомство с алгебраической геометрией. Семинар 3

А.А. Разборов. О сложности доказательств

А.Б. Калмынин. Распределение степенных вычетов. Семинар 3

#17. Модуль bisect - сортировка в моменте | The Python Standard Library

#16. Класс array. Методы класса array | The Python Standard Library

В.В. Батырев. Поле рядов Пюизо, метод Ньютона и классический дискриминант. Семинар 3

К.Г. Куюмжиян. Симметрические многочлены и массивы. Семинар 3

А.А. Гайфуллин. Трехмерные линзы и кручение Рейдемейстера. Семинар 4

А.Я. Канель-Белов. Теорема Римана-Роха, теорема Кристофа и проблема Гротендика. Семинар 3

Г.Б. Шабат. Уравнения степени 5 и выше. Семинар 4

К.А. Шрамов. Геометрия и арифметика квадрик. Семинар 4

С.Л. Кузнецов. Лямбда-исчисление. Семинар 2

С.О. Горчинский. Группа точек эллиптических кривых: теорема Морделла—Вейля. Семинар 2

А.В. Устинов. Эллиптические кривые и суммы символов Лежандра. Семинар 3

Е.Д. Косов. Восстановление многочленов на булевом кубе по значениям в точках. Семинар 2

С.О. Сперанский. Диагонализация в арифметике и теория истины по Крипке. Семинар 4

#15. Понятие кучи (heap). Модуль heapq | The Python Standard Library

Ф.Ю. Попеленский. Алгебра Стинрода и кольца многочленов. Семинар 4

А.Б. Калмынин. Распределение степенных вычетов. Семинар 2

И.А. Панин. Первое знакомство с алгебраической геометрией. Семинар 2

Л.Д. Беклемишев. Модели арифметики и комбинаторные независимые утверждения. Семинар 4

С.Л. Кузнецов. Лямбда-исчисление. Семинар 1

И.В. Вьюгин. Уравнение Маркова и математика вокруг него. Семинар 4