Что: | Лекция |
Когда: | Четверг, 12 сентября 2013, 18:30–19:50 |
Где: | ПОМИ РАН |
Доказательство в математике и информатике. Примеры доказательств: интерактивное доказательство, доказательство с нулевым разглашением, вероятностно проверяемое доказательство, доказательство неразрешимости системы неравенств. Система доказательств, перечислимые языки, разрешимые языки. Задача об остановке алгоритма, ее неразрешимость.