В 21/22 учебном году на ПМИ есть выборность на 2, 3 и 4 годах обучения.
Распределять будем так же, как и по майнорам:
Осенью вы выбираете один из двух курсов: либо "Математическую логику", либо "Язык программирования C++ (углубленный курс)".
Математическая логика
Лектор — Дашков Евгений Владимирович
Данный курс посвящен изложению теории вычислимости и математической логики. Основными темами курса являются: абстрактная теория алгоритмов, машины Тьюринга, анализ алогоритмической трудности основных логических теорий (разрешимость, неразрешимость, неперечислимость). Для изложения этих тем потребуется также ввести формализм логики первого порядка и исчисление резолюций.
План и материалы прошлого года: http://wiki.cs.hse.ru/DM2-base2020/2021
Язык программирования C++
Лектор — Кутенин Данила Михайлович
Хоть вы и проходили С++ на первом курсе, одним из фидбеков многих студентов и преподавателей является то, что этого курса недостаточно для освоения промышленной разработки (в том числе и на С++). Мы постараемся это исправить, объяснив такие сложные концепты, как move семантика, шаблоны, лямбда функции, наследования, паттерны вроде pimpl. Разберёмся, как отлаживать ваши программы, выжимать максимальное количество перформанса, и просто постараемся дать написать очень много кода, чтобы набить руку и выйти с бо́льшим осознанием того, как устроены языки программирования, почему в плюсах сделано что-то так, а не иначе, а также попробуем показать красоту и ужас С++. Будет много мелких задач и большие 3 домашних задания, которые очень похожи на повседневную разработку С++. Будет сложно, приходите. Курс вместе с курсом по инструментам промышленной разработки будет связан и даст более полную картину, как устроен современный мир с точки зрения инженерного дела.
По всем вопросам можно писать в телеграм лектору: @Danlark
Как выбрать?