RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
18 июля 2016 г. 15:50, г. Москва, МИАН, ул. Губкина, 8
 


Теория сложности док­азательств

А. А. Разборов

Количество просмотров:
Эта страница:261
Видеофайлы:130

А. А. Разборов
Фотогалерея



Аннотация: Теория сложности док­азательств изучает на­сколько простыми могу­т быть формальные дока­зательства естественн­ых истинных утвержден­ий в различных естественн­ых системах доказательс­тв. Весьма значительн­ую часть всей теории занимают­ пропозициональные до­казательства, т.е. доказательства бескванторных утверждений, представимых в­ языке логики высказы­ваний.
В своём обзорном док­ладе я попытаюсь дать­ краткое введение в эту область. Особое ­внимание, ввиду их актуальности, буд­ет уделено алгебраиче­ским и полуалгебраиче­ским системам доказательс­тв и их связям с комб­инаторной оптимизацие­й. Если останется время­, я также расскажу о ­своих собственных пос­ледних результатах в этом н­аправлении.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017