Вторая неделя! И уже прямо всё серьёзно.

Лекция номер 3. Индукция и последовательности. https://calculus.mathbook.info/chapter/label/chap:03:seq/

Наверное, все слышали про математическую индукцию. Тут аккуратно сформулировано, как она работает. Потом обсуждаем последовательности — кто они такие и какими бывают. Заодно доказываем первое нетривиальное утверждение с кванторами. Бонус: теорема Кантора о несчётности множества вещественных чисел.

Видео: https://www.youtube.com/watch?v=ZdSxYyHWlcM — прямо в ходе лекции записать не удалось, пришлось записывать отдельно. Поэтому там нормальный звук 🙂

Задачи: http://math-info.hse.ru/a/2021-22/nes-calculus-1/seminar03.pdf — в основном, про индукцию. Мне особенно нравятся 10-я и 12-я.