Ицыксон Дмитрий Михайлович

Доклады и лекции в базе данных Math-Net.Ru

1. Нижние оценки длин доказательств с помощью коммуникационных аргументов
   Д. М. Ицыксон
   Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
   22 ноября 2021 г. 13:00   
2. Цейтинские формулы и однопроходные ветвящиеся программы
   Д. М. Ицыксон
   Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
   24 декабря 2018 г. 16:55   
3. Сложность пропозициональных доказательств: краткая история, новые результаты и открытые вопросы
   Д. М. Ицыксон
   День математика и механика. VIII Интернет-видеоконференция — Слово молодым
   17 сентября 2018 г.
4. Структурная сложность вероятностных вычислений с ограниченной ошибкой
   Д. М. Ицыксон
   Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
   18 декабря 2009 г. 17:00