Perguntas com a marcação «proof-golf»

Todos sabemos que (espero), mas você pode provar isso?( - a ) × ( - a ) = a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a Sua tarefa é provar esse fato usando os axiomas do anel. Quais são os axiomas do anel? Os axiomas em anel são uma …

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

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 

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 

Dado um nível positivo de aninhamento de número inteiro ne uma sequência sde caracteres ascii imprimíveis ( para ~gerar um programa que, quando executado no mesmo idioma, gera um programa que gera um programa ... que gera a strings . Um total de n programas deve ser gerado, todos os …

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 

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 …

21 atomic-code-golf  logic  proof-golf 

Dados inteiros positivos e h produzem w colunas e h linhas de texto, conforme descrito abaixo.wwwhhhwwwhhh A primeira linha começa com 11 0s, a segunda linha com 10 1s, a terceira com nove se 2assim por diante na décima linha com dois 9s. Em cada uma dessas dez primeiras linhas, …

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