Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Faça o download
Acesso mais rápido do que o navegador!
 

Completude funcional

Índice Completude funcional

Em lógica, um grupo de conectivos ou operadores Booleanos.

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 »

CessanteEntrada
Ei! Agora estamos em Facebook! »