Маркин В.И. - Алгебра логики - 4. Алгебраические системы. Булева алгебра и её экземплификации

Алгебраические системы. Булева алгебра и её экземплификации Маркин Владимир Ильич 00:16 Алгебраические системы: алгебры и модели 13:20 Абстрактные и конкретные алгебраические системы 18:05 Булева алгебра 31:49 Алгебра множеств 40:22 Алгебра истины и лжи 43:38 Алгебра Линденбаума-Тарского 57:21 Отношение частичного порядка в булевой алгебре Ссылка на плейлист Teach-in: https://teach-in.ru/course/Algebra_logiki Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLPqoIJyYW4gw Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_910 Ссылка на плейлист RuTube: https://rutube.ru/plst/1827010