14 relações: Brainfuck, Cálculo lambda, Ciência da computação, Goto (programação), Italianos, Lógica combinatória, Linguagem de programação esotérica, Máquina de Turing, Milão, P′′, Programação estruturada, Programação funcional, Roma, Turing completude.
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!!: Corrado Böhm e Brainfuck · 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!!: Corrado Böhm 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!!: Corrado Böhm e Ciência da computação · Veja mais »
Goto (programação)
O comando goto (do inglês go to, em português ir para) é uma estrutura de controle para salto de instruções.
Novo!!: Corrado Böhm e Goto (programação) · Veja mais »
Italianos
Os italianos são uma etnia da Europa Ocidental, primariamente associados à língua italiana.
Novo!!: Corrado Böhm e Italianos · Veja mais »
Lógica combinatória
Lógica combinatória é uma notação introduzida por Moses Schönfinkel e Haskell Curry para eliminar a necessidade de variáveis em lógica matemática.
Novo!!: Corrado Böhm e Lógica combinatória · Veja mais »
Linguagem de programação esotérica
Linguagem de programação esotérica (ou esolang) é uma linguagem de programação projetada para testar os limites dos projetos de linguagem de computadores, como uma aplicação da teoria, ou como uma brincadeira destinada a mostrar como algo não deve ser feito.
Novo!!: Corrado Böhm e Linguagem de programação esotérica · 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!!: Corrado Böhm e Máquina de Turing · Veja mais »
Milão
Milão (em milanês: Milan) é uma comuna italiana, capital da região da Lombardia, província de Milão, com cerca de habitantes.
Novo!!: Corrado Böhm e Milão · Veja mais »
P′′
P′′ é uma linguagem de programação primitiva criada por Corrado Böhm em 1964 para descrever uma família de Máquinas de Turing.
Novo!!: Corrado Böhm e P′′ · Veja mais »
Programação estruturada
Programação Estruturada (PE) é um padrão ou paradigma de programação da engenharia de softwares, com ênfase em sequência, decisão e, iteração (sub-rotinas, laços de repetição, condicionais e, estruturas em bloco), criado no final de 1950 junto às linguagens ALGOL 58 e ALGOL 60, Este paradigma é normalmente formado por código em um único bloco e foi impulsionado pelas vantagens práticas que o paradigma oferece, e também pelo '' (de 1966, também chamado de teorema de Böhm-Jacopini) e a carta aberta de Dijkstra 'Go To Statement Considered Harmful' (de 1968).
Novo!!: Corrado Böhm e Programação estruturada · Veja mais »
Programação funcional
Em ciência da computação, programação funcional é um paradigma de programação que trata a computação como uma avaliação de funções matemáticas e que evita estados ou dados mutáveis.
Novo!!: Corrado Böhm e Programação funcional · Veja mais »
Roma
Roma (Roma) é a capital da Itália e também da região do Lácio, além de ser o centro da Cidade Metropolitana de Roma e de uma comuna especial.
Novo!!: Corrado Böhm e Roma · Veja mais »
Turing completude
Na teoria da computação, a completude de Turing ou Turing-completo (do inglês: Turing-completeness; batizado em memória de Alan Turing), também chamado computacionalmente universal, é um conjunto de regras para manipulação de dados (semelhante a uma linguagem de programação, um autómato celular, um conjunto de instruções) que pode ser usado para resolver qualquer problema de computação (simula a lógica de qualquer algoritmo de computador).
Novo!!: Corrado Böhm e Turing completude · Veja mais »