Preguntas etiquetadas con proof-golf

Todos sabemos que (con suerte), pero ¿puedes probarlo?( - a ) × ( - a ) = a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a Su tarea es probar este hecho utilizando los axiomas del anillo. ¿Cuáles son los axiomas del anillo? Los axiomas de anillo son una lista …

121 math  atomic-code-golf  abstract-algebra  proof-golf 

Bueno, creo que ya es hora de que tengamos otra pregunta de prueba de golf . Esta vez vamos a demostrar la conocida verdad lógica ( A → B ) → ( ¬ B → ¬ A )(UNA→si)→(¬si→¬UNA)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Para hacer esto, utilizaremos …

38 logic  proof-golf 

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 otras cosas en el …

22 math  logic  proof-golf 

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 …

21 code-golf  recursion  code-golf  kolmogorov-complexity  board-game  code-golf  number-theory  polynomials  code-golf  code-golf  array-manipulation  polyglot  alphabet  answer-chaining  code-golf  sequence  math  atomic-code-golf  abstract-algebra  proof-golf  code-golf  internet  code-golf  internet  code-golf  ascii-art  kolmogorov-complexity  code-golf  math  ascii-art  number  integer  code-golf  decision-problem  binary-matrix  code-golf  number  sequence  number-theory  code-golf  math  decision-problem  matrix  abstract-algebra  code-golf  string  keyboard  code-golf  fractal  code-golf  math  sequence  combinatorics  hello-world  vim  code-golf  sequence  code-golf  graphical-output  image-processing  code-golf  decision-problem  matrix  linear-algebra  code-golf  ascii-art  code-golf  math  code-golf  ascii-art  graphical-output  code-golf  string  code-golf  string  substitution  code-golf  string  ascii-art  code-golf  arithmetic  code-golf  number  array-manipulation  decision-problem  code-golf  kolmogorov-complexity  code-generation  fractal  code-golf  ascii-art  kolmogorov-complexity  code-golf  ascii-art  code-golf  string  array-manipulation  code-golf  music  code-golf  array-manipulation  code-golf  internet  stack-exchange-api  math  fastest-algorithm  code-golf  binary  bitwise  code-golf  date  code-golf  string  code-golf  sequence  integer  code-golf  arithmetic  number-theory  code-golf  string  random 

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} …

21 atomic-code-golf  logic  proof-golf 

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 …

17 code-golf  ascii-art  integer  code-golf  math  graphical-output  geometry  math  logic  proof-golf