Это содержательный курс, который даст слушателям представление не только о различных областях теоретической информатики, а также и об основных методах и идеях. Мы поговорим про такие области: алгоритмическая неразрешимость, сложность вычислений, понятие доказательств в информатике (классические, интерактивные, вероятностно проверяемые, доказательства с нулевым разглашением), линейное программирование и принцип двойственности, вычисления с малой памятью, параллельные вычисления, вероятностные алгоритмы, теория информации (классическая и алгоритмическая), коммуникационная сложность, тестирование свойств и пр.
Курс не требует никаких предварительных знаний, выходящих за программу первых двух курсов ВУЗов, но существенно проще будет тем, кто уже прослушал курсы по дискретной математике, алгоритмам и структурам данных и теории вероятностей.
Похожий курс читался в 2013 году: http://compsciclub.ru/courses/cs-intro/2013-autumn/
Вопросы к экзамену: http://compsciclub.ru/learning/attachments/824VhmjL/
Экзамен можно сдать 8-го или 15-го декабря. Желающим сдавать экзамен следует как минимум за 24 часа до экзамена записаться по ссылке: https://docs.google.com/forms/d/1psaORbCMloNN5sLyQ6bVfYnPMH4NWEz9jwSLOhR6t_Y/viewform