ru
en
Санкт-Петербургский
государственный университет
Исследовательская лаборатория им. П. Л. Чебышева
Department of Mathematics and Computer Science
Toggle navigation
ru
en
О проекте
Новости
Расписание
Семинары
Алгебраические группы
Индустриальная математика
События
Премии «Газпром нефти»
Кафедра Габриэля Ламе
Общая информация
Правила конкурса
Лауреаты
События
Конференции
Симпозиум по алгебраической геометрии
Семестр по теории сложности
Зимняя научная школа «Анализ, геометрия и математическая физика»
Зимняя школа-конференция «Анализ, геометрия и математическая физика — 2021»
Научная школа «Modern Problems of Analysis and Mathematical Physics»
Mini-conference «Complex and Harmonic Analysis and its applications»
Поддержка
Партнёры
Видеозаписи
Коллектив
Вакансии
Сотрудники
Визитёры
У нас работали
Сотрудникам
Исследования
Выполняемые проекты
Индустриальные проекты
Коллоквиум ФМКН
Лаборатория «Вероятностные методы в анализе»
Лаборатория «Современная Алгебра и Приложения»
Моделирование добычи нефти
Публикации
Контакты
Tutorial on Proof Complexity
Лектор
Toniann Pitassi
Лекции
16.05.2016
Part I
16.05.2016
Part II
16.05.2016
Part III
16.05.2016
Part IV
