Публикуем один из таких отчётов о конференции C++ Russia Piter 2019. Автор — студент 2 курса магистратуры Артём Хорошев.

Компания Образовательные проекты JetBrains временно не ведёт блог на Хабре
\Sigma
. Определение типа Sorted
дадим через сопоставление с образцом, вдохновившись определением из уже упомянутой статьи про упорядоченные списки.\func SortedList (O : LinearOrder.Dec) => \Sigma (l : List O) (Sorted l)
\data Sorted {A : LinearOrder.Dec} (xs : List A) \elim xs
| nil => nilSorted
| :-: x nil => singletonSorted
| :-: x1 (:-: x2 xs) => consSorted ((x1 = x2) || (x1 < x2)) (Sorted (x2 :-: xs))
Sorted
содержится во вселенной \Prop
. Это произошло потому, что все три образца в определении Sorted
являются взаимно исключающими, а конструктор consSorted
имеет два параметра, оба из которых принадлежат \Prop
. Sorted
, скажем, что хвост упорядоченного списка сам является упорядоченным списком (это свойство пригодится нам в дальнейшем).«Вспоминая, как доброжелательно общались со мной во время обучения, я стараюсь создавать такое же впечатление у посещающих мой курс». Выпускники CS центра, ставшие преподавателями, вспоминают годы учёбы и рассказывают о старте своего преподавательского пути.
До 13 апреля открыт приём анкет на поступление в CS центр. Очное обучение в Санкт-Петербурге и в Новосибирске. Заочное для жителей других городов.
CS центр предлагает очные вечерние курсы студентам и молодым специалистам в Санкт-Петербурге или Новосибирске. Учёба длится два или три года — по выбору студента. Направления: Computer Science, Data Science и Software Engineering. Для жителей других городов мы открыли платное заочное отделение. Занятия онлайн, программа рассчитана на один год.
Студенты CS центра тратят на занятия, домашние задания и проекты от 15 часов в неделю. Занятия проходят по вечерам по будням в БЦ «Таймс» в Санкт-Петербурге и в НГУ в Новосибирске.
Курсы центра не подойдут совсем новичкам: нужны базовые знания математики и программирования даже для самых первых курсов. Посмотрите программу для поступления в центр и попробуйте решить варианты тестов и экзаменов прошлых лет, чтобы подготовиться и чувствовать себя увереннее.
Подробности про тест в письме после заполнения анкеты на сайте.
Поступающие на очное отделение напишут экзамен в конце апреля-начале мая. На выбор будет несколько дат — прошедшие на этот этап выберут самую удобную. Онлайн-экзамен для поступающих на заочное пройдёт в последние выходные апреля.
На собеседовании кураторы и преподаватели CS центра обсуждают с поступающими мотивацию, планы на обучение, информацию из анкеты и задачи по математике и программированию.
Результаты собеседований станут известны в начале августа. Всем, кто успешно справится с этапами отбора, по электронной почте придёт просьба подтвердить своё желание — не пропустите письмо.
Остались вопросы? Мы собрали самые популярные с дней открытых дверей в Санкт-Петербурге и Новосибирске — читайте дальше.