Algebra logiky

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.