Pertanyaan yang diberi tag «logic»

Dalam matematika tanda seru !sering berarti faktorial dan muncul setelah argumen. Dalam pemrograman tanda seru !seringkali berarti negasi dan muncul sebelum argumen. Untuk tantangan ini, kami hanya akan menerapkan operasi ini ke nol dan satu. Factorial 0! = 1 1! = 1 Negation !0 = 1 !1 = 0 Ambil …

176 code-golf  string  math  logic  factorial 

Terinspirasi oleh, dan untuk mengenang, teman dan kolega saya yang terkasih, Dan Baronet , 1956 - 2016. RIP Dia menemukan solusi APL sesingkat mungkin untuk tugas ini: Tugas Diberikan daftar Boolean, hitung jumlah nilai kebenaran yang tertinggal. Contoh kasus {} → 0 {0} → 0 {1} → 1 {0, 1, …

59 code-golf  number  array-manipulation  counting  logic 

Tantangan ini adalah untuk mengangkat semangat mod kami Alex A. , yang biasanya salah . Misalkan Anda memiliki teman bernama Alex yang membutuhkan bantuan dengan logika dan matematika dasar, khususnya kesetaraan matematika . Dia memberi Anda daftar persamaan bentuk di [variable] = [variable]mana a[variable] selalu huruf besar tunggal A sampai …

50 code-golf  math  logic 

Intro Setiap tahun, Dyalog Ltd. mengadakan kompetisi siswa. Tantangannya adalah untuk menulis kode APL yang baik . Ini adalah edisi kode golf- bahasa agnostik dari masalah kedelapan tahun ini. Saya memiliki izin eksplisit untuk mengirimkan tantangan ini di sini dari penulis asli kompetisi. Jangan ragu untuk memverifikasi dengan mengikuti tautan …

47 code-golf  array-manipulation  logic 

Stackylogic adalah bahasa pemrograman berbasis logika yang saya buat yang menerima 0dan 1memasukkan untuk input dan output tunggal 0atau 1setelah selesai. Program Stackylogic terdiri dari garis-garis yang hanya dapat berisi tiga karakter 01?serta tepat satu <di akhir salah satu baris. Garis tidak boleh kosong dan garis dengan <harus memiliki minimal …

45 code-golf  interpreter  binary  logic-gates  logic 

Tugas Tugas Anda adalah menulis fungsi atau program dalam bahasa pilihan Anda yang menganalisis beberapa pernyataan dan menentukan apakah dapat disimpulkan dari pernyataan-pernyataan yang dapat diterbangkan babi. Memasukkan Input adalah sebuah String yang dapat dibaca dari STDIN, diambil sebagai argumen fungsi atau bahkan disimpan dalam file. Input dapat dijelaskan menggunakan …

45 code-golf  natural-language  logic 

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 

Tantangan CodeGolf PWSSHHHH! Anda terbangun di laboratorium cryogenics pada tahun 3000. Setelah diantar ke kantor penugasan untuk menerima chip karier Anda, mungkin seorang pengantar kiriman, seorang penyelidik mendeteksi bahwa Anda berasal dari tahun 2000. Karena itu, dan beberapa stereotip, Anda dianggap bodoh dibandingkan dengan manusia modern saat ini dan dipaksa …

36 code-golf  string  math  natural-language  logic 

Kita semua akrab dengan deret Fibonacci : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 Namun, alih-alih, f(n) = f(n-1) + f(n-2)kami akan mengambil jumlah digital dari 2 entri sebelumnya. Urutan masih harus dimulai dengan 0, 1, …

30 code-golf  sequence  fibonacci  code-golf  math  geometry  random  code-golf  code-golf  math  decision-problem  fractal  rational-numbers  code-golf  number  number-theory  code-golf  combinatorics  permutations  card-games  code-golf  math  sequence  array-manipulation  fibonacci  code-golf  sequence  decision-problem  graph-theory  code-golf  ascii-art  parsing  lisp  code-golf  string  math  natural-language  logic  code-golf  math  logic  code-golf  string  alphabet  code-golf  string  code-golf  string 

Tugas Anda adalah menulis program atau fungsi yang mencetak segitiga ASCII. Mereka terlihat seperti ini: |\ | \ | \ ---- Program Anda akan mengambil input numerik tunggal n, dengan kendala 0 <= n <= 1000. Segitiga di atas memiliki nilai n=3. Segitiga ASCII akan memiliki ngaris miring terbalik ( …

30 code-golf  ascii-art  code-golf  rubiks-cube  code-golf  path-finding  maze  regular-expression  code-golf  math  rational-numbers  code-golf  kolmogorov-complexity  graphical-output  code-golf  tips  code-golf  string  permutations  code-golf  sorting  base-conversion  binary  code-golf  tips  basic  code-golf  number  number-theory  fibonacci  code-golf  date  code-golf  restricted-source  quine  file-system  code-golf  code-golf  math  code-golf  ascii-art  code-golf  math  primes  code-golf  code-golf  math  matrix  code-golf  string  math  logic  factorial  code-golf  palindrome  code-golf  quine  stateful  code-golf  interactive  code-golf  board-game  code-golf  math  arithmetic  code-golf  string  code-golf  math  matrix  code-golf  math  abstract-algebra  polynomials  code-golf  date  code-golf  string  array-manipulation  sorting  code-golf  game  code-golf  string  code-golf  ascii-art  decision-problem  code-golf  number  sequence  code-golf  code-golf  code-golf  sequence  fibonacci  code-golf  math  geometry  random  code-golf  code-golf  math  decision-problem  fractal  rational-numbers  code-golf  number  number-theory  code-golf  combinatorics  permutations  card-games  code-golf  math  sequence  array-manipulation  fibonacci  code-golf  sequence  decision-problem  graph-theory  code-golf  ascii-art  parsing  lisp  code-golf  string  math  natural-language  logic  code-golf  math  logic  code-golf  string  alphabet  code-golf  string  code-golf  string 

pengantar Misi Anda dalam hidup itu sederhana: Buktikan orang salah di internet! Untuk melakukan ini, Anda biasanya hati-hati menganalisis pernyataan mereka dan menunjukkan kontradiksi di dalamnya. Sudah waktunya untuk mengotomatisasi ini, tetapi karena kita malas, kami ingin membuktikan orang salah dengan upaya yang paling sedikit (baca: kode terpendek) yang mungkin. …

22 code-golf  math  logic 

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 

Tantangan Anda akan diberikan string input, di mana saja kata "Lemon"yang ditemukan harus dikonversi ke "Lemonade" tapi yang a, ddan eharus dipinjam dari tempat lain dalam kalimat. Contoh Contoh Input: Saya menemukan lemon ketika saya masih kecil Contoh Output: Aku mengeluarkan limun ketika aku masih kecil The Lemonade diciptakan dengan …

21 code-golf  string  code-golf  parsing  internet  stack-exchange-api  code-challenge  kolmogorov-complexity  restricted-source  brain-flak  python  logic  pyth  code-golf  string  search  optimized-output  code-golf  tips  language-design  golfing-language  code-golf  tips  language-design  code-golf  number  sorting  pi  code-golf  math  number  code-golf  string  balanced-string  classification  brain-flak  code-golf  math  number-theory  decision-problem  code-golf  tips  code-golf  number  sequence  code-golf  balanced-string  brain-flak  code-golf  math  sequence  arithmetic  fibonacci  code-golf  math  parsing  code-golf  string  keyboard  code-golf  code-golf  string  source-layout  whitespace  code-golf  math  rational-numbers  code-golf  string  code-golf  string  code-golf  math  sequence  code-golf  number  floating-point  code-golf  string  decision-problem  subsequence  code-golf  string  kolmogorov-complexity  code-golf  string  permutations  balanced-string  brain-flak  code-golf  string  math  number  code-golf  string  primes  cipher  code-golf  string  ascii-art  chemistry  code-golf  ascii-art  grid  counting  code-golf  math  arithmetic  integer  code-golf  number  kolmogorov-complexity  code-golf  ascii-art  kolmogorov-complexity  sequence  metagolf  brain-flak  code-golf  ascii-art  kolmogorov-complexity  code-golf  string  whitespace 

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 

Saya mendapat tantangan ini dari Codingame dan saya ingin tahu tentang solusi yang lebih baik daripada saya: Diberi lebar melalui input standar gambarlah sebuah persegi berongga '#' dalam lebar dan panjang yang diberikan. Contoh: 5 hasil ##### # # # # # # ##### Saya menggunakan python untuk menyelesaikan ini …

21 code-golf  string  ascii-art  number  code-golf  grid  code-golf  string  ascii-art  code-golf  alphabet  cipher  code-golf  math  number  code-golf  quine  code-golf  palindrome  polyglot  code-golf  number  array-manipulation  counting  logic  code-golf  string  primes  binary  decision-problem  code-golf  ascii-art  kolmogorov-complexity  popularity-contest  code-golf  probability-theory  code-golf  string  code-golf  python  polyglot  programming-puzzle  c++  code-golf  math  code-golf  binary  integer  bitwise  code-golf  rational-numbers  code-golf  string  palindrome  code-golf  ascii-art  code-golf  code-golf  string  fibonacci  code-golf  math  sequence  code-golf  code-golf  string  palindrome  code-golf  string  code-golf  math  primes  source-layout  code-golf  sequence  binary  integer  code-golf  math  arithmetic  game  code-golf  restricted-source  palindrome  code-golf  restricted-source  palindrome  code-golf  combinatorics  binary  code-golf  string  math  code-golf  ascii-art  number  code-golf  cipher  code-golf  base-conversion  counting  code-golf  sequence  random  classification  code-golf  string  subsequence  code-golf  permutations  code-golf  string  code-golf  string  cipher  code-golf  kolmogorov-complexity  arithmetic  integer  code-golf  quine  markov-chain  code-golf  string  code-golf  code-golf  ascii-art  maze