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 upraviť
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
|
Tento článok je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |