dbpedia > boolean

formatos disponibles

Ordenar por

Fecha
Popularidad

visualización

Listado Compacto
Listado
Mosaico

Encontrar

Definición

Algebraic logic

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.What is now usually called classical algebraic logic focuses on the identification and al ...

Me gusta 0
Visitas 7
Comentarios 0

Equipo Didactalia

Seguir

Científico

Haim Gaifman

Haim Gaifman is a mathematician and philosopher at Columbia University. He received his Ph.D. under Alfred Tarski (on infinite Boolean algebras). He worked on a broad spectrum in mathematical logic (m ...