Booleova algebra: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
m Editace uživatele 178.17.3.51 (diskuse) vráceny do předchozího stavu, jehož autorem je JAnDbot |
||
Řádek 1:
'''Booleova algebra''' je [[algebraická struktura]], která modeluje vlastnosti [[množina|množinových]] a [[logika|logických]] operací. Je nazvána podle irského matematika [[George Boole]]a. Klíčový význam mají Booleovy algebry také pro metodu [[forsing]]u.
== Formální definice ==
| |||