Мини - курсы для учебной практики 2025

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД, ПИ

Курс состоит из лекций, простых тестов на проверку материала из лекций, умеренно простых упражнений в домашнем задании и довольно сложных (наверное) доп. заданий.

Онлайн

Планируются лекции:
0) вводная про то, что такое TeX; пара слов про установку (к этой лекции не будет теста и дз);
1) обзор возможностей — понемногу обо всём, чтобы была какая-то стартовая база;
2) математический режим;
3) текст и типографика;
4) обзор популярных пакетов;
5) создание макросов.

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД, ПИ

Пререквизиты: курс дискретной математики первого курса (в частности, производящие функции).
В курсе пойдёт речь об интересной и специфической главе теории графов - теории конечных автоматов. Мы определим формальные языки, их связь с конечными автоматами, определим регулярные языки и дадим ряд примеров. Далее, мы докажем, что язык регулярен тогда и только тогда, когда его производящая функция рациональна. Мы поймём, что делать с важными языками, для которых это не так (спойлер: нужно взять автомат со стеком). Наконец, мы увидим, как формальные грамматики (правила вывода) позволяют вычислять производящие функции языков.

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД, ПИ

В данном курсе речь пойдет о том, как различные топологические инварианты могут быть применены к практическим задачам компьютерного зрения и анализа данных, возникающих в биологии, астрономии и других сферах. Основные понятия, которые мы определим и с которыми мы будем работать, — это симплициальные комплексы и персистентные (устойчивые) гомологии. Гомологии — довольно непростой, на первый взгляд, и тем не менее крайне естественный и интуитивный инвариант алгебраической топологии, который может дать нам важную информацию об облаке точек. В конце мы рассмотрим примеры задач, в решении которых может быть успешно применен TDA.

Онлайн

Будет полезно прохождение какого-либо базового курса топологии (нужно не столь знание конкретных понятий, сколько знакомство с концепцией в целом), курсы алгебры и дискретной математики первого курса.

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД, ПИ

На курсе вы научитесь извлекать из книг информацию, нужную для решения профессиональных задач; отличать
— описательное от воспроизводимого,
— мнения и оценки от работоспособных решений,
— поверхностный пересказ от глубоких оригинальных тезисов.

За 6 недель мы
— расширим профессиональную эрудицию, познакомившись с ~20 книг,
— увеличим скорость работы с информацией,
— освоим навык целенаправленной работы с литературой.

Онлайн

Занятия проходят 1 раз в неделю. На каждом из них вас ждёт
— теоретический минимум,
— разбор домашнего задания,
— задачник на дом — 60 избранных фрагментов из книг на разбор.

Затраты времени на домашнюю работу— около 1 часа чтения в день.
 

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД, ПИ

Мы познакомимся с Гитом (это мой норвич-терьер), узнаем, как git (система контроля версий) устроен под капотом. Пройдём путь от создания репозитория, до разрешения сложных слияний веток.
На практике попробуем несколько типичных сценариев использования git в работе:
будем хотфиксить, откатывать, затирать секретные данные из истории, спасать спутники на орбите
Пост реквизиты: вы должны знать больше команд git, чем Гит и умело их использовать для решения задач, которые встречаются в разработке.

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД, ПИ

Курс сформирован, чтобы затронуть базы данных + сетевые запросы + контейнеризация. В курсе придусмотрена работа с Python

Онлайн

Миникурс можно использовать как превью для тех, кого заинтересует в будущем могут взять курсы компьютерные сети/базы данных

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД

Фуллерены — сферические молекулы углерода, за открытие которых Г.Крото, Р. Смолли и Р.Кёрл получили Нобелевскую премию 1996 года по химии.
Математической моделью фуллерена является трёхмерный выпуклый многогранник, каждая вершина которого лежит принадлежит
трём рёбрам, а каждая грань является пяти- или шестиугольником. Оказывается, математические фуллерены связаны с глубокой математикой.
Например, каждый фуллерен можно реализовать в видя ограниченного прямоугольного многогранника в трёхмерном пространстве Лобачевского,
в частности этот фуллерен замостит всё пространство своими отражениями. Каждый фуллерен допускает гамильтонов цикл — простой рёберный цикл, содержащий
все вершины. По раскраске граней фуллерена в 4 цвета можно построить замкнутое ориентируемое трёхмерное гиперболическое многообразие, а
если раскраска построена по гамильтонову циклу, то на этом многообразии действует инволюция с пространством орбит трёхмерной сферой.
Планируется рассказать несколько сюжетов на эту тему и сформулировать ряд задач и открытых проблем.

Онлайн

Пререквизиты: основы теории графов и трёхмерных многогранников (теорема Штейница, формула Эйлера), знание определения двумерного и трёхмерного многообразия

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД, ПИ

В рамках курса изучим что такое эллиптические кривые и как именно они применяются в криптографии. В рамках курса надо будет пройти контест, где буду задачи на имплантацию шифрования и дешифрования.

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД

В курсе даётся начальное представление о теории случайных процессов. На доступном для студентов первого курса уровне рассказывается об основных понятиях, на которых базируется построение теории. Повествуется об основных видах сходимости, вводимых в вероятностном пространстве, и соответствующих им характеристиках гладкости случайных процессов. Кратко рассматриваются некоторые важные классы случайных процессов – стационарные, гауссовские и марковские. В качестве конкретного примера рассматривается винеровский процесс (или, как его ещё называют, процесс броуновского движения), часто используемый в роли вспомогательного при моделировании реальных стохастических систем. Для восприятия и понимания курса достаточно знания основ математического анализа в рамках программы первого курса университета.

Онлайн

1-е занятие
Знакомство с понятием случайной величины как необходимый предварительный этап при изучении случайных процессов. Интуитивное восприятие и формальное определение. Непрерывные и дискретные случайные величины. Функция распределения случайной величины и – для непрерывных случайных величин – плотность распределения. Числовые характеристики случайных величин. Примеры случайных величин.


2-е занятие
Определение случайного процесса как семейства случайных величин. Понятие выборочной функции случайного процесса. Семейство конечномерных распределений случайного процесса. Математическое ожидание, дисперсия и корреляционная функция случайного процесса. Примеры.


3-е занятие
Виды сходимости в вероятностном пространстве и характеристики гладкости случайного процесса: непрерывность и дифференцируемость случайного процесса в смысле различных типов сходимости (почти наверное, в среднеквадратичном, по вероятности, по распределению). Условия непрерывности и дифференцируемости случайного процесса в среднеквадратичном в терминах его корреляционной функции. Примеры.


4-е занятие
Некоторые важные классы случайных процессов: стационарные, гауссовские, марковские. Винеровский процесс как пример случайного процесса, часто используемого в качестве вспомогательного при моделировании реальных стохастических систем. Некоторые свойства винеровского процесса.

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД, ПИ

В рамках курса, студент изучит основы языка Kotlin и работе с Android SDK. Также получит опыт работы с БД. В результате практики, студент разработает приложение под Android, работающие с TinkoffAPI.

1. Изучить основы работы с SQL.
2. Установить и настроить PostgreSQL
3. Изучить основы работы с Kotlin.
4. Изучить основы работы с Android Studio и Android SDK.

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД

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

1) Введение в глубокое обучение: PyTorch, Основные концепты глубокого обучения, Датасеты, Оптимизаторы, Функции Потерь, Полносвязные\Сверточные\Рекуррентные Сети, Трансформеры, Ведение экспериментов
2) Продвинутые разделы: дополнительные лекции по применению методов глубокого обучения (будет анонсировано позже, но в качестве примера могут быть: звук, nlp, cv, autonomous driving, LLM)

Формат (2 часа в день):
Лекции: Теория, основные архитектуры\алгоритмы\понятия, и т.д.
Семинары: Практика, ноутбуки с кодом, которые обсуждаются с преподавателем

Чат с преподавателем для обсуждения (на Русском)

Пример того, как это выглядит, можно посмотреть тут: https://github.com/LauzHack/deep-learning-bootcamp
Прохождения курса достаточно для написания интересных курсовых работ на втором курсе, примеры тут: https://blinorot.github.io/teaching/#Supervision

Онлайн

1) Лекции будут на английском -- необходимо знать английский на достаточном для понимания на слух уровне
2) Основы линейной алгебры, мат. анализа, Python и Numpy (можно изучить данный ноутбук: https://github.com/LCAV/COM202/blob/main/01-warmup/lab1.ipynb)
3) Мотивация и желание
4) Ведется онлайн

1 курс ПМИ, КНАД, ДРИП и 2 курс ПАД

Этот курс позволит тебе сделать первые шаги в функциональном программировании и познакомиться с основами интерактивного доказательства теорем на примере языка Coq. В результаты ты узнаешь, как ассистенты математичеcких доказательств могут помочь разработчикам писать код, который гарантированно удовлетворяет требованиям.

Онлайн

Курс состоит из трех лекций и трех домашних заданий. Пререквизит: опыт программирования на одном из высокоуровневых статически типизированных языков (например: C++, Java, Kotlin, C#, Haskell).