7 relações: Álgebra booliana, Cambridge University Press, Charles Sanders Peirce, Henry M. Sheffer, Isomorfismo, Lógica, Operador lógico.
Álgebra booliana
Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações",Edward R. Scheinerman.
Novo!!: Completude funcional e Álgebra booliana · Veja mais »
Cambridge University Press
Cambridge University Press é uma editora britânica, fundada em 1534 com o aval do rei Henrique VIII para a Universidade de Cambridge, sendo a editora mais antiga do mundo em operação contínua e a segunda maior editora universitária do mundo.
Novo!!: Completude funcional e Cambridge University Press · Veja mais »
Charles Sanders Peirce
Charles Sanders Peirce (Cambridge, 10 de setembro de 1839 — Milford 19 de abril de 1914) foi um filósofo, pedagogista, cientista, linguista e matemático americano.
Novo!!: Completude funcional e Charles Sanders Peirce · Veja mais »
Henry M. Sheffer
Henry Maurice Sheffer (1882 — 1964) foi um lógico estado-unidense.
Novo!!: Completude funcional e Henry M. Sheffer · Veja mais »
Isomorfismo
Na álgebra abstrata, um isomorfismo é um homomorfismo bijetivo.
Novo!!: Completude funcional e Isomorfismo · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Completude funcional e Lógica · Veja mais »
Operador lógico
Operador lógico, assim como um operador aritmético, é uma classe de operação sobre variáveis ou elementos pré-definidos.
Novo!!: Completude funcional e Operador lógico · Veja mais »