Кандидат наук Мусатов о курсе ЛОГИКИ

Математическая Логика и Теория Алгоритмов -- что это и зачем? Рассказывает лектор ФПМИ МФТИ Даниил Владимирович Мусатов.
1 семестр - https://youtube.com/playlist?list=PL4_hYwCyhAvZ9C-JuReSpZqTnCmF98hdE
2 семестр - https://youtube.com/playlist?list=PL4_hYwCyhAvYLl1VsA8JGQkrxg0Ll2D9J

Книги:
Н. К. Верещагин, А. Шень
НАЧАЛА ТЕОРИИ МНОЖЕСТВ - https://www.mccme.ru/free-books/shen/shen-logic-part1-5ed.pdf
ЯЗЫКИ И ИСЧИСЛЕНИЯ - https://www.mccme.ru/free-books/shen/shen-logic-part2-5ed.pdf
ВЫЧИСЛИМЫЕ ФУНКЦИИ - https://www.mccme.ru/free-books/shen/shen-logic-part3-5ed.pdf
00:00 - Интро
00:27 - Представление лектора
00:51 - Зачем студентам логика?
03:49 - О красивых теоремах и доказательствах в рамках курса
09:22 - Подробнее о принципе трансфинитной индукции
10:50 - О приложениях матлогики и применимости материала курса
14:40 - Полезная и интересная литература
16:43 - За что любить логику?
17:42 - Напутственные слова сдающим экзамен
Интервьюер: Юрий Маркелов
Оператор: Игорь Жильцов
Модель на тестовой записи: Ирина Жулябина
Монтажер: Дарья Зенина

Видео Кандидат наук Мусатов о курсе ЛОГИКИ канала Лекторий ФПМИ