Domande taggate «proof-golf»

11
(-a) × (-a) = a × a
Sappiamo tutti che (si spera), ma puoi provarlo?( - a ) × ( - a ) = a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a Il tuo compito è dimostrare questo fatto usando gli assiomi dell'anello. Quali sono gli assiomi dell'anello? Gli assiomi dell'anello sono un elenco di regole …

3
(A → B) → (¬B → ¬A)
Beh, penso che sia giunto il momento di fare un'altra domanda sul campo da golf . Questa volta proveremo la ben nota verità logica ( A→ B ) → ( ¬ B → ¬ A )(UN→B)→(¬B→¬UN)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Per fare questo useremo il terzo …
38 logic  proof-golf 

2
Golf esistenziale
La matematica ha molti simboli. Alcuni potrebbero dire troppi simboli. Quindi facciamo un po 'di matematica con le immagini. Diamo un foglio su cui attingeremo. Per iniziare il foglio è vuoto, diremo che equivale a o .⊤⊤\toptruetrue\textit{true} Se scriviamo altre cose sul foglio, saranno vere. Per esempio Indica che le …
22 math  logic  proof-golf 

16
Un altro programma e sono fuori!
Dato un livello di nidificazione di numeri interi positivi ne una stringa sdi caratteri ASCII stampabili ( a ~, genera un programma che, quando eseguito nella stessa lingua, genera un programma che genera un programma ... che genera la stringa s. nDovrebbero essere generati un totale di programmi, che dovrebbero …
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 

3
Dimostrare le leggi di DeMorgan
L'uso delle dieci inferenze del sistema di detrazione naturale dimostra le leggi di DeMorgan . Le regole della deduzione naturale Introduzione alla negazione: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminazione della negazione: {(¬P → Q), (¬P → ¬Q)} ⊢ P E introduzione: {P, Q} ⊢ P ʌ Q …

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.