logic

    5गर्मी

    1उत्तर

    हम एक फिल्टर प्रणाली है, जहां आप उदाहरण के लिए विकल्पों में से समूहों मिलता है, पर काम कर रहे 6- £ 10, £ 11 + बनाओ एक एडिडास, नाइके, बातचीत प्रत्येक विकल्प है एकल चेकबॉक्स हम निम्नलिखित तर्क के साथ फि

    9गर्मी

    2उत्तर

    के बिना अस्तित्वहीन खोज और क्वेरी क्या एक एम्बेडेड तर्क प्रोग्रामिंग भाषा लागू किए बिना हास्केल में मौजूद अस्तित्व बयान लिखने का एक एक्स्टेंसिबल, कुशल तरीका है? कई बार जब मैं एल्गोरिदम लागू करने कर रह

    11गर्मी

    2उत्तर

    पर डेटा के लिए प्रतीक्षा करें, मुझे लगता है कि मुझे बैकबोन राउटर के उचित उपयोग के पीछे विचार नहीं मिलता है। यहां मुझे यह मिला है: मेरे पास कुछ डेटा है जो पृष्ठ लोड होने पर सर्वर से प्राप्त होता है और

    5गर्मी

    2उत्तर

    मैं अजगर को काफी नई हूँ, लेकिन मैं काम करने के लिए इस कोड को मिल गया है, और वास्तव में, यह क्या क्या करने का इरादा है है। हालांकि, मैं अगर वहाँ एक और अधिक कुशल शायद प्रसंस्करण गति को बढ़ाने के लिए इस

    7गर्मी

    3उत्तर

    में बेनामी कार्यों से सच्चे टेबल्स मैं एक दिए गए बूलियन अभिव्यक्ति के लिए एक सत्य तालिका उत्पन्न करने की कोशिश कर रहा हूं। मैं इसे एक नया डेटाटाइप BoolExpr बनाने के साथ कर सकता हूं, लेकिन मैं इसे एक अ

    7गर्मी

    4उत्तर

    मैं (के रूप में मैं ग्रेगोरियन कैलेंडर के साथ एक विशेष प्रकार के साथ काम कर रहा हूँ, आवश्यकता) जमीन से एक कैलेंडर प्रणाली का निर्माण कर रहा हूँ, और मैं तर्क के साथ कुछ मदद की ज़रूरत है बनाम । मैं Djan

    15गर्मी

    3उत्तर

    मैं सिर्फ खेलना शुरू कर दिया गया है बड़ी स्क्रॉल IV: विस्मरण कुछ दिन पहले, और एक बात मैं मदद नहीं कर सकता लेकिन के बारे में है कि कैसे खोज प्रणाली प्रोग्राम के रूप में नियंत्रित किया जाता है आश्चर्य ह

    13गर्मी

    4उत्तर

    एक बहुस्तरीय कंप्यूटर पर विचार करें जिसमें सभी स्तर अलग हैं। प्रत्येक स्तर में ऐसे निर्देश होते हैं जो एम के स्तर के नीचे के स्तर के रूप में शक्तिशाली होते हैं; यानी, एक स्तर आर निर्देश एम स्तर आर -1

    19गर्मी

    3उत्तर

    [मुझे यकीन है कि इस ढेर अतिप्रवाह के लिए उपयुक्त है नहीं कर रहा हूँ, लेकिन वहाँ कई अन्य Coq सवाल यहाँ तो शायद किसी की मदद कर सकते हैं।] मैं http://www.cis.upenn.edu/~bcpierce/sf/Basics.html#lab28 से न

    5गर्मी

    5उत्तर

    के साथ तार्किक ऑपरेटरों प्राथमिकता मैंने वेब की खोज की है लेकिन मुझे इस समस्या का समाधान नहीं मिला है। ऑपरेटरों NAND, NOR और XNOR के लिए तार्किक प्राथमिकता क्या है? मेरा मतलब है, उदाहरण के रूप में विच