Алгебра логики, комбинаторика и теория графов 1. Введение в алгебру логики

Просим извинения за качество звука, первые 30 минут он очень плохой Таймкоды: 00:00:00 — Вступление 00:05:29 — Логика 00:11:52 — Высказывания 00:17:24 — Пример высказывания 2 (задача-шутка) 00:22:20 — Логические связки — отрицание, конъюнкция, дизъюнкция, импликация 00:26:43 — Пример логических связок 00:28:36 — Логические связки — эквивалентность и XOR 00:33:10 — Булева функция 00:37:30 — Булева формула 00:39:31 — Приоритет операций 00:43:37 — Равенство булевых функций (фиктивные и существенные переменные) 00:52:28 — Другой способ сравнения булевых функций (тавтология) 00:56:32 — Булевы тождества Дата лекции: 02.09.26 Лектор: Ильинский Дмитрий Геннадьевич Оператор: Озгюр Мадина Мелиса Монтажёр: Абраменко Илья Плейлист на YouTube: https://www.youtube.com/playlist?list=PLFlT7-UkCGeE Плейлист