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

गणितीय तर्क और कंप्यूटर विज्ञान में इसके उपयोग से संबंधित प्रश्न


2
बीटा समतुल्यता क्या है?
वर्तमान में मैं जो लैम्बडा कैलकुलस पढ़ रहा हूं, उसकी स्क्रिप्ट में बीटा समतुल्यता को इस प्रकार परिभाषित किया गया है: ββ\beta -equivalence ≡β≡β\equiv_\beta छोटी से छोटी तुल्यता कि होता है →β→β\rightarrow_\beta । मुझे उसका मतल नही पाता। क्या कोई इसे सरल शब्दों में समझा सकता है? शायद एक उदाहरण …

3
समानता और प्रमुख प्रक्रिया बीजगणित में अंतर
मेरी जानकारी के लिए, तीन प्रमुख प्रक्रिया बीजगणित हैं जिन्होंने संगामिति के औपचारिक मॉडल में अनुसंधान की एक विशाल श्रृंखला को प्रेरित किया है। य़े हैं: रॉबिन मिलनर द्वारा CCS और -calculus दोनोंππ\pi टोनी होरे द्वारा सीएसपी और जन बर्गस्त्र और जन विलेम क्लॉप द्वारा एसीपी इन तीनों से लगता …

2
नेस्टेड घटकों के साथ एक प्रेरक प्रकार पर पुनरावर्ती परिभाषाएं
एक आगमनात्मक प्रकार पर विचार करें जिसमें एक नेस्टेड में कुछ पुनरावर्ती घटनाएं होती हैं, लेकिन सख्ती से सकारात्मक स्थान। उदाहरण के लिए, बच्चों को संग्रहीत करने के लिए एक सामान्य सूची डेटा संरचना का उपयोग करके नोड्स के साथ परिमित शाखाओं वाले पेड़। Inductive LTree : Set := Node …

1
स्वचालित प्रमेय के प्रकार
मैं अपने आप से ऑटोमेटेड थ्योरम प्रोविंग / एसएमटी सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में सवालों की एक श्रृंखला पोस्ट कर रहा हूं । प्रासंगिक स्वचालित प्रमेय कौन से हैं? मुझे प्रमेय प्रदाताओं की समीक्षा मिली क्या यह अभी …

2
क्या सार्वभौमिक प्रकार अस्तित्वगत प्रकारों के उप-प्रकार या विशेष मामले हैं?
मैं जानना चाहता हूँ कि क्या वैश्विक-मात्रा निर्धारित प्रकार चाहते हैं TaTaT_a : Ta=∀X:{a∈X,f:X→{T,F}}Ta=∀X:{a∈X,f:X→{T,F}}T_a = \forall X: \left\{ a\in X,f:X→\{T, F\} \right\} , एक उप प्रकार, या विशेष मामला है एक existentially-मात्रा निर्धारित की टाइप TeTeT_e समान हस्ताक्षर से: Te=∃X:{a∈X,f:X→{T,F}}Te=∃X:{a∈X,f:X→{T,F}}T_e = \exists X: \left\{ a\in X,f:X→\{T, F\} \right\} मैं कहेंगे …

4
क्या विरोधाभास द्वारा सबूत को बिना बहिष्कृत कानून के बीच रखा जा सकता है?
मैं हाल ही में विरोधाभास द्वारा सबूत की वैधता के बारे में सोच रहा था। मैंने पिछले कुछ दिनों से अंतर्ज्ञानवादी तर्क और गोडेल के प्रमेयों के बारे में पढ़ा है, यह देखने के लिए कि क्या वे मुझे मेरे प्रश्नों के उत्तर प्रदान करेंगे। अभी मेरे पास अभी भी …

3
डी मॉर्गन के नियम को समझाने और समझने का एक सहज तरीका क्या है?
कंप्यूटर विज्ञान पाठ्यक्रम के लिए डी मॉर्गन लॉ अक्सर एक परिचयात्मक गणित में पेश किया जाता है, और मैं अक्सर इसे शब्दों को नकारात्मक रूप से AND से OR में बदलने का एक तरीका के रूप में देखता हूं। क्या यह सच है कि केवल तालिकाओं को याद रखने के …

3
टाइपिंग नियम कैसे पढ़ें?
मैंने अधिक से अधिक भाषा शोध पत्र पढ़ना शुरू किया। मुझे यह बहुत दिलचस्प लगता है और सामान्य रूप से प्रोग्रामिंग के बारे में अधिक जानने का एक अच्छा तरीका है। हालांकि, आमतौर पर एक अनुभाग जहां मैं हमेशा (उदाहरण के हिस्से के तीन के लिए ले के साथ संघर्ष …

4
क्या प्रोलॉग के साथ बाधा संतुष्टि समस्याओं को हल किया जा सकता है?
क्या "पार्टी अटेंडेंस" प्रकार की समस्याएं प्रोलॉग में हल करने योग्य हैं? उदाहरण के लिए: बर्डॉक मुलदून और कार्लोटा पिंकस्टोन दोनों ने कहा कि अगर अल्बस डंबलडोर आए तो वे आएंगे। एल्बस डंबलडोर और डेज़ी डोडरिज ने कहा कि अगर कार्लोटा पिंकस्टोन आए तो वे आएंगे। एल्बस डंबलडोर, बर्डॉक मुल्दून, …

4
क्या किसी ने वास्तव में एक सिस्टम बनाया है जो विनिर्देशन से कंप्यूटर प्रोग्राम लिखता है?
क्या किसी ने वास्तव में एक सिस्टम (सॉफ्टवेयर या सरल उदाहरणों के साथ कागज पर विस्तृत विवरण) लिखा है जो कंप्यूटर प्रोग्राम उत्पन्न करता है? मैं इनपुट करता हूं और यह एक प्रोग्राम बनाता है जो कि अभाज्य संख्याओं की संख्या 10. से कम है। को केवल रूप में परिभाषित …

3
एकीकरण इंजनों के लिए एकीकरण इतना महत्वपूर्ण क्यों है?
मैं अपने आप से ऑटोमेटेड थ्योरम प्रोविंग / एसएमटी सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में सवालों की एक श्रृंखला पोस्ट कर रहा हूं । मैं यूनीफिकेशन एल्गोरिथम के बारे में पढ़ता रहता हूं । यह क्या है और क्यों …

7
केवल 4 NAND गेट का उपयोग करके XOR गेट का निर्माण कैसे करें?
xorगेट, अब मुझे केवल 4 nandगेट का उपयोग करके इस गेट का निर्माण करने की आवश्यकता है a b out 0 0 0 0 1 1 1 0 1 1 1 0 xor = (a and not b) or (not a and b)है, जो A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} मुझे उत्तर पता है लेकिन …

2
जबकि कुछ नहीं करते कुछ इंट्रेंस इंजन को मानवीय सहायता की आवश्यकता क्यों है?
मैं अपने आप से ऑटोमेटेड थ्योरम प्रोविंग / एसएमटी सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में सवालों की एक श्रृंखला पोस्ट कर रहा हूं । ऐसा क्यों है कि स्वचालित प्रमेय साबित होता है, अर्थात् ACL2 , और श्रीमती सॉल्वर …

1
लिखित नियमों की एक प्रणाली का मूल्यांकन करने के तरीके
मैं एक ऐसी प्रणाली के साथ आने की कोशिश कर रहा था जो किसी संगठन के लिए उनके अंतर्निहित तर्क का निर्धारण करने के लिए bylaws का मूल्यांकन करेगी। मुझे लगता है कि नियमों का प्रतिनिधित्व करने के लिए एक प्रथम-क्रमिक विधेय प्रणाली काम करेगी, जिसे भाग-से-भाषण टैगिंग और अन्य …

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