Acesso mais rápido do que o navegador!
15 relações: Arquivo binário, Brainfuck, Bzip2, C (linguagem de programação), Cálculo lambda, Codificação de Church, Complexidade de Kolmogorov, Constante de Chaitin, Estrutura de seleção, Gregory Chaitin, Gzip, Haskell (linguagem de programação), Lisp, Máquina de Turing, Quine (informática).
Arquivo binário
Um arquivo binário é todo arquivo de computador que não está em formato texto.
Novo!!: Cálculo lambda binário e Arquivo binário · Veja mais »
Brainfuck
brainfuck, também conhecido como brainf*ck ou BF, é uma linguagem de programação esotérica notada pelo seu extremo minimalismo, criada por Urban Müller, em 1993.
Novo!!: Cálculo lambda binário e Brainfuck · Veja mais »
Bzip2
bzip2 é um algoritmo e um software compactador de arquivos.
Novo!!: Cálculo lambda binário e Bzip2 · Veja mais »
C (linguagem de programação)
C é uma linguagem de programação compilada de propósito geral, estruturada, imperativa, procedural, padronizada pela Organização Internacional para Padronização (ISO), criada em 1972 por Dennis Ritchie na empresa AT&T Bell Labs para desenvolvimento do sistema operacional Unix (originalmente escrito em Assembly).
Novo!!: Cálculo lambda binário e C (linguagem de programação) · 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!!: Cálculo lambda binário e Cálculo lambda · Veja mais »
Codificação de Church
Em matemática, a codificação de Church é uma forma de incorporar dados e operadores ao cálculo lambda, a forma mais conhecida dos numerais de Church, uma representação dos números naturais usando a notação lambda.
Novo!!: Cálculo lambda binário e Codificação de Church · Veja mais »
Complexidade de Kolmogorov
A complexidade de Kolmogorov é uma teoria da informação e da aleatoriedade, profunda e sofisticada, que trata da quantidade de informação de objetos individuais, medida através do tamanho de sua menor descrição algorítmica.
Novo!!: Cálculo lambda binário e Complexidade de Kolmogorov · Veja mais »
Constante de Chaitin
Em ciência da computação, na sub-área de teoria da informação algorítmica, a constante de Chaitin (número Ômega de Chaitin) ou probabilidade de parada é um número real que informalmente representa a probabilidade de que um programa construído de forma aleatória irá parar.
Novo!!: Cálculo lambda binário e Constante de Chaitin · Veja mais »
Estrutura de seleção
Na ciência da computação, estrutura de seleção (ou expressão condicional, ou construção condicional, ou função se-então-senão) é uma estrutura de desvio do fluxo de controle presente em linguagens de programação que realiza diferentes ações/computações dependendo se a condição/seleção é verdadeira ou falsa, em que a expressão é processada e transformada em um valor booleano.
Novo!!: Cálculo lambda binário e Estrutura de seleção · Veja mais »
Gregory Chaitin
Gregory John Chaitin é um matemático e cientista da computação argentino-estadunidense.
Novo!!: Cálculo lambda binário e Gregory Chaitin · Veja mais »
Gzip
gzip é tanto um software para compactação de arquivos que serve de implementação de referência quanto o formato do arquivo compactado que este gera.
Novo!!: Cálculo lambda binário e Gzip · Veja mais »
Haskell (linguagem de programação)
Haskell é uma linguagem de programação puramente funcional, de propósito geral, nomeada em homenagem ao lógico Haskell Curry.
Novo!!: Cálculo lambda binário e Haskell (linguagem de programação) · Veja mais »
Lisp
Lisp é uma família de linguagens de programação concebida por John McCarthy em 1958.
Novo!!: Cálculo lambda binário e Lisp · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Cálculo lambda binário e Máquina de Turing · Veja mais »
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.
Novo!!: Cálculo lambda binário e Quine (informática) · Veja mais »
