Preguntas etiquetadas con logic

19
Conjuntos de base para cálculo combinador

Es bien sabido que los combinadores S y K forman una base para el cálculo del combinador, en el sentido de que todos los demás combinadores pueden expresarse en términos de ellos. También está la base B, C, K, W de Curry, que tiene la misma propiedad. Debe haber un número infinito de tales bases,...

14
Razón para aprender lógica proposicional y predicada

Puedo entender la importancia de que los informáticos o cualquier ingeniero relacionado con el desarrollo de software deberían haber entendido el estudio de la lógica básica como base. Pero, ¿hay tareas / trabajos que requieran explícitamente el conocimiento sobre estos, aparte de las tareas que...

13
¿Prueba si una prueba arbitraria es circular?

Estaba pensando en pruebas y me encontré con una observación interesante. Por lo tanto, las pruebas son equivalentes a los programas a través del isomorfismo de Curry-Howard, y las pruebas circulares corresponden a una recursión infinita. Pero sabemos por el problema de detención que, en general,...