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

Обзорный курс по теоретической информатике
Санкт-Петербург / осень 2020, посмотреть все семестры

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

Это содержательный курс, который даст слушателям представление не только о различных областях теоретической информатики, но также и об основных методах и идеях. Мы поговорим про такие области: алгоритмическая неразрешимость, сложность вычислений, понятие доказательств в информатике (классические, интерактивные, вероятностно проверяемые, доказательства с нулевым разглашением), линейное программирование и принцип двойственности, вычисления с малой памятью, параллельные вычисления, вероятностные алгоритмы, теория информации (классическая и алгоритмическая), коммуникационная сложность, тестирование свойств и пр.

Курс не требует никаких предварительных знаний, выходящих за программу первых двух курсов ВУЗов, но существенно проще будет тем, кто уже прослушал курсы по дискретной математике, алгоритмам и структурам данных и теории вероятностей.

Похожий курс читался в 2013 и 2016 годах.

Дата и время Название Место Материалы
14 сентября
18:30–19:50
Лекция 1. О доказательствах в теоретической информатике, Лекция Конференция в zoom, Онлайн видео,  другое
14 сентября
20:00–21:30
Семинар 1, Семинар Конференция в zoom, Онлайн файлы
21 сентября
18:30–19:50
Лекция 2, Лекция Конференция в zoom, Онлайн Нет
21 сентября
20:00–21:20
Семинар 2, Семинар Конференция в zoom, Онлайн Нет
28 сентября
18:30–19:50
Лекция 3, Лекция Конференция в zoom, Онлайн Нет
28 сентября
20:00–21:20
Семинар 3, Семинар Конференция в zoom, Онлайн Нет
05 октября
18:30–19:50
Лекция 4, Лекция Конференция в zoom, Онлайн Нет
05 октября
20:00–21:20
Семинар 4, Лекция Конференция в zoom, Онлайн Нет