Introducción: lógica combinatoria La lógica combinatoria (CL) se basa en cosas llamadas combinadores , que son básicamente funciones. Hay dos combinadores básicos "incorporados" Sy K, que se explicarán más adelante. Asociatividad izquierda CL es asociativo a la izquierda , lo que significa que...
Introducción Kipple es un lenguaje de programación esotérico basado en pila inventado por Rune Berg en marzo de 2003. Kipple tiene 27 pilas, 4 operadores y una estructura de control. Pilas Las pilas se nombran a- zy contienen enteros con signo de 32 bits. También hay una pila especial @, para...
Objetivo: Escriba un programa o función completa que tome una fórmula en lógica proposicional (de aquí en adelante referida como expresión o expresión lógica ) y genere esa fórmula en forma conjuntiva normal . Hay dos constantes, ⊤y ⊥que representa verdadero y falso, un operador unario ¬que...
El rompecabezas original "Blue Eyes" se da aquí (y a continuación). Un grupo de personas con una variedad de colores de ojos viven en una isla. Todos son lógicos perfectos: si una conclusión se puede deducir lógicamente, lo harán al instante. Nadie sabe el color de sus ojos. Todas las noches a...