Математическая логика и теория алгоритмов 2. Формулы

Первый семинар по подготовке к к/р пропущен. К сожалению, в один момент отключилась камера, но записывался звук. Таймкоды: 00:00:00 - Определения 00:03:13 - Задача Т3 00:05:48 - Камеру починили 00:16:25 - Задача Т4 00:40:44 - СКНФ и СДНФ 00:49:25 - Задача Т5 01:05:34 - Задача 4 01:10:45 - Подводка к задаче 5 Дата лекции: 21.09.26 Лектор: Евстигнеев Георгий Дмитриевич Оператор: Крещик Владимир Монтажёр: Тютрин Данила Плейлист на YouTube: https://www.youtube.com/playlist?list=PLINi21YisaO0 Плейлист