Perguntas com a marcação «logic»

Para desafios relativos à lógica matemática e álgebra booleana.

30
Matemática é fato. A programação não é
Na matemática, um ponto de exclamação !geralmente significa fatorial e vem depois da discussão. Na programação, um ponto de exclamação !geralmente significa negação e vem antes do argumento. Para esse desafio, aplicaremos essas operações apenas a zero e um. Factorial 0! = 1 1! = 1 Negation !0 = 1 …

30
Contar verdades finais
Inspirado e em memória de meu querido amigo e colega, Dan Baronet , 1956 - 2016. RIP Ele encontrou a solução de APL mais curta possível para esta tarefa: Tarefa Dada uma lista booleana, conte o número de valores de verdade à direita. Casos de exemplo {} → 0 {0} …

12
Alex às vezes está certo
Esse desafio é elevar o ânimo do nosso mod Alex A. , que geralmente está errado . Suponha que você tenha um amigo chamado Alex que precise de ajuda com lógica e matemática básicas, especificamente equivalência matemática . Ele fornece uma lista de equações da forma em [variable] = [variable]que …
50 code-golf  math  logic 

30
Seja o primeiro 1 (deixe apenas o primeiro Truthy)
Introdução Todos os anos, a Dyalog Ltd. realiza uma competição estudantil. O desafio é escrever um bom código APL. Esta é uma edição de código-golfe independente de idioma do oitavo problema deste ano. Tenho permissão explícita para postar esse desafio aqui, do autor original da competição. Sinta-se livre para verificar, …

11
Executar Stackylogic
Stackylogic é uma linguagem de programação baseada em lógica que inventei 0's 1' e 's para entrada e saída de um único 0ou 1após a conclusão. Um programa Stackylogic consiste em linhas que podem conter apenas os três caracteres 01?, bem como exatamente um <no final de uma das linhas. …

4
Os porcos são capazes de voar?
Tarefa Sua tarefa é escrever uma função ou um programa em um idioma de sua escolha que analise algumas declarações e determine se é possível concluir com base nessas declarações que os porcos são capazes de voar. Entrada A entrada é uma String que pode ser lida em STDIN, usada …

3
(A → B) → (¬B → ¬A)
Bem, acho que já é hora de termos outra questão de prova de golfe . Desta vez, vamos provar a conhecida verdade lógica (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Para fazer isso, usaremos o terceiro Axiom Schema de Łukasiewicz , um conjunto incrivelmente elegante de três axiomas …
38 logic  proof-golf 


30
Triângulos ASCII
Sua tarefa é escrever um programa ou uma função que imprima um triângulo ASCII. Eles se parecem com isso: |\ | \ | \ ---- Seu programa terá uma única entrada numérica n, com as restrições 0 <= n <= 1000. O triângulo acima tinha um valor de n=3. O …
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 

26
Digital Sum Fibonacci
Todos nós estamos familiarizados com a sequência de Fibonacci : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 No entanto, em vez de, f(n) = f(n-1) + f(n-2)tomaremos a soma digital das 2 entradas anteriores. A sequência …

3
Prove que estou errado!
Introdução Sua missão na vida é simples: prove que as pessoas estão erradas na internet! Para fazer isso, você costuma analisar cuidadosamente as declarações deles e apontar a contradição nelas. Está na hora de automatizar isso, mas, como somos preguiçosos, queremos provar que as pessoas estão erradas com o mínimo …
22 code-golf  math  logic 

2
Golfe Existencial
A matemática tem muitos símbolos. Alguns podem dizer muitos símbolos. Então, vamos fazer algumas contas com fotos. Vamos ter um papel, no qual iremos desenhar. Para começar, o papel está vazio, diremos que é equivalente a ⊤⊤\top ou .truetrue\textit{true} Se escrevermos outras coisas no papel, elas também serão verdadeiras. Por …
22 math  logic  proof-golf 

3
Quando a vida lhe der limões, faça uma limonada
Desafio Você será dado uma cadeia de entrada, em qualquer lugar a palavra "Lemon"é encontrada deve ser convertido para "Lemonade" , mas o a, de edeve ser emprestado de outro lugar na sentença. Exemplo Exemplo de entrada: Encontrei limão quando criança Saída de exemplo: Eu encontro uma limonada quando eu …
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 

3
Prove as leis de DeMorgan
Usando as dez inferências do Sistema de Dedução Natural, comprova as leis de DeMorgan . As regras da dedução natural Introdução à Negação: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminação de Negação: {(¬P → Q), (¬P → ¬Q)} ⊢ P E Introdução: {P, Q} ⊢ P ʌ Q …

30
Desenhe um quadrado vazio de # com a largura especificada
Eu recebi esse desafio da Codingame e estou curioso sobre soluções melhores que as minhas: Dada uma largura via entrada padrão, desenhe um quadrado oco de '#' em determinada largura e comprimento. Exemplo: 5 resultados em ##### # # # # # # ##### Eu usei python para resolver isso, …
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 

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.