Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Четверг, 09 сентября 2010, 19:00–20:35
Где: ПОМИ РАН
Слайды: proofcomplexity_lecture_090910.pdf

Описание

На первой лекции будут даны основные определения и рассмотрены примеры систем доказательств. Для понимания курса полезно (но не обязательно!)знание базовых определений теории вычислимости и сложности: машина Тьюринга, (не)вычислимость, класс NP, сводимости между вычислительными задачами: если Вы с ними когда-то познакомились, освежите свои знания перед первой лекцией.

Видео

Материалы