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

Variáveis livres e ligadas

Índice Variáveis livres e ligadas

Em programação de computadores, uma variável livre é uma variável referenciada em uma função, que não é nem uma variável local nem um argumento daquela função.

19 relações: Atribuição (lógica), Cálculo lambda, Ciência da computação, Constante (programação), Expressão matemática, Fórmula (lógica), Formulário, Função computável, Lógica de primeira ordem, Lógica matemática, Linguagem formal, Matemática, Notação, Operador lógico, Programação de computadores, Quantificação, Semântica, Sintaxe, Tabela-verdade.

Atribuição (lógica)

Atribuição pode ser visto como uma noção auxiliar, um passo importante na busca de definir formalmente o conceito de verdade (por exemplo para as teorias de primeira ordem).

Novo!!: Variáveis livres e ligadas e Atribuição (lógica) · Veja mais »

Cálculo lambda

Na lógica matemática e na ciência da computação, lambda cálculo, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição.

Novo!!: Variáveis livres e ligadas e Cálculo lambda · Veja mais »

Ciência da computação

A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.

Novo!!: Variáveis livres e ligadas e Ciência da computação · Veja mais »

Constante (programação)

Em linguagens de programação, constantes são usadas em expressões para representar vários tipos de valores.

Novo!!: Variáveis livres e ligadas e Constante (programação) · Veja mais »

Expressão matemática

Expressão matemática é uma combinação de números, operadores, variáveis livres ou ligadas e símbolos gráficos (como colchetes e parênteses), agrupados de forma significativa de modo a permitir a verificação de valores, formas, meios ou fins.

Novo!!: Variáveis livres e ligadas e Expressão 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!!: Variáveis livres e ligadas e Fórmula (lógica) · Veja mais »

Formulário

Formulário é um documento pré-impresso onde são preenchidos os dados e informações, que permite a formalização das comunicações, o registro e o controle das atividades das organizações, como empresas ou instituições estatais.

Novo!!: Variáveis livres e ligadas e Formulário · Veja mais »

Função computável

Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.

Novo!!: Variáveis livres e ligadas e Função computável · 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!!: Variáveis livres e ligadas e Lógica de primeira ordem · Veja mais »

Lógica matemática

A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.

Novo!!: Variáveis livres e ligadas e Lógica matemática · Veja mais »

Linguagem formal

Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.

Novo!!: Variáveis livres e ligadas e Linguagem formal · Veja mais »

Matemática

problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.

Novo!!: Variáveis livres e ligadas e Matemática · Veja mais »

Notação

*Notação matemática.

Novo!!: Variáveis livres e ligadas e Notação · 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!!: Variáveis livres e ligadas e Operador lógico · Veja mais »

Programação de computadores

coloração de sintaxe e indentação de código. Programação é o processo de escrita, teste e manutenção de um programa de computador.

Novo!!: Variáveis livres e ligadas e Programação de computadores · Veja mais »

Quantificação

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

Novo!!: Variáveis livres e ligadas e Quantificação · Veja mais »

Semântica

Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.

Novo!!: Variáveis livres e ligadas e Semântica · Veja mais »

Sintaxe

Sintaxe (pronúncia no) (do grego clássico σύνταξις "estrutura", de σύν, transl. syn, "mais", e τάξις, transl. táxis, "classe") é o estudo das regras que regem a construção de frases nas línguas naturais.

Novo!!: Variáveis livres e ligadas e Sintaxe · Veja mais »

Tabela-verdade

Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.

Novo!!: Variáveis livres e ligadas e Tabela-verdade · Veja mais »

Redireciona aqui:

Variaveis livres e ligadas, Variavel ligada, Variavel livre, Variavel muda, Variável ligada, Variável livre, Variável muda.

CessanteEntrada
Ei! Agora estamos em Facebook! »