RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ


Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
(16–18 декабря 2009 г., г. Москва)

Организаторы
Беклемишев Лев Дмитриевич
Матиясевич Юрий Владимирович

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук


Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика», г. Москва, 16–18 декабря 2009 г.

16 декабря 2009 г.
1. Десятая проблема Гильберта и модели вычислительных процессов
Ю. В. Матиясевич
16 декабря 2009 г. 16:05, г. Москва
Ю. В. Матиясевич
  
2. Точная квадратичная оценка длины вывода в одной системе подстановок Туэ
С. И. Адян
16 декабря 2009 г. 17:30, г. Москва
С. И. Адян
  

17 декабря 2009 г.
3. Алгебры флагов
А. А. Разборов
17 декабря 2009 г. 10:30, г. Москва
А. А. Разборов
  
4. Диофантово кодирование и обобщенные многочлены Кантора
М. А. Всемирнов
17 декабря 2009 г. 11:45, г. Москва
М. А. Всемирнов
  
5. Алгебра доказуемости и разреженная топология
Л. Д. Беклемишев
17 декабря 2009 г. 12:50, г. Москва
Л. Д. Беклемишев
  

18 декабря 2009 г.
6. Квадратичные уравнения в свободном моноиде
И. Г. Лысёнок
18 декабря 2009 г. 10:30, г. Москва
И. Г. Лысёнок
  
7. Оптимальные системы доказательств и алгоритмы (обзор)
Э. А. Гирш
18 декабря 2009 г. 12:00, г. Москва
Э. А. Гирш
  
8. О некоторых классах пороговых булевых схем ограниченной глубины
В. В. Подольский
18 декабря 2009 г. 16:00, г. Москва
В. В. Подольский
  
9. Структурная сложность вероятностных вычислений с ограниченной ошибкой
Д. М. Ицыксон
18 декабря 2009 г. 17:00, г. Москва
Д. М. Ицыксон
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017