Acesso mais rápido do que o navegador!
10 relações: Alfred Tarski, Aridade, Assinatura (lógica), Axiomas de Zermelo-Fraenkel, Conjunto, Constante matemática, Fórmula (lógica), Igualdade matemática, Lógica de primeira ordem, Teoria dos tipos.
Alfred Tarski
Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, — Berkeley, Estados Unidos) foi um lógico, matemático e filósofo polonês.
Novo!!: Símbolo não lógico e Alfred Tarski · Veja mais »
Aridade
Na matemática a aridade de uma função ou operação é o número de argumentos ou operandos tomados.
Novo!!: Símbolo não lógico e Aridade · Veja mais »
Assinatura (lógica)
Na lógica matemática, uma assinatura compreende o conjunto de símbolos não-lógicos que caracteriza uma linguagem formal.
Novo!!: Símbolo não lógico e Assinatura (lógica) · Veja mais »
Axiomas de Zermelo-Fraenkel
Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell.
Novo!!: Símbolo não lógico e Axiomas de Zermelo-Fraenkel · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Símbolo não lógico e Conjunto · Veja mais »
Constante matemática
Na matemática, uma constante é um valor fixo que pode ou não ser especificado.
Novo!!: Símbolo não lógico e Constante matemática · Veja mais »
Fórmula (lógica)
Na lógica matemática, uma fórmula é uma representação de uma proposição dentro de uma certa linguagem formal.
Novo!!: Símbolo não lógico e Fórmula (lógica) · Veja mais »
Igualdade matemática
Dois objetos matemáticos são iguais se e somente se são precisamente o mesmo em todo caminho.
Novo!!: Símbolo não lógico e Igualdade matemática · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Símbolo não lógico e Lógica de primeira ordem · Veja mais »
Teoria dos tipos
Teoria dos tipos é o ramo da matemática e da lógica que se preocupa com a classificação de entidades em conjuntos chamados tipos.
Novo!!: Símbolo não lógico e Teoria dos tipos · Veja mais »
Redireciona aqui:
Símbolo não-lógico, Símbolos não lógicos, Símbolos não-lógicos.
