Câu hỏi được gắn thẻ «proof-golf»

Chúng ta đều biết rằng (hy vọng), nhưng bạn có thể chứng minh điều đó không?( - a ) × ( - a ) = a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a Nhiệm vụ của bạn là chứng minh thực tế này bằng cách sử dụng các tiên …

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

Vâng, tôi nghĩ rằng đã đến lúc chúng ta có một câu hỏi bằng chứng về golf . Lần này chúng ta sẽ chứng minh sự thật logic nổi tiếng ( Một → B ) → ( ¬ B → ¬ Một )(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg …

38 logic  proof-golf 

Toán học có rất nhiều biểu tượng. Một số có thể nói quá nhiều biểu tượng. Vì vậy, hãy làm một số toán học với hình ảnh. Hãy có một tờ giấy, mà chúng ta sẽ vẽ. Để bắt đầu bài báo là có sản phẩm nào, chúng tôi sẽ …

22 math  logic  proof-golf 

Đưa ra một mức lồng nhau nguyên dương nvà chuỗi scác ký tự ascii có thể in được ( để ~, xuất ra một chương trình, khi chạy trong cùng một ngôn ngữ, sẽ tạo ra một chương trình tạo ra một chương trình s. Tổng số nchương trình nên …

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 

Sử dụng mười suy luận của Hệ thống khấu trừ tự nhiên chứng minh luật của DeMorgan . Các quy tắc khấu trừ tự nhiên Giới thiệu phủ định: {(P → Q), (P → ¬Q)} ⊢ ¬P Loại bỏ tiêu cực: {(¬P → Q), (¬P → ¬Q)} ⊢ P Và …

21 atomic-code-golf  logic  proof-golf 

Cho các số nguyên dương và đầu ra cột và hàng văn bản như được mô tả dưới đây.h w hwwwhhhwwwhhh Hàng đầu tiên bắt đầu với 11 0s, hàng thứ hai với 10 1s, thứ ba với chín 2s và cứ thế xuống hàng thứ mười với hai 9s. …

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