cylindrisk algebra
cylindrisk algebra, inom matematisk logik en typ av algebraisk struktur som bygger på boolesk algebra.
Den infördes av Alfred Tarski med syftet att till predikatlogiken generalisera användandet av boolesk algebra inom satslogiken.
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.