«proof-golf» etiketlenmiş sorular

Hepimiz biliyoruz ki ( - a ) × ( - a ) = a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a (umarım), ama ispatlayabilir misiniz? Göreviniz bu gerçeği halka aksiyomlarını kullanarak kanıtlamak. Halka aksiyomları nelerdir? Halka aksiyomları, bir kümedeki iki ikili işlemin uyması gereken kuralların bir listesidir. İki işlem …

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

Sanırım bir başka kanıt-golf sorunumuz daha var. Bu sefer tanınmış mantıksal gerçeği kanıtlayacağız (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Bunu yapmak için asukasiewicz’in , teklif mantığı üzerinde tamamlanmış, inanılmaz derecede zarif bir üç aksiyom kümesi olan üçüncü Axiom Şeması’nı kullanacağız . İşte nasıl çalışıyor: Aksiyomlar Uukasiewicz sisteminin …

38 logic  proof-golf 

Matematiğin çok fazla sembolü var. Bazıları çok fazla sembol söyleyebilir. Bu yüzden resimlerle biraz matematik yapalım. Hadi üzerinde çizeceğimiz bir kağıt verelim. başlatmak için boş, şunu söyleyelim equivalent veya true .⊤⊤\topdoğrudoğru\textit{true} Kağıda başka şeyler yazarsak, bunlar da doğru olacaktır. Örneğin ve Q iddialarının doğru olduğunu gösterir .PPPSSQ Şimdi şunu söyleyelim; …

22 math  logic  proof-golf 

Olumlu bir tamsayı iç içe geçme düzeyi nve syazdırılabilir ascii karakterleri dizisi verilirse ( için ~, aynı dilde çalıştırıldığında, dizeyi çıkaran bir program çıktısı veren bir program çıktısı veren bir program çıkar.) s. Her biri ncevabınız ile aynı dilde yürütülecek toplam program üretilmelidir. Not: programları veya işlevleri çıkarabilirsiniz - varsayılan …

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 

Doğal Kesinti Sisteminin on çıkarımının kullanılması, DeMorgan yasalarını ispatlamaktadır . Doğal Kesinti Kuralları Olumsuz Giriş: {(P → Q), (P → ¬Q)} ⊢ ¬P Olumsuzluğun Ortadan Kaldırılması: {(¬P → Q), (¬P → ¬Q)} ⊢ P Ve Giriş: {P, Q} ⊢ P ʌ Q Ve Eliminasyon: P ʌ Q ⊢ {P, Q} …

21 atomic-code-golf  logic  proof-golf 

Pozitif tamsayılar verilen ve h çıkış ağırlık sütun ve h aşağıda tarif edildiği gibi metin satırları.wwwhhhwwwhhh İlk satır 11 ile başlar 0 s , ikinci sıra 10 1s ile, üçüncü sıra dokuz 2s ile başlar ve onuncu sıradan iki 9s ile aşağı doğru devam eder . Bu ilk on satırın …

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