Acesso mais rápido do que o navegador!
12 relações: Análise sintática (computação), Cálculo lambda binário, Complexidade de Kolmogorov, Digital object identifier, Formalismo de Backus-Naur, Iota e Jot, Lógica combinatória, Mathematical Reviews, Semântica denotacional, Semântica operacional, Sistema de redução, Turing completude.
Análise sintática (computação)
árvore da expressão Em ciência da computação e linguística, a análise sintática (do inglês: parsing) é um processo de um compilador (de uma linguagem de programação), é a segunda fase da compilação onde se analisa uma sequência que foi dada entrada (via um arquivo de computador ou via teclado, por exemplo) para verificar sua estrutura gramatical segundo uma determinada gramática formal.
Novo!!: Lógica combinatória binária e Análise sintática (computação) · 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!!: Lógica combinatória binária e Cálculo lambda binário · 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!!: Lógica combinatória binária e Complexidade de Kolmogorov · Veja mais »
Digital object identifier
Digital object identifier (DOI) é um padrão para identificação de documentos em redes de computadores, como a Internet.
Novo!!: Lógica combinatória binária e Digital object identifier · Veja mais »
Formalismo de Backus-Naur
O Formalismo de Backus-Naur (BNF, do inglês Backus-Naur Form ou Backus Normal Form) é uma metassintaxe usada para expressar gramáticas livres de contexto, isto é, um modo formal de descrever linguagens formais.
Novo!!: Lógica combinatória binária e Formalismo de Backus-Naur · Veja mais »
Iota e Jot
Iota e sua sucessora Jot (do idioma grego iota, hebraico Yodh, as menores letras nesses dois alfabetos) são linguagens de programação esotéricas, Turing tarpits que são projetadas para ser tão pequenas quanto possível, mas ainda assim Turing completa.
Novo!!: Lógica combinatória binária e Iota e Jot · 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!!: Lógica combinatória binária e Lógica combinatória · Veja mais »
Mathematical Reviews
Mathematical Reviews ("revisões matemáticas") é uma revista publicado pela American Mathematical Society (AMS) que contém breves sinopses e, em alguns casos avaliações, de muitos artigos em matemática, estatística e teoria da computação.
Novo!!: Lógica combinatória binária e Mathematical Reviews · Veja mais »
Semântica denotacional
Semântica denotacional designa uma abordagem de semântica formal.
Novo!!: Lógica combinatória binária e Semântica denotacional · Veja mais »
Semântica operacional
Semântica operacional é uma das abordagens de semântica formal, em que o significado de uma construção da linguagem é especificado pela computação que ela induz quando executada em uma máquina hipotética.
Novo!!: Lógica combinatória binária e Semântica operacional · Veja mais »
Sistema de redução
Em matemática um sistema de redução é um sistema onde termos podem ser reescritos usando uma lista finita, ou infinita, de regras de reescrita Exemplos de sistemas de redução incluem sistemas de reescrita de cadeias de caractere, sistemas de reescrita de termos, cálculo lambda sob conversão lambda e sistemas de redução combinatória.
Novo!!: Lógica combinatória binária e Sistema de redução · 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!!: Lógica combinatória binária e Turing completude · Veja mais »
