Лекция 2.
Введение в математическую логику. https://calculus.mathbook.info/chapter/label/chap:02:logic/

Лекция без картинок. Мы начинаем с безобидного исчисления высказываний (и булевой алгебры) и заканчиваем уже внушительно выглядящими формулами с кванторами и предикатами. Дальше мы будем постоянно использовать введённый здесь математический язык, так что это, в некотором смысле, самая важная лекция.

Семинарский листок: http://math-info.hse.ru/a/2021-22/nes-calculus-1/seminar02.pdf — вы не можете считать, что поняли материал про кванторы, до тех пор, пока не решили все задачи из этого листка (ну кроме задач под звёздочкой).

Видео пока нет, но будет.

Хороших выходных!