«logic» etiketlenmiş sorular

Matematikte ünlem işareti !genellikle faktoring anlamına gelir ve tartışmadan sonra gelir. Bir ünlem işareti programlanırken !genellikle olumsuzluk anlamına gelir ve bu argümandan önce gelir. Bu zorluk için bu işlemleri yalnızca sıfıra ve bire uygulanacaktır. Factorial 0! = 1 1! = 1 Negation !0 = 1 !1 = 0 Sıfır veya …

175 code-golf  string  math  logic  factorial 

Sevgili arkadaşım ve meslektaşımdan ilham alan ve anısına, Dan Baronet , 1956 - 2016. RIP Bu göreve mümkün olan en kısa APL çözümünü buldu : Görev Bir Boole listesi göz önüne alındığında, takip eden doğruluk değerlerinin sayısını sayın. Örnek vakalar {} → 0 {0} → 0 {1} → 1 {0, …

59 code-golf  number  array-manipulation  counting  logic 

Bu zorluk , genellikle yanlış olan mod Alex'in ruhunu yükseltmektir . Temel mantık ve matematik, özellikle de matematiksel denklik konusunda yardıma ihtiyacı olan Alex adında bir arkadaşınız olduğunu varsayalım . Sana formun denklemlerin bir listesini verir [variable] = [variable]bir [variable]zaman Z ye tek büyük harf A (bir küçük harf, sayı …

50 code-golf  math  logic 

giriş Dyalog Ltd. her yıl bir öğrenci yarışması düzenliyor. Buradaki zorluk , iyi bir APL kodu yazmaktır . Bu, bu yılın sekizinci sorunun bir dil agnostik kod-golf sürümüdür. Bu zorluğu yarışmanın asıl yazarından buraya göndermek için açıkça iznim var. Verilen bağlantıyı takip ederek ve yazarla iletişim kurarak doğrulamaktan çekinmeyin . …

47 code-golf  array-manipulation  logic 

Stackylogic ben o take oluşan bir mantık tabanlı programlama dilidir 0'ler ve 1giriş için' ler ve tek çıkışı 0veya 1üzerine tamamlanmasını. Bir Stackylogic programı sadece üç karakter içerebilir hatları oluşur 01?zamanda tam bir şekilde <hatlarının birinin sonunda. Çizgiler boş olmayabilir ve hattı <en az birine sahip olması gerekir 0, 1ya …

45 code-golf  interpreter  binary  logic-gates  logic 

Görev Göreviniz, seçtiğiniz ifadeleri kullanarak, birkaç ifadeyi analiz eden ve domuzların uçabileceği ifadelerden sonuçlanıp sonuçlanmayacağını belirleyen bir işlev veya program yazmaktır. Giriş Giriş, STDIN'den okunabilen, işlev bağımsız değişkeni olarak alınan veya hatta bir dosyaya kaydedilebilen bir Dizedir. Giriş, aşağıdaki EBNF kullanılarak tanımlanabilir: input = statement , {statement}; statement = (("Pigs …

45 code-golf  natural-language  logic 

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 

CodeGolf Mücadelesi PWSSHHHH! 3000 yılında bir kriyojenik laboratuvarında uyanırsınız. Muhtemelen bir teslimat çocuğununki olan kariyer çipinizi almak için görevlendirme ofisine kadar eşlik ettiğinizde, bir sonda 2000 yılından geldiğinizi tespit eder. Bu nedenle ve birkaçı basmakalıp, bugünün modern insanına kıyasla aptal kabul edilir ve ilköğretim okulu tekrarlamak zorunda. Birinci sınıfa giriyorsunuz …

36 code-golf  string  math  natural-language  logic 

Göreviniz bir ASCII üçgeni basan bir program veya işlev yazmaktır. Buna benziyorlar: |\ | \ | \ ---- Programınız nkısıtlamalarla birlikte tek bir sayısal girdi alacaktır 0 <= n <= 1000. Yukarıdaki üçgenin değeri vardı n=3. ASCII üçgeni nters eğik çizgilere ( \) ve dikey çubuklara ( |), n+1çizgilere ve …

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 

Hepimiz Fibonacci dizisine aşinayız : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 Ancak, bunun yerine önceki 2 girişin dijital toplamınıf(n) = f(n-1) + f(n-2) alacağız . Dizi hala başlamalı 0, 1, bundan sonra farklılıklar hızla ortaya …

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 

Giriş Hayattaki göreviniz basit: İnternette yanlış olduğunu kanıtlayın! Bunu yapmak için genellikle ifadelerini dikkatlice analiz eder ve içlerindeki çelişkiyi belirtirsiniz. Bunu otomatikleştirmenin zamanı geldi, ancak tembel olduğumuz için, mümkün olan en az çabayla (okuma: en kısa kod) insanları yanlış kanıtlamak istiyoruz. Şartname Giriş Girişiniz normal normal formda bir formül olacaktır …

22 code-golf  math  logic 

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 

Meydan okuma Her yerde kelime, bir giriş dizesi verilecektir "Lemon"bunun dönüştürülmesi gerekir bulunursa "Lemonade" ancaka , dve ecümlede başka yerden ödünç alınmalıdır. Örnek Örnek Giriş: Çocukken bir limon buldum Örnek çıktı: Çocukken bir limonata kurdum Limonata orijinalden aşağıdaki üst simge harfleri çalarak yaratıldı Ben igili kurucuları d limonata wh e …

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 

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 

Codingame'den bu zorlukla karşılaştım ve benimkinden daha iyi çözümler hakkında merak ediyorum: Standart giriş yoluyla bir genişlik verildiğinde, verilen genişlik ve uzunluktaki '#' boşluklu bir kare çizin. Örnek: 5 sonuç bulundu ##### # # # # # # ##### Bunu çözmek için python kullandım, bu yüzden özellikle diğer python kodlarıyla …

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