Las matemáticas tienen muchos símbolos. Algunos pueden decir demasiados símbolos. Así que hagamos un poco de matemáticas con imágenes Vamos a tener un papel, en el que nos basaremos. Para comenzar el papel está vacío, diremos que es equivalente a ⊤⊤\top o ciertocierto\textit{true} . Si escribimos...
El uso de las diez inferencias del Sistema de Deducción Natural prueba las leyes de DeMorgan . Las reglas de la deducción natural Introducción a la negación: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminación de negación: {(¬P → Q), (¬P → ¬Q)} ⊢ P E Introducción: {P, Q} ⊢ P ʌ Q Y eliminación: P ʌ Q ⊢ {P, Q} O...
Dado un nivel de anidamiento de entero positivo ny una cadena sde caracteres ascii imprimibles ( para ~generar un programa que, cuando se ejecuta en el mismo idioma, genera un programa que genera un programa ... que genera la cadena) s. Se ndebe generar un total de programas, todos los cuales se...
Dados enteros positivos, y generan columnas y filas de texto como se describe a continuación.wwww hhhhwwwhhh La primera fila comienza con 11 0s, la segunda fila con 10 1s, la tercera con nueve 2sy así sucesivamente hasta la décima fila con dos 9s. En cada una de estas primeras diez filas,...