Дорогие слушатели!
В субботу 28 октября с 16:445 до 18:20 во втором учебном корпусе МГУ состоится лекция
"Автоматизация математических доказательств".
Докладчик – Кузнецов Степан Львович, старший научный сотрудник Математического института им. В.А. Стеклова РАН.

На лекции будет рассказано, как компьютер может помочь в доказательстве сложных математических утверждений (например, знаменитой теоремы о четырёх красках), может ли компьютер полностью самостоятельно доказывать теоремы, и как из математического доказательства существования некоторого объекта можно извлечь алгоритм, который такой объект строит. Необходимые сведения из математической логики и теоретической информатики будут рассказаны по ходу лекции, предварительных знаний не требуется.

Лекция рассчитана на школьников 9-11 классов.

Адрес: Ленинские горы, д.1с.52, второй учебный корпус МГУ, северный вход (ближе к главному зданию). Аудитория П-14.

http://mmmf.msu.ru/feedback/

бесплатно