Liame

Em Lógica, um liame é um sinal alternativo que pode ser usado no lugar de variáveis quantificadas, a fim de evitar que estas sejam usadas tanto para denotar objetos do universo de discurso como para expressar quantificação, o que pode dar margem a confusões em instanciações mal feitas de variáveis por termos, quando ocorrências de variáveis originalmente livres passam a ser ligadas no resultado da instanciação.

5 relações: Lógica, Nicolas Bourbaki, Quantificação, Universo de discurso, Variável.

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!!: Liame e Lógica · Veja mais »

Nicolas Bourbaki

J. Delsarte) Nicolas Bourbaki é o pseudónimo colectivo sob o qual um grupo de matemáticos, majoritariamente franceses, escreveu uma série de livros que expunha a matemática avançada moderna, que começaram a ser editados em 1935.

Novo!!: Liame e Nicolas Bourbaki · Veja mais »

Quantificação

O termo Quantificação tem vários significados, gerais e específicos.

Novo!!: Liame e Quantificação · Veja mais »

Universo de discurso

O domínio de discurso, também chamado de universo de discurso ou domínio de quantificação, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados.

Novo!!: Liame e Universo de discurso · Veja mais »

Variável

* Variável (estatística) - atributo, mensurável ou não, sujeito à variação quantitativa ou qualitativa, no interior de um conjunto.

Novo!!: Liame e Variável · Veja mais »

Unionpédia é um mapa conceitual ou rede semântica organizado sob a forma de enciclopédia - dicionário. Dá uma breve definição de cada conceito e toda a sua relacionados.

É um mapa mental on-line gigante que serve de base para os diagramas de conceito. É livre para usar e cada artigo ou documento pode ser baixado. É uma ferramenta, de recursos ou de referência para estudo, pesquisa, educação, ou formação, eles podem usar professores, educadores, alunos e estudantes; ou para o mundo acadêmico: para a escola, primário, secundário, médio, faculdade, grau técnico, universidade, graduação, mestrado ou doutorado; para papéis, relatórios, documentos, projetos, idéias, documentação, resumos, pesquisas ou teses. Aqui aparece a definição, explicação, descrição, ou o significado de cada significativa no qual você precisa de informações e uma lista de seus conceitos associados como um glossário. Disponível em português, inglês, espanhol, japonês, chinês, francês, alemão, italiano, polonês, holandês, russo, árabe, hindi, sueco, ucraniano, húngaro, catalão, checo, hebraico, dinamarquês, finlandês, indonésio, norueguês, romeno, turco, vietnamita, coreano, tailandês, grego, búlgaro, croata, eslovaco, lituano, filipino, letão, estoniano e esloveno. Mais idiomas em breve.

Todas as informações foi feita a partir de Wikipédia, é disponibilizado nos termos da licença Creative Commons - Atribuição - Compartilha Igual 3.0 Não Adaptada (CC BY-SA 3.0).

A Unionpédia não é endossada ou afiliada à Wikimedia Foundation.

Google Play, Android e o logotipo do Google Play são marcas registradas da Google Inc.

Política de Privacidade