Introdução: Lógica Combinatória A lógica combinatória (CL) é baseada em coisas chamadas combinadores , que são basicamente funções. Existem dois combinadores "internos" básicos Se K, que serão explicados mais adiante. Associatividade esquerda CL é associativo à esquerda , o que significa que...
Introdução Kipple é uma linguagem de programação esotérica baseada em pilha inventada por Rune Berg em março de 2003. O Kipple possui 27 pilhas, 4 operadores e uma estrutura de controle. Pilhas As pilhas são nomeadas a- ze contêm números inteiros assinados de 32 bits. Há também uma pilha...
Objetivo: Escrever um programa completo ou função que tem uma fórmula em lógica proposicional (daqui em diante referido como uma expressão lógica ou expressão ) e saídas que a fórmula na forma normal conjuntiva . Há duas constantes, ⊤e ⊥que representa o verdadeiro eo falso, um operador unário...
O quebra-cabeça "Olhos Azuis" original é dado aqui (e abaixo). Um grupo de pessoas com cores variadas vive em uma ilha. Todos eles são lógicos perfeitos - se uma conclusão puder ser deduzida logicamente, eles farão isso instantaneamente. Ninguém sabe a cor dos seus olhos. Todas as noites à...