Основы вычислимости и теории сложности, осень 2012

Основы вычислимости и теории сложности
Санкт-Петербург / осень 2012, посмотреть все семестры

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

TBA

Дата и время	Занятие	Место	Материалы
12 сентября 18:30–19:50	Разрешимые и перечислимые множества. Классы P и NP, Лекция	ПОМИ РАН	Нет
12 сентября 18:30–19:50	Разрешимые и перечислимые множества. Классы P и NP, Лекция	ПОМИ РАН	видео
19 сентября 18:30–19:50	Вычислимые функции, Лекция	ФМЛ 239, Актовый зал	видео
19 сентября 18:30–19:50	Вычислимые функции, Лекция	ПОМИ РАН	Нет
03 октября 18:30–19:50	Теорема о неподвижной точке. Машины Тьюринга, Лекция	ПОМИ РАН	Нет
03 октября 18:30–19:50	Теорема о неподвижной точке. Машины Тьюринга, Лекция	ПОМИ РАН	видео
10 октября 18:30–19:50	Вычислимость и выразимость в арифметике, Лекция	ПОМИ РАН	Нет
10 октября 18:30–19:50	Вычислимость и выразимость в арифметике, Лекция	ПОМИ РАН	видео
17 октября 18:30–19:50	Арифметическая иерархия. Колмогоровская сложность, Лекция	ПОМИ РАН	Нет
17 октября 18:30–19:50	Арифметическая иерархия. Колмогоровская сложность, Лекция	ФМЛ 239, Актовый зал	видео
24 октября 18:30–19:50	Моделирование машин Тьюринга. Недетерминированные машины Тьюринга, Лекция	ПОМИ РАН	Нет
24 октября 18:30–19:50	Моделирование машин Тьюринга. Недетерминированные машины Тьюринга, Лекция	ПОМИ РАН	видео
31 октября 18:30–19:50	О классе NP, Лекция	ПОМИ РАН	видео
31 октября 18:30–19:50	О классе NP, Лекция	ПОМИ РАН	Нет
07 ноября 18:30–19:50	P vs NP с оракулами. Иерархии по времени, Лекция	ПОМИ РАН	видео
07 ноября 18:30–19:50	P vs NP с оракулами. Иерархии по времени, Лекция	ПОМИ РАН	Нет
14 ноября 18:30–19:50	Вычисления с ограничениями по памяти, Лекция	ПОМИ РАН	Нет
14 ноября 18:30–19:50	Вычисления с ограничениями по памяти, Лекция	ПОМИ РАН	видео
21 ноября 18:30–19:50	Полиномиальная иерархия, Лекция	ПОМИ РАН	Нет
21 ноября 18:30–19:50	Полиномиальная иерархия, Лекция	ПОМИ РАН	видео
28 ноября 18:30–19:50	Нижние оценки для SAT. Схемная сложность, Лекция	ПОМИ РАН	видео
28 ноября 18:30–19:50	Нижние оценки для SAT. Схемная сложность, Лекция	ПОМИ РАН	Нет
05 декабря 18:30–19:50	Схемы и параллельные вычисления, Лекция	ПОМИ РАН	видео
05 декабря 18:30–19:50	Схемы и параллельные вычисления, Лекция	ПОМИ РАН	Нет

Основы вычислимости и теории сложности Санкт-Петербург / осень 2012, посмотреть все семестры

Основы вычислимости и теории сложности
Санкт-Петербург / осень 2012, посмотреть все семестры