mathematical-foundations पर टैग किए गए जवाब

प्रासंगिक गणितीय नींव और उनके आवेदन के लिए कंप्यूटर विज्ञान के (उपक्षेत्र) के संबंध के बारे में प्रश्न।

29
कंप्यूटर कोड लिखने की तुलना में गणितीय प्रमाण को अधिक दोषपूर्ण क्यों लिखा जा रहा है?
मैंने देखा है कि मुझे बगैर किसी गलती के कंप्यूटर प्रोग्राम लिखने की तुलना में गणितीय प्रमाण लिखना बहुत आसान लगता है। ऐसा लगता है कि यह सिर्फ मेरे अनुभव की तुलना में कुछ अधिक व्यापक है। अधिकांश लोग अपनी प्रोग्रामिंग में हर समय सॉफ़्टवेयर बग बनाते हैं, और उनके …
3
वास्तव में एक तर्क क्या है?
एक माफी आवश्यक शर्तें के बारे में एक और सवाल पूछने के कारण हो सकती है, लेकिन मैं शुरुआती बिंदुओं के बारे में उलझन में था। मैं "मोडल लॉजिक", "टेम्पोरल लॉजिक", "फ़र्स्ट-लॉजिक लॉजिक", "सेकंड ऑर्डर लॉजिक" और "हायर ऑर्डर लॉजिक" जैसे कई शब्दों के साथ आया हूँ। इस संदर्भ में …
11
कंप्यूटर विज्ञान में डेटा को असतत क्यों माना जाता है?
मैं समझता हूं कि डेटा की "संरचना" पूरी तरह से बूलियन बीजगणित पर निर्भर है, लेकिन: डेटा को एक निरंतर के बजाय एक असतत गणितीय इकाई क्यों माना जाता है? इससे संबंधित: कमियां, या अपरिवर्तनशीलताओं, कि में एक सतत इकाई के रूप में संरचना डेटा में उल्लंघन होता है क्या …
2
क्या कोई प्रोग्रामिंग भाषा सामान्य पुनरावर्ती कार्यों को अपने आधार के रूप में उपयोग करती है?
यह एक भोलापन है और इसलिए, संभवतः विकृत सवाल है, इसलिए अग्रिम में माफी! मेरा विचार है कि ट्यूरिंग मशीन को प्रक्रियात्मक / अनिवार्य प्रोग्रामिंग भाषाओं के लिए कम्प्यूटेशनल आधार के रूप में देखा जा सकता है। इसी प्रकार, लंबा कैलकुलस कार्यात्मक प्रोग्रामिंग भाषाओं की नींव है। मुझे हाल ही …
6
सैद्धांतिक संदर्भ में गणित से कंप्यूटर विज्ञान को क्या अलग करता है?
मैं कंप्यूटर विज्ञान का एक विश्वविद्यालय स्तर का छात्र हूँ, जिसे गणित का अध्ययन करने का बड़ा शौक है। मेरा दृढ़ विश्वास है कि कंप्यूटर विज्ञान या सैद्धांतिक कंप्यूटर विज्ञान गणित और तर्कशास्त्र की एक सीधी शाखा है और इस राय का भी है कि कंप्यूटर विज्ञान की डिग्री हमेशा …
6
कंप्यूटर विज्ञान में रैखिक बीजगणित के किस भाग का उपयोग किया जाता है?
मैं कंप्यूटर विज्ञान सामग्री (मुख्य रूप से मशीन सीखने) को समझने में मदद करने के लिए रेखीय बीजगणित और इसके अनुप्रयोगों को पढ़ रहा हूं, लेकिन मुझे चिंता है कि बहुत सी जानकारी सीएस के लिए उपयोगी नहीं है। उदाहरण के लिए, यह जानना कि रैखिक समीकरणों की प्रणालियों को …
3
शैनॉन एन्ट्रॉपी ऑफ़ 0.922, 3 डिस्टिक्ट वैल्यूज़
मूल्यों की एक स्ट्रिंग को देखते हुए AAAAAAAABCAAAAAAAABCAAAAAAAABC लॉग आधार में, शैनन Entropy 222 के लिए आता है 0.9220.9220.922 । मैं जो समझता हूं, उसके आधार 222 में शैनन एन्ट्रॉपी राउंडेड है जो कि बाइनरी की न्यूनतम संख्या है, जिसमें से किसी एक मान का प्रतिनिधित्व किया जा सकता है। …
1
गणित विषय या क्षेत्र जो कंप्यूटर प्रोग्रामिंग प्रवीणता बढ़ाते हैं? [बन्द है]
बंद हो गया । यह सवाल राय आधारित है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न को अपडेट करें ताकि इस पोस्ट को संपादित करके तथ्यों और उद्धरणों के साथ उत्तर दिया जा सके । 2 साल पहले बंद हुआ …
2
ट्यूरिंग मशीन के रुकने के बराबर गणितीय अनुमान
यह प्रश्न इस बारे में है कि क्या प्रत्येक गणितीय प्रमेय को इस प्रश्न के लिए कम किया जा सकता है कि क्या एकल ट्यूरिंग मशीन रुकती है। विशेष रूप से, मुझे ऐसे अनुमानों में दिलचस्पी है जो वर्तमान में अप्रमाणित हैं। उदाहरण के लिए: विकिपीडिया कहता है कि यह …
2
मार्कोव चेन क्या हैं?
मैं वर्तमान में मार्कोव श्रृंखला के बारे में कुछ पेपर पढ़ रहा हूँ, मैं एक मार्कोव श्रृंखला और एक सादे निर्देशित भारित ग्राफ के बीच का अंतर देखने में असफल रहा हूँ। उदाहरण के लिए, मार्कोव श्रृंखला में इष्टतम स्टेट-स्पेस गांठ में वे CTMC (निरंतर समय मार्कोव श्रृंखला) की निम्नलिखित …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.