«proof-golf» 태그된 질문

우리는 모두 ( − a ) × ( − a ) = a × a(−에이)×(−에이)=에이×에이(-a) \times (-a) = a \times a (희망적으로)임을 알고 있지만 증명할 수 있습니까? 당신의 임무는 링 공리를 사용 하여이 사실을 증명하는 것입니다. 링 공리는 무엇입니까? 링 공리는 세트에 대한 두 개의 이진 연산이 따라야하는 규칙 목록입니다. …

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

글쎄, 나는 우리가 또 다른 증명 골프 질문을 할 때라고 생각합니다 . 이번에는 잘 알려진 논리적 인 진실을 증명할 것입니다 ( A → B ) → ( ¬ B → ¬ A )(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) 이를 위해 우리는 Łukasiewicz의 세 번째 Axiom Schema ( …

38 logic  proof-golf 

수학에는 많은 기호가 있습니다. 일부는 너무 많은 기호를 말할 수 있습니다. 그림으로 수학을 해봅시다. 우리가 그릴 종이를 만들어 봅시다. 종이를 비우려면 또는 .사실⊤⊤\top참된참된\textit{true} 우리가 종이에 다른 것을 쓰면 그것들도 사실입니다. 예를 들어 클레임 및 가 참 임을 나타냅니다 .Q피피P큐큐Q 이제 우리가 어떤 진술에 동그라미를 그리면 그 진술이 거짓이라고 말합시다. 논리적이지 …

22 math  logic  proof-golf 

양의 정수 중첩 수준을 감안할 때 n문자열 s인쇄 가능한 ASCII 문자 (의 에 ~같은 언어로 실행하면, 프로그램을 출력하는 프로그램을 출력하고, 출력하는 프로그램... 문자열을 출력합니다 s. 총 n프로그램이 생성되어야하며, 모든 프로그램은 답변과 동일한 언어로 실행되어야합니다. 참고 : 기본적으로 제출로 허용되는 모든 프로그램 또는 기능을 출력 할 수 있습니다. s이스케이프 문자로 입력 …

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 

자연 공제 시스템 의 10 가지 추론을 사용하면 DeMorgan의 법칙이 입증 됩니다. 자연 공제 규칙 부정 소개 : {(P → Q), (P → ¬Q)} ⊢ ¬P 부정 제거 : {(¬P → Q), (¬P → ¬Q)} ⊢ P 그리고 소개 : {P, Q} ⊢ P ʌ Q 그리고 제거 : P …

21 atomic-code-golf  logic  proof-golf 

주어진 양의 정수 와 는 아래 설명과 같이 열과 행의 텍스트를 출력 합니다.h w h승승whhh승승whhh 첫 번째 줄은 11 0초로 시작 하고 두 번째 줄은 10 1초로, 세 번째 줄은 9 2초로, 10 번째 줄은 2 9초로 아래로 내려갑니다 . 처음 10 개의 연속 숫자를 실행 한 후이 첫 10 …

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