Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

О понятии "доказательства" в информатике
Обзорный курс по теоретической информатике

Что: Лекция
Когда: Четверг, 12 сентября 2013, 18:30–19:50
Где: ПОМИ РАН

Описание

Доказательство в математике и информатике. Примеры доказательств: интерактивное доказательство, доказательство с нулевым разглашением, вероятностно проверяемое доказательство, доказательство неразрешимости системы неравенств. Система доказательств, перечислимые языки, разрешимые языки. Задача об остановке алгоритма, ее неразрешимость.