Quine (informática)

Em informática, um quine é um programa que produz seu código fonte como sua saída única, ou seja, a resultado de um programa quine é o próprio código fonte do programa.

7 relações: Autorreferência, Cálculo lambda binário, Metaprogramação, Paradoxo de Quine, Quine, Teorema da recursividade de Kleene, Willard van Orman Quine.

Autorreferência

Autorreferência é um fenômeno em língua natural ou linguagem formal que consiste de uma oração ou fórmula que refere-se a si mesma diretamente ou através de alguma oração ou fórmula intermediária, ou por meio de alguma codificação.

Novo!!: Quine (informática) e Autorreferência · Veja mais »

Cálculo lambda binário

Cálculo lambda binário, do inglês binary lambda calculus (BLC), é uma técnica que utiliza o cálculo lambda para estudar a complexidade de Kolmogorov através de uma codificação binária de termos lambda, e o uso de máquina universal.

Novo!!: Quine (informática) e Cálculo lambda binário · Veja mais »

Metaprogramação

Metaprogramação é a programação de programas que escrevem ou manipulam outros programas (ou a si próprios) assim como seus dados, ou que fazem parte do trabalho em tempo de compilação.

Novo!!: Quine (informática) e Metaprogramação · Veja mais »

Paradoxo de Quine

O Paradoxo de Quine, é um paradoxo que diz respeito a valores verdade, atribuido a Willard Van Orman Quine.

Novo!!: Quine (informática) e Paradoxo de Quine · Veja mais »

Quine

*Willard van Orman Quine.

Novo!!: Quine (informática) e Quine · Veja mais »

Teorema da recursividade de Kleene

Em teoria da computabilidade, o teorema da recursão de Kleene é um par de resultados fundamentais sobre a aplicação de funções computáveis para suas próprias descrições.

Novo!!: Quine (informática) e Teorema da recursividade de Kleene · Veja mais »

Willard van Orman Quine

Willard Van Orman Quine (Akron, — Boston), usualmente citado como Quine, mas conhecido por seus amigos e familiares como Van, foi um dos mais influentes matemáticos, filósofos e lógicos norte-americanos do século XX, considerado o maior lógico e filósofo analítico da segunda metade desse século.

Novo!!: Quine (informática) e Willard van Orman Quine · 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