Tieteen termipankki
fi algebrallinen logiikka; looginen algebra
määritelmä
algebrallinen systeemi tai teoria, joka muodostetaan tarkoituksena soveltaa sitä loogiseen analyysiin
algebrallinen systeemi tai teoria, joka muodostetaan tarkoituksena soveltaa sitä loogiseen analyysiin
selite
Algebrallinen logiikka syntyi 1800-luvun puolivälissä, kun Georg Boole (1815-1864) esitti, että traditionaalisen logiikan ja algebrallisten laskutoimitusten ja yhtälöiden välille voidaan rakentaa analogia, jonka avulla traditionaalista logiikkaa voidaan laajentaa niin, että se pystyy kuvaamaan paremmin matemaattisia todistuksia. Algebrallisen logiikan synty merkitsi vähittäistä siirtymää traditionaalisesta logiikasta moderniin matemaattiseen logiikkaan.
Algebrallinen logiikka syntyi 1800-luvun puolivälissä, kun Georg Boole (1815-1864) esitti, että traditionaalisen logiikan ja algebrallisten laskutoimitusten ja yhtälöiden välille voidaan rakentaa analogia, jonka avulla traditionaalista logiikkaa voidaan laajentaa niin, että se pystyy kuvaamaan paremmin matemaattisia todistuksia. Algebrallisen logiikan synty merkitsi vähittäistä siirtymää traditionaalisesta logiikasta moderniin matemaattiseen logiikkaan.
Luokitus: |
| |||
Lähde: |
|
Käsitteet samalla hierarkiatasolla: traditionaalinen logiikka