मैं एक एल्गोरिथ्म के बारे में पढ़ रहा हूँ (यह एक पथ खोजने ए * के आधार पर एल्गोरिथ्म है), और यह एक गणितीय प्रतीक मैं के साथ अपरिचित हूँ शामिल हैं:एल्गोरिदम में अपरिचित प्रतीक: ∀ मतलब क्या है?
: ∀
यहाँ संदर्भ है वी (रों) ≥ जी (रों) = मिनट s'∈pred (रों) (V (रों ') + स (रों', रों)) ∀s ≠ रों शुरू
कोई कर सकता हूँ ∀ के अर्थ की व्याख्या करें?
यह "फोरल" (सभी के लिए) प्रतीक है, जैसा कि Wikipedia's table of mathematical symbols या Unicode forall character (\u2200, ∀) में देखा गया है।
यह समझ में आता है: "... सभी के लिए असमान [एस] शुरू करें" – devuxer
प्रतीकों की तालिका के लिंक के लिए धन्यवाद और +1। मैं उपयोग करूंगा अगली बार जब मैं स्टंप हो गया हूं (for के लिए Google को खोजना कोई रिकॉर्ड नहीं है) – devuxer
लॉल, मैंने कभी प्रतीकों के लिए गुगलिंग के बारे में सोचा नहीं था। और स्पष्ट रूप से मैंने कुछ भी नहीं खोया। –
गणित में, ∀ का अर्थ सभी के लिए है।
यूनिकोड चरित्र (\ u2200, ∀)।
वे इसे "सार्वभौमिक योग्यता" कहते हैं। तुलना करें "मौजूदा योग्यता" के साथ। http: //en.wikipedia।संगठन/विकी/सार्वभौमिक_क्वांतिफिकेशन –
@ एसएलओटी: उल्लेख करने के लिए nitpick s/qualifier/quantifier –
, पढ़ा जा सकता है "सभी तरह के एस के लिए कि रों बराबर नहीं रों [शुरू]"
उलटा एक प्रतीक predicate logic से सार्वभौमिक परिमाणक है। (first-order predicate calculus की अधिक संपूर्ण चर्चा भी देखें।) जैसा कि अन्य ने नोट किया है, इसका मतलब है कि दिए गए दावों में दिए गए चर के "सभी उदाहरणों के लिए" (यहां, एस) शामिल है। आप जल्द ही अपने भाई, पिछली राजधानी ई पर चलेंगे, जो अस्तित्वत्मक क्वांटिफ़ायर है, जिसका अर्थ है "संबंधित कम से कम एक निर्दिष्ट चर के अनुरूप"।
यदि आप तर्क में रूचि रखते हैं, तो आप सीजे दिनांक द्वारा Logic and Databases: The Roots of Relational Theory पुस्तक का आनंद ले सकते हैं। इन क्वांटिफायर और उनके तार्किक प्रभाव को कवर करने वाले कई अध्याय हैं। इस पुस्तक के तर्क के कवरेज से लाभ उठाने के लिए आपको डेटाबेस के साथ काम करने की ज़रूरत नहीं है।
+1 U (यू + 2203 वहां मौजूद हैं)। वास्तव में ∀ और ∃ सामान्य रूप से पूर्वानुमान गणना में उपयोग किया जाता है, चाहे यह प्रथम क्रम या उच्च-आदेश हो। दूसरे क्रम के उदाहरण के लिए, पेनो अंकगणित के प्रेरण वसंत में आप भविष्यवाणी करते हैं और write पी लिखते हैं। – starblue
इसे इंगित करने के लिए धन्यवाद। मैंने आपके सुझाव के संदर्भ में संशोधन किया। – seh
हां, ये गणित में उपयोग किए जाने वाले प्रसिद्ध क्वांटिफायर हैं। एक और उदाहरण है ∃ जो "अस्तित्व" के रूप में पढ़ता है।
@Koper, आदेश में इस एल्गोरिथ्म कार्यक्रम में, मैं समझता हूँ कि क्या एल्गोरिथ्म करता है की जरूरत है। यह प्रोग्रामिंग से संबंधित * नहीं * कैसे है? – devuxer
@DanThMan: ठीक है, तकनीकी रूप से यह एक सामान्य गणित प्रश्न है, लेकिन मुझे नहीं लगता कि यह बंद होने लायक है। –
@ कोपर: यह वास्तव में एक बुरा सादृश्य है। –