logic पर टैग किए गए जवाब

गणितीय तर्क और बूलियन बीजगणित से संबंधित चुनौतियों के लिए।

30
गणित तथ्य है। प्रोग्रामिंग नहीं है
गणित में एक विस्मयादिबोधक चिह्न का !अर्थ अक्सर फैक्टरियल होता है और यह तर्क के बाद आता है। प्रोग्रामिंग में एक विस्मयादिबोधक चिह्न का !अर्थ अक्सर नकारात्मकता होता है और यह तर्क से पहले आता है। इस चुनौती के लिए हम केवल इन कार्यों को शून्य और एक पर लागू …

30
अनुगामी सत्य को गिनें
से प्रेरित होकर, और मेरे प्रिय मित्र और सहयोगी की स्मृति में, डान बैरोनेट , 1956 - 2016. RIP उन्होंने इस कार्य के लिए सबसे कम संभव एपीएल समाधान पाया : कार्य एक बूलियन सूची को देखते हुए, अनुगामी सत्य मूल्यों की संख्या की गणना करें। उदाहरण के मामले {} …

12
एलेक्स कभी-कभी सही होता है
यह चुनौती हमारे मॉड एलेक्स ए की आत्माओं को उठाना है , जो आमतौर पर गलत है । मान लीजिए आपके पास एलेक्स नाम का एक दोस्त है जिसे बुनियादी तर्क और गणित, विशेष रूप से गणितीय तुल्यता के साथ मदद की ज़रूरत है । वह आपको उस फॉर्म के …
50 code-golf  math  logic 

30
पहले 1 बनें (केवल पहले सत्य को छोड़ें)
पहचान हर साल, Dyalog Ltd. एक छात्र प्रतियोगिता आयोजित करता है। वहां चुनौती है कि अच्छा एपीएल कोड लिखना है । यह इस साल की आठवीं समस्या का एक भाषा अज्ञेयवादी कोड-गोल्फ संस्करण है। मुझे प्रतियोगिता के मूल लेखक से इस चुनौती को पोस्ट करने की स्पष्ट अनुमति है। दिए …

11
Stackylogic चलाएं
Stackylogic एक तर्क आधारित प्रोग्रामिंग भाषा मैं में है कि ले बना हुआ है 0की और 1इनपुट के लिए की है और एक ही आउटपुट 0या 1पर पूरा होने के। एक स्टैकलॉजिक प्रोग्राम में लाइनें शामिल होती हैं जिसमें केवल तीन वर्णों के 01?साथ-साथ <लाइनों में से एक के अंत …

4
क्या सूअर उड़ने में सक्षम हैं?
कार्य आपका कार्य अपनी पसंद की भाषा में एक समारोह या एक कार्यक्रम लिखना है जो कुछ बयानों का विश्लेषण करता है और यह निर्धारित करता है कि क्या उन बयानों से यह निष्कर्ष निकाला जा सकता है कि सूअर उड़ने में सक्षम हैं। इनपुट इनपुट एक स्ट्रिंग है जिसे …

3
(A → B) → (¬B → →A)
वैसे मुझे लगता है कि यह समय है जब हमारे पास एक और सबूत-गोल्फ सवाल होगा। इस बार हम जाने-माने तार्किक सत्य साबित करने जा रहे हैं (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) ऐसा करने के लिए हम asukasiewicz की तीसरी Axiom स्कीमा का उपयोग करेंगे , …
38 logic  proof-golf 

18
अपने प्रथम श्रेणी के गिनती अभ्यास को स्वचालित करें
कोडगल्फ चैलेंज PWSSHHHH! आप वर्ष 3000 में क्रायोजेनिक लैब में जागते हैं। असाइनमेंट ऑफिस में अपना कैरियर चिप प्राप्त करने के लिए एस्कॉर्ट होने पर, संभवतः डिलीवरी बॉय का, एक जांच से पता चलता है कि आप वर्ष 2000 से हैं। इस वजह से, और कुछ स्टीरियोटाइप्स, आपको आज के …

26
डिजिटल सम फाइबोनैचि
हम सभी फाइबोनैचि अनुक्रम से परिचित हैं : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 हालाँकि, इसके बजाय, f(n) = f(n-1) + f(n-2)हम पिछली 2 प्रविष्टियों की डिजिटल राशि लेंगे । अनुक्रम अभी भी शुरू होना …

30
ASCII त्रिकोण
आपका कार्य एक प्रोग्राम या एक फ़ंक्शन लिखना है जो ASCII त्रिकोण प्रिंट करता है। वे इस तरह दिखते हैं: |\ | \ | \ ---- आपका कार्यक्रम nबाधाओं के साथ एक एकल संख्यात्मक इनपुट लेगा 0 <= n <= 1000। उपरोक्त त्रिकोण का मान था n=3। ASCII त्रिकोण में …
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 

3
मुझे गलत साबित करो!
परिचय जीवन में आपका मिशन सरल है: इंटरनेट पर लोगों को गलत साबित करें! ऐसा करने के लिए आप आमतौर पर उनके बयानों का सावधानीपूर्वक विश्लेषण करते हैं और उनमें विरोधाभास को इंगित करते हैं। यह इसे स्वचालित करने का समय है, लेकिन जैसा कि हम आलसी हैं, हम कम …
22 code-golf  math  logic 

2
अस्तित्वगत गोल्फ
मठ में बहुत सारे प्रतीक हैं। कुछ लोग बहुत अधिक प्रतीक कह सकते हैं। तो चित्रों के साथ कुछ गणित करते हैं। आओ हम एक कागज दें, जिसे हम तैयार करेंगे। कागज को खाली करने के लिए, हम कहेंगे कि यह या सत्य के बराबर है ।⊤⊤\topसचसच\textit{true} यदि हम कागज …
22 math  logic  proof-golf 

3
जब भी जीवन में मुश्किलें आएं तो उनका भी लाभ उठाएं
चुनौती आपके पास कोई इनपुट स्ट्रिंग दी जाएगी, कहीं भी शब्द "Lemon"पाया जाता है यह करने के लिए परिवर्तित किया जाना चाहिए "Lemonade" लेकिनa , dहै, और 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 

3
DeMorgan के कानूनों को साबित करें
नेचुरल डेडिशन सिस्टम के दस इनफ़ॉरेन्स का उपयोग करना डेमर्गन के नियमों को साबित करता है । प्राकृतिक कटौती के नियम निषेध परिचय: {(P → Q), (P → ¬Q)} ⊢ ¬P ऋणात्मक उन्मूलन: {(¬P → Q), (¬P → ¬Q)} ⊢ P और परिचय: {P, Q} ⊢ P ʌ Q और …

30
दी गई चौड़ाई के साथ # का एक खोखला वर्ग बनाएँ
मुझे कोडिंग से यह चुनौती मिली और मैं इससे बेहतर समाधान के बारे में उत्सुक हूं: मानक इनपुट के माध्यम से चौड़ाई को देखते हुए दिए गए चौड़ाई और लंबाई में '#' का एक खोखला वर्ग बनाते हैं। उदाहरण: में 5 परिणाम ##### # # # # # # ##### …
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 

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.