Preguntas etiquetadas con logic

En matemáticas, un signo de exclamación a !menudo significa factorial y viene después del argumento. En la programación, un signo de exclamación a !menudo significa negación y viene antes del argumento. Para este desafío solo aplicaremos estas operaciones a cero y uno. Factorial 0! = 1 1! = 1 Negation …

175 code-golf  string  math  logic  factorial 

Inspirado y en memoria de mi querido amigo y colega, Dan Baronet , 1956 - 2016. RIP Encontró la solución APL más corta posible para esta tarea: Tarea Dada una lista booleana, cuente el número de valores de verdad finales. Casos de ejemplo {} → 0 {0} → 0 {1} …

59 code-golf  number  array-manipulation  counting  logic 

Este desafío es levantar el espíritu de nuestro mod Alex A. , que generalmente se equivoca . Supongamos que tiene un amigo llamado Alex que necesita ayuda con la lógica básica y las matemáticas, específicamente la equivalencia matemática . Te da una lista de ecuaciones de la forma [variable] = …

50 code-golf  math  logic 

Introducción Cada año, Dyalog Ltd. celebra una competencia estudiantil. El desafío es escribir un buen código APL. Esta es una edición de código de golf agnóstico del octavo problema de este año. Tengo permiso explícito para publicar este desafío aquí del autor original de la competencia. No dude en verificar …

47 code-golf  array-manipulation  logic 

Stackylogic es un lenguaje de programación basado en la lógica me hice a la que tienen en 0's y 1' s para la entrada y salida de una única 0o 1al finalizar. Un programa Stackylogic consta de líneas que solo pueden contener los tres caracteres 01?, así como exactamente uno …

45 code-golf  interpreter  binary  logic-gates  logic 

Tarea Su tarea es escribir una función o un programa en un lenguaje de su elección que analice un par de declaraciones y determine si de esas declaraciones se puede concluir que los cerdos pueden volar. Entrada La entrada es una cadena que puede leerse desde STDIN, tomarse como un …

45 code-golf  natural-language  logic 

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 

CodeGolf Challenge PWSSHHHH! Te despiertas en un laboratorio de criogenia en el año 3000. Al ser escoltado a la oficina de asignación para recibir tu chip de carrera, presumiblemente el de un repartidor, una sonda detecta que eres del año 2000. Debido a esto, y algunos estereotipos, se supone estúpido …

36 code-golf  string  math  natural-language  logic 

Todos estamos familiarizados con la secuencia de Fibonacci : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 Sin embargo, en lugar de, f(n) = f(n-1) + f(n-2)tomaremos la suma digital de las 2 entradas anteriores. La secuencia …

30 code-golf  sequence  fibonacci  code-golf  math  geometry  random  code-golf  code-golf  math  decision-problem  fractal  rational-numbers  code-golf  number  number-theory  code-golf  combinatorics  permutations  card-games  code-golf  math  sequence  array-manipulation  fibonacci  code-golf  sequence  decision-problem  graph-theory  code-golf  ascii-art  parsing  lisp  code-golf  string  math  natural-language  logic  code-golf  math  logic  code-golf  string  alphabet  code-golf  string  code-golf  string 

Su tarea es escribir un programa o una función que imprima un triángulo ASCII. Se ven así: |\ | \ | \ ---- Su programa tomará una sola entrada numérica n, con las restricciones 0 <= n <= 1000. El triángulo anterior tenía un valor de n=3. El triángulo ASCII …

30 code-golf  ascii-art  code-golf  rubiks-cube  code-golf  path-finding  maze  regular-expression  code-golf  math  rational-numbers  code-golf  kolmogorov-complexity  graphical-output  code-golf  tips  code-golf  string  permutations  code-golf  sorting  base-conversion  binary  code-golf  tips  basic  code-golf  number  number-theory  fibonacci  code-golf  date  code-golf  restricted-source  quine  file-system  code-golf  code-golf  math  code-golf  ascii-art  code-golf  math  primes  code-golf  code-golf  math  matrix  code-golf  string  math  logic  factorial  code-golf  palindrome  code-golf  quine  stateful  code-golf  interactive  code-golf  board-game  code-golf  math  arithmetic  code-golf  string  code-golf  math  matrix  code-golf  math  abstract-algebra  polynomials  code-golf  date  code-golf  string  array-manipulation  sorting  code-golf  game  code-golf  string  code-golf  ascii-art  decision-problem  code-golf  number  sequence  code-golf  code-golf  code-golf  sequence  fibonacci  code-golf  math  geometry  random  code-golf  code-golf  math  decision-problem  fractal  rational-numbers  code-golf  number  number-theory  code-golf  combinatorics  permutations  card-games  code-golf  math  sequence  array-manipulation  fibonacci  code-golf  sequence  decision-problem  graph-theory  code-golf  ascii-art  parsing  lisp  code-golf  string  math  natural-language  logic  code-golf  math  logic  code-golf  string  alphabet  code-golf  string  code-golf  string 

Introducción Tu misión en la vida es simple: ¡Demuestra que las personas están equivocadas en Internet! Para hacer esto, generalmente analiza cuidadosamente sus declaraciones y señala la contradicción en ellas. Es hora de automatizar esto, pero como somos flojos, queremos demostrar que las personas están equivocadas con el menor esfuerzo …

22 code-golf  math  logic 

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 

Reto Se le dará una cadena de entrada, en cualquier lugar de la palabra "Lemon"se encuentra que debe ser convertido a "Lemonade" , pero el a, dy edebe ser tomado de otra parte de la frase. Ejemplo Entrada de ejemplo: Encontré un limón cuando era niño Salida de ejemplo: Encontré …

21 code-golf  string  code-golf  parsing  internet  stack-exchange-api  code-challenge  kolmogorov-complexity  restricted-source  brain-flak  python  logic  pyth  code-golf  string  search  optimized-output  code-golf  tips  language-design  golfing-language  code-golf  tips  language-design  code-golf  number  sorting  pi  code-golf  math  number  code-golf  string  balanced-string  classification  brain-flak  code-golf  math  number-theory  decision-problem  code-golf  tips  code-golf  number  sequence  code-golf  balanced-string  brain-flak  code-golf  math  sequence  arithmetic  fibonacci  code-golf  math  parsing  code-golf  string  keyboard  code-golf  code-golf  string  source-layout  whitespace  code-golf  math  rational-numbers  code-golf  string  code-golf  string  code-golf  math  sequence  code-golf  number  floating-point  code-golf  string  decision-problem  subsequence  code-golf  string  kolmogorov-complexity  code-golf  string  permutations  balanced-string  brain-flak  code-golf  string  math  number  code-golf  string  primes  cipher  code-golf  string  ascii-art  chemistry  code-golf  ascii-art  grid  counting  code-golf  math  arithmetic  integer  code-golf  number  kolmogorov-complexity  code-golf  ascii-art  kolmogorov-complexity  sequence  metagolf  brain-flak  code-golf  ascii-art  kolmogorov-complexity  code-golf  string  whitespace 

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 

Recibí este desafío de Codingame y tengo curiosidad por encontrar mejores soluciones que la mía: Dado un ancho a través de la entrada estándar, dibuje un cuadrado hueco de '#' en el ancho y largo dados. Ejemplo: 5 resultados en ##### # # # # # # ##### Usé Python …

21 code-golf  string  ascii-art  number  code-golf  grid  code-golf  string  ascii-art  code-golf  alphabet  cipher  code-golf  math  number  code-golf  quine  code-golf  palindrome  polyglot  code-golf  number  array-manipulation  counting  logic  code-golf  string  primes  binary  decision-problem  code-golf  ascii-art  kolmogorov-complexity  popularity-contest  code-golf  probability-theory  code-golf  string  code-golf  python  polyglot  programming-puzzle  c++  code-golf  math  code-golf  binary  integer  bitwise  code-golf  rational-numbers  code-golf  string  palindrome  code-golf  ascii-art  code-golf  code-golf  string  fibonacci  code-golf  math  sequence  code-golf  code-golf  string  palindrome  code-golf  string  code-golf  math  primes  source-layout  code-golf  sequence  binary  integer  code-golf  math  arithmetic  game  code-golf  restricted-source  palindrome  code-golf  restricted-source  palindrome  code-golf  combinatorics  binary  code-golf  string  math  code-golf  ascii-art  number  code-golf  cipher  code-golf  base-conversion  counting  code-golf  sequence  random  classification  code-golf  string  subsequence  code-golf  permutations  code-golf  string  code-golf  string  cipher  code-golf  kolmogorov-complexity  arithmetic  integer  code-golf  quine  markov-chain  code-golf  string  code-golf  code-golf  ascii-art  maze