मैं एक एल्गोरिथ्म के बारे में पढ़ रहा हूँ (यह एक पथ खोजने वाला एल्गोरिथ्म है जो A * पर आधारित है), और इसमें एक गणितीय प्रतीक शामिल है जिससे मैं अपरिचित हूँ: (
यहाँ संदर्भ है:
v (s) (g (s) = मिनट s'edpred (s) (v (s ') + c (s), s) ≠ s प्रारंभ
क्या कोई ∀ का अर्थ समझा सकता है?
जवाबों:
यह "forall" (सभी के लिए) प्रतीक है, जैसा कि विकिपीडिया के गणितीय प्रतीकों की तालिका या यूनिकोड forall character ( \u2200, character ) में देखा गया है।
उल्टा एक प्रतीक विधेय तर्क से सार्वभौमिक मात्रात्मक है । ( प्रथम-क्रम विधेय की अधिक संपूर्ण चर्चा भी देखें ।) जैसा कि अन्य ने उल्लेख किया है, इसका अर्थ है कि दिए गए चर "दिए गए चर" (यहाँ, s ) के "सभी उदाहरणों" के लिए हैं । आप जल्द ही इसके भाई-बहन में भाग लेंगे, बैकवर्ड कैपिटल E , जो कि अस्तित्वमान मात्रात्मक है , जिसका अर्थ है कि संबंधित चर के अनुरूप दिए गए चर का "कम से कम एक" मौजूद है।
यदि आप तर्क में रुचि रखते हैं, तो आप पुस्तक तर्क और डेटाबेस का आनंद ले सकते हैं : सीजे तिथि द्वारा संबंधपरक सिद्धांत की जड़ें । इन मात्राओं और उनके तार्किक निहितार्थों को कवर करने वाले कई अध्याय हैं। आपको इस पुस्तक के तर्क की कवरेज से लाभ उठाने के लिए डेटाबेस के साथ काम करने की आवश्यकता नहीं है।
गणित में, math का अर्थ है ALL।
यूनिकोड वर्ण (\ u2200, \)।
हां, ये गणित में उपयोग किए जाने वाले प्रसिद्ध क्वांटिफायर हैं। एक अन्य उदाहरण ∃ है जो "मौजूद" के रूप में पढ़ता है।