Лекция 4. Алгебраические системы. Булева алгебра и её экземплификации
- 00:16Алгебраические системы: алгебры и модели
- 13:20Абстрактные и конкретные алгебраические системы
- 18:05Булева алгебра
- 31:49Алгебра множеств
- 40:22Алгебра истины и лжи
- 43:38Алгебра Линденбаума-Тарского
- 57:21Отношение частичного порядка в булевой алгебре