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


Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
(24–25 декабря 2018 г., МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж, г. Москва)

Программа

Докладчики
Беклемишев Лев Дмитриевич
Верещагин Николай Константинович
Ицыксон Дмитрий Михайлович
Кузнецов Степан Львович
Куликов Александр Сергеевич
Лысёнок Игорь Геронтьевич
Матиясевич Юрий Владимирович
Пахомов Фёдор Николаевич
Подольский Владимир Владимирович
Разборов Александр Александрович
Смаль Александр Владимирович
Соколов Дмитрий Олегович
Сперанский Станислав Олегович
Шамканов Данияр Салкарбекович
Щедров Андрей Олегович

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


Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика», г. Москва, 24–25 декабря 2018 г.

24 декабря 2018 г. (пн)
1. $\Pi^0_1$-формулировки некоторых известных проблем
Ю. В. Матиясевич
24 декабря 2018 г. 12:00–12:35, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Ю. В. Матиясевич
  
2. Колмогоровская сложность вычислимых 0-1-последовательностей
Н. К. Верещагин
24 декабря 2018 г. 12:35–13:10, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Н. К. Верещагин
  
3. Техники уменьшения глубины схем
А. С. Куликов
24 декабря 2018 г. 14:50–15:25, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
А. С. Куликов
  
4. О коротких доказательствах медленной непротиворечивости
Ф. Н. Пахомов
24 декабря 2018 г. 15:25–16:00, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Ф. Н. Пахомов
  
5. Резолюционные доказательства и монотонные вычисления
Д. О. Соколов
24 декабря 2018 г. 16:20–16:55, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Д. О. Соколов
  
6. Цейтинские формулы и однопроходные ветвящиеся программы
Д. М. Ицыксон
24 декабря 2018 г. 16:55–17:30, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Д. М. Ицыксон
  
7. Сложность вычисления некоторых функций коммуникационными протоколами с большим числом участников
В. В. Подольский
24 декабря 2018 г. 17:30–18:05, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
В. В. Подольский
  

25 декабря 2018 г. (вт)
8. Полудуплексная коммуникационная сложность
А. В. Смаль
25 декабря 2018 г. 10:00–10:35, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
А. В. Смаль
  
9. Полные подграфы в случайных графах и регулярные резолюции
А. А. Разборов
25 декабря 2018 г. 10:35–11:10, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
А. А. Разборов
  
10. Аналоги многочленов Кантора для секторов
М. А. Всемирнов
25 декабря 2018 г. 11:30–12:05, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
М. А. Всемирнов
  
11. Уравнения в группах и некоторые задачи геометрической комбинаторики
И. Г. Лысёнок
25 декабря 2018 г. 12:05–12:40, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
И. Г. Лысёнок
  
12. Исчисление Ламбека, обогащенное субэкспоненциалами
А. О. Щедров
25 декабря 2018 г. 14:30–15:05, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
А. О. Щедров
  
13. $\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини
С. Л. Кузнецов
25 декабря 2018 г. 15:05–15:40, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
С. Л. Кузнецов
  
14. Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна
С. О. Сперанский
25 декабря 2018 г. 16:00–16:35, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
С. О. Сперанский
  
15. Об устранении сечения для системы $K^+$
Д. С. Шамканов
25 декабря 2018 г. 16:35–17:10, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Д. С. Шамканов
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019