Обзорная лекция: Сложность дрказательств. Докладчик: В.В. Опарин (СПбАУ)
Мероприятие завершено
Обзорная лекция "Сложность доказательств" состоится в среду, 2 ноября.
Врямя проведения:16:40 - 18:00
Адрес мероприятия: Кочновский проезд, д. 3, ауд. 505
Заказ пропуска: evavilova@hse.ru
Аннотация
Сложность доказательств - это раздел теоретической информатики, который отвечает на вопрос "Насколько сложно доказывать ту или иную теорему?". Когда мы говорим о сложности, мы подразумеваем, что у нас есть некоторая формальная система доказательств и мы оцениваем размер кратчайшего доказательства в ней. Ответы на вопросы этой области могут пролить свет на вопрос равенства классов P и NP, а также позволяют оценить потенциальные возможности систем автоматического доказательства теорем. На лекции будет краткий обзор области.
Дата
2 ноября
16:40
Адрес
Кочновский проезд, д. 3
В статье упомянуты