Algebra logiky
Z Wikipédie
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
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok