Pertanyaan yang diberi tag «proof-golf»

Kita semua tahu bahwa (semoga), tetapi dapatkah Anda membuktikannya?( - a ) × ( - a ) = a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a Tugas Anda adalah untuk membuktikan fakta ini menggunakan aksioma cincin. Apa aksioma cincin? Aksioma cincin adalah daftar aturan yang harus diikuti oleh dua …

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

Yah saya pikir sudah saatnya kita memiliki pertanyaan bukti-golf . Kali ini kita akan membuktikan kebenaran logis yang terkenal ( A → B ) → ( ¬ B → ¬ A )(SEBUAH→B)→(¬B→¬SEBUAH)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Untuk melakukan ini kita akan menggunakan Skema Aksioma ketiga Łukasiewicz …

38 logic  proof-golf 

Matematika memiliki banyak simbol. Beberapa mungkin mengatakan terlalu banyak simbol. Jadi mari kita lakukan matematika dengan gambar. Mari kita punya kertas, yang akan kita gambar. Untuk memulai kertas kosong, kita akan mengatakan itu setara dengan atau true⊤⊤\topbenarbenar\textit{true} . Jika kita menulis hal-hal lain di atas kertas itu juga akan benar. …

22 math  logic  proof-golf 

Diberikan tingkat penyatuan bilangan bulat positif ndan string skarakter ascii yang dapat dicetak ( untuk ~, menghasilkan program yang, ketika dijalankan dalam bahasa yang sama, mengeluarkan program yang menghasilkan program ... yang menghasilkan string s. Sebanyak nprogram harus dibuat, yang semuanya harus dijalankan dalam bahasa yang sama dengan jawaban Anda. …

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 

Menggunakan sepuluh kesimpulan dari Sistem Deduksi Alami membuktikan hukum DeMorgan . Aturan Pengurangan Alam Pendahuluan Negasi: {(P → Q), (P → ¬Q)} ⊢ ¬P Penghapusan Negasi: {(¬P → Q), (¬P → ¬Q)} ⊢ P Dan Pendahuluan: {P, Q} ⊢ P ʌ Q Dan Eliminasi: P ʌ Q ⊢ {P, Q} …

21 atomic-code-golf  logic  proof-golf 

Diberikan bilangan bulat positif dan h output w kolom dan h baris teks seperti yang dijelaskan di bawah ini.wwwhhhwwwhhh Baris pertama dimulai dengan 11 0detik, baris kedua dengan 10 1detik, ketiga dengan sembilan 2detik dan seterusnya menuruni baris kesepuluh dengan dua 9detik. Pada masing-masing dari sepuluh baris pertama ini, setelah …

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