Questions marquées «proof-golf»

11
(-a) × (-a) = a × a
Nous savons tous que (si tout va bien), mais pouvez-vous le prouver?(−a)×(−a)=a×a(−a)×(−a)=a×a(-a) \times (-a) = a \times a Votre tâche consiste à prouver ce fait en utilisant les axiomes en anneau. Quels sont les axiomes de l'anneau? Les axiomes en anneau sont une liste de règles que doivent suivre deux …

3
(A → B) → (¬B → ¬A)
Eh bien, je pense qu’il est temps que nous posions une autre question de golf d’épreuve . Cette fois, nous allons prouver la vérité logique bien connue (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Pour ce faire, nous utiliserons le troisième schéma d'iiukasiewicz , un ensemble incroyablement élégant …
38 logic  proof-golf 

2
Golf existentiel
Les mathématiques ont beaucoup de symboles. Certains pourraient dire trop de symboles. Permet donc de faire quelques calculs avec des images. Permet d'avoir un papier, sur lequel nous allons puiser. Pour commencer le papier est vide, on dira que c'est équivalent à ou vrai .⊤⊤\topvraivrai\textit{true} Si nous écrivons d'autres choses …
22 math  logic  proof-golf 

16
Un programme de plus et je suis sorti!
Étant donné un niveau d'imbrication d'entier positif net une chaîne sde caractères ascii imprimables ( à ~, produire un programme qui, lorsqu'il est exécuté dans la même langue, génère un programme qui génère un programme ... qui génère la chaîne s. Un total de nprogrammes doit être généré, tous doivent …
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
Prouvez les lois de DeMorgan
L'utilisation des dix inférences du système de déduction naturelle prouve les lois de DeMorgan . Les règles de déduction naturelle Introduction à la négation: {(P → Q), (P → ¬Q)} ⊢ ¬P Élimination de la négation: {(¬P → Q), (¬P → ¬Q)} ⊢ P Et introduction: {P, Q} ⊢ P …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.