Доклады и лекции в базе данных Math-Net.Ru
Арифметическая комбинаторика. Семинар 3 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 22 июля 2024 г.
Арифметическая комбинаторика. Семинар 2 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 21 июля 2024 г.
Арифметическая комбинаторика. Семинар 1 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 20 июля 2024 г.
О вопросах сходимости и генерализации нейронных сетей малой глубины Семинар «Математические основы искусственного интеллекта» 19 июня 2024 г.
Об одном фазовом переходе в теории Рамсея Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 15 сентября 2022 г. 16:00
Matrix rigidity Международная мини-конференция “Approximation and Matrix Complexity” 21 декабря 2021 г.
Об одном фазовом переходе в теории Рамсея Научная сессия МИАН, посвященная подведению итогов 2021 года 24 ноября 2021 г.
Proof Complexity. Lecture 3 Logical Perspectives 2021: Summer School and Workshop 16 июня 2021 г.
Proof Complexity. Lecture 2 Logical Perspectives 2021: Summer School and Workshop 15 июня 2021 г.
Proof Complexity. Lecture 1 Logical Perspectives 2021: Summer School and Workshop 14 июня 2021 г.
SAT Solvers and Ordered Decision Strategies «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 27 октября 2020 г.
Limits of Dense Combinatorial Objects Большой семинар лаборатории комбинаторных и геометрических структур 25 июня 2020 г.
Теорема Адяна-Рабина Мемориальная конференция памяти С. И. Адяна 26 мая 2020 г.
Предельная теория комбинаторных объектов SIMC Open 25 декабря 2019 г.
Теория сложности вычислений, занятие 2 Летняя школа «Современная математика» имени Виталия Арнольда, 2019 28 июля 2019 г.
Теория сложности вычислений, занятие 1 Летняя школа «Современная математика» имени Виталия Арнольда, 2019 27 июля 2019 г.
Теория сложности вычислений, лекция Летняя школа «Современная математика» имени Виталия Арнольда, 2019 26 июля 2019 г.
Полные подграфы в случайных графах и регулярные резолюции Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая
логика» 25 декабря 2018 г.
Об одном фазовом переходе в теории Рамсея «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 18 декабря 2018 г.
Арифметическая комбинаторика. Занятие 3 Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017 22 июля 2017 г. 17:15
Арифметическая комбинаторика. Занятие 2 Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017 21 июля 2017 г. 15:30
Арифметическая комбинаторика. Лекция 1 Летняя школа «Современная математика», посвященная памяти Виталия Арнольда, 2017 20 июля 2017 г. 15:30
О невозможности одновременной оптимизации различных мер сложности пропозициональных доказательств «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 13 декабря 2016 г.
Теория сложности доказательств Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна 18 июля 2016 г.
Непрерывная комбинаторика Узлы и теория представлений 16 июня 2016 г.
Теория сложности доказательств Коллоквиум Факультета компьютерных наук НИУ ВШЭ 14 июня 2016 г.
Непрерывная комбинаторика Общеинститутский семинар «Коллоквиум МИАН» 25 декабря 2015 г. 16:00
Сложность доказательств. Занятие 3 Летняя школа «Современная математика», 2015 28 июля 2015 г. 11:15
Сложность доказательств. Занятие 2 Летняя школа «Современная математика», 2015 27 июля 2015 г. 09:30
Сложность доказательств. Занятие 1 Летняя школа «Современная математика», 2015 26 июля 2015 г. 15:30
Непрерывная комбинаторика III Летняя математическая школа «Алгебра и геометрия», 2014 28 июля 2014 г.
Непрерывная комбинаторика II Летняя математическая школа «Алгебра и геометрия», 2014 27 июля 2014 г.
Непрерывная комбинаторика I Летняя математическая школа «Алгебра и геометрия», 2014 26 июля 2014 г.
Непрерывная комбинаторика Семинар «Глобус» (записи с 2011 года) 26 декабря 2013 г. 15:40
Непрерывная комбинаторика Межкафедральный семинар МФТИ по дискретной математике 18 декабря 2013 г.
Непрерывная комбинаторика. Лекция 3 Летняя школа «Современная математика», 2013 25 июля 2013 г. 12:45
Непрерывная комбинаторика. Лекция 2 Летняя школа «Современная математика», 2013 24 июля 2013 г. 15:30
Непрерывная комбинаторика. Лекция 1 Летняя школа «Современная математика», 2013 23 июля 2013 г. 15:30
О приближении булевых функций вещественными полиномами малой степени «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 11 декабря 2012 г.
Экстремальная комбинаторика. Лекция 2 Летняя школа «Современная математика», 2012 26 июля 2012 г. 11:15
Экстремальная комбинаторика. Лекция 1 Летняя школа «Современная математика», 2012 25 июля 2012 г. 09:30
Алгебры флагов Заседания Санкт-Петербургского математического общества 27 декабря 2011 г. 18:00
Теория сложности вычислений. Лекция 3 Летняя школа «Современная математика», 2011 25 июля 2011 г. 12:45
Теория сложности вычислений. Лекция 2 Летняя школа «Современная математика», 2011 24 июля 2011 г. 12:45
Теория сложности вычислений. Лекция 1 Летняя школа «Современная математика», 2011 23 июля 2011 г. 09:30
Алгебраическая сложность. Лекция 2 Летняя школа «Современная математика», 2010 24 июля 2010 г. 09:30
Алгебраическая сложность. Лекция 1 Летняя школа «Современная математика», 2010 23 июля 2010 г. 15:30
Алгебры флагов Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика» 17 декабря 2009 г. 10:30
Коммуникационная сложность. Лекция 2 Летняя школа «Современная математика», 2009 27 июля 2009 г. 09:30
Коммуникационная сложность. Лекция 1 Летняя школа «Современная математика», 2009 26 июля 2009 г. 15:30
Плотность числа треугольников в графах с известной плотностью рёбер Семинар отдела дискретной математики МИАН 2 сентября 2008 г. 16:00
Обратные задачи арифметической комбинаторики. Лекция вторая Летняя школа «Современная математика», 2007 29 июля 2007 г. 09:30
Обратные задачи арифметической комбинаторики. Лекция первая Летняя школа «Современная математика», 2007 28 июля 2007 г. 15:45
Proof Complexity of pigeonhole principles International Workshop on Logic and Complexity in Computer Science (LCCS'2001) 5 сентября 2001 г. 09:00
© , 2024
