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

Основы вычислимости и теории сложности
Санкт-Петербург / осень 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
Схемы и параллельные вычисления, Лекция ПОМИ РАН видео