Índice
4 relações: Duplo fatorial, Ponto de exclamação, Tradução da dupla negação, Unicode.
Duplo fatorial
Em matemática, o produto de todos inteiros de 1 até algum inteiro não negativo n que tem a mesma paridade de n é chamado de duplo fatorial ou semifatorial de n e é denotado por n!!.
Ponto de exclamação
O ponto de exclamação ou ponto de admiração (!), é um sinal de pontuação normalmente utilizado após uma interjeição ou no fim de uma frase.
Tradução da dupla negação
Na teoria da prova, uma disciplina dentro da lógica matemática, tradução da dupla-negação, às vezes chamada de tradução negativa, é uma abordagem geral para a incorporação da lógica clássica na lógica intuicionista, normalmente através da tradução de fórmulas para fórmulas que são classicamente equivalentes, mas intuicionisticamente não equivalentes.
Ver !! e Tradução da dupla negação
Unicode
Unicode é um padrão que permite aos computadores representar e manipular, de forma consistente, texto de qualquer sistema de escrita existente.
Ver !! e Unicode