RUS
ENG
Полная версия
КОНФЕРЕНЦИИ
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
(
16–18 декабря 2009 г.
, г. Москва)
Организаторы
Беклемишев Лев Дмитриевич
Матиясевич Юрий Владимирович
Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика», г. Москва,
16–18 декабря 2009 г.
Десятая проблема Гильберта и модели вычислительных процессов
Ю. В. Матиясевич
16 декабря 2009 г.
16:05
г. Москва
Точная квадратичная оценка длины вывода в одной системе подстановок Туэ
С. И. Адян
16 декабря 2009 г.
17:30
г. Москва
Алгебры флагов
А. А. Разборов
17 декабря 2009 г.
10:30
г. Москва
Диофантово кодирование и обобщенные многочлены Кантора
М. А. Всемирнов
17 декабря 2009 г.
11:45
г. Москва
Алгебра доказуемости и разреженная топология
Л. Д. Беклемишев
17 декабря 2009 г.
12:50
г. Москва
Квадратичные уравнения в свободном моноиде
И. Г. Лысёнок
18 декабря 2009 г.
10:30
г. Москва
Оптимальные системы доказательств и алгоритмы (обзор)
Э. А. Гирш
18 декабря 2009 г.
12:00
г. Москва
О некоторых классах пороговых булевых схем ограниченной глубины
В. В. Подольский
18 декабря 2009 г.
16:00
г. Москва
Структурная сложность вероятностных вычислений с ограниченной ошибкой
Д. М. Ицыксон
18 декабря 2009 г.
17:00
г. Москва
©
МИАН
, 2024
Организации
