RUS
ENG
Полная версия
КОНФЕРЕНЦИИ
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
(
24–25 декабря 2018 г.
, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж, г. Москва)
Программа конференции
Докладчики
Беклемишев Лев Дмитриевич
Верещагин Николай Константинович
Ицыксон Дмитрий Михайлович
Кузнецов Степан Львович
Куликов Александр Сергеевич
Лысёнок Игорь Геронтьевич
Матиясевич Юрий Владимирович
Пахомов Фёдор Николаевич
Подольский Владимир Владимирович
Разборов Александр Александрович
Смаль Александр Владимирович
Соколов Дмитрий Олегович
Сперанский Станислав Олегович
Шамканов Данияр Салкарбекович
Щедров Андрей Олегович
Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика», г. Москва,
24–25 декабря 2018 г.
$\Pi^0_1$
-формулировки некоторых известных проблем
Ю. В. Матиясевич
24 декабря 2018 г.
12:00
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Колмогоровская сложность вычислимых 0-1-последовательностей
Н. К. Верещагин
24 декабря 2018 г.
12:35
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Техники уменьшения глубины схем
А. С. Куликов
24 декабря 2018 г.
14:50
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
О коротких доказательствах медленной непротиворечивости
Ф. Н. Пахомов
24 декабря 2018 г.
15:25
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Резолюционные доказательства и монотонные вычисления
Д. О. Соколов
24 декабря 2018 г.
16:20
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Цейтинские формулы и однопроходные ветвящиеся программы
Д. М. Ицыксон
24 декабря 2018 г.
16:55
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Сложность вычисления некоторых функций коммуникационными протоколами с большим числом участников
В. В. Подольский
24 декабря 2018 г.
17:30
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Полудуплексная коммуникационная сложность
А. В. Смаль
25 декабря 2018 г.
10:00
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Полные подграфы в случайных графах и регулярные резолюции
А. А. Разборов
25 декабря 2018 г.
10:35
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Аналоги многочленов Кантора для секторов
М. А. Всемирнов
25 декабря 2018 г.
11:30
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Уравнения в группах и некоторые задачи геометрической комбинаторики
И. Г. Лысёнок
25 декабря 2018 г.
12:05
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Исчисление Ламбека, обогащенное субэкспоненциалами
А. О. Щедров
25 декабря 2018 г.
14:30
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
$\Pi_1^0$
-полнота исчисления Ламбека с итерацией Клини
С. Л. Кузнецов
25 декабря 2018 г.
15:05
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна
С. О. Сперанский
25 декабря 2018 г.
16:00
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
Об устранении сечения для системы
$K^+$
Д. С. Шамканов
25 декабря 2018 г.
16:35
г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
©
МИАН
, 2024