| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Структурная теория доказательств и алгебраическая логика
|
|||
|
|
|||
|
Лекция 7: Булевы алгебры и булевы кольца С. О. Сперанский Математический институт им. В.А. Стеклова Российской академии наук, г. Москва |
|||
|
Аннотация: Мы докажем ряд полезных фактов о булевых алгебрах. В частности, будет установлена тесная связь между выводимостью формул в пропозициональной классической логике и истинностью тождеств в классе всех булевых алгебр. Далее, мы покажем, что булевы алгебры можно воспринимать как особого рода кольца, которые называют булевыми, или идемпотентными. |
|||
