Algebra logiky

Algebra logiky je systém matematickej logiky vypracovaný G. Boolom, časť  matematickej logiky založená na použití algebrických metód pri skúmaní logickych objektov - tried, výrokov a i.  Systematizátorom algebry logiky je E. Schröder.

 Externé odkazy 


Kategória:Logika
Kategória:Algebra