soft-question पर टैग किए गए जवाब

एक नरम सवाल सैद्धांतिक कंप्यूटर विज्ञान के क्षेत्र के बारे में एक सवाल (संभवतः व्यक्तिपरक) है, जो सैद्धांतिक कंप्यूटर विज्ञान में एक सवाल होने के विपरीत है।

7
अनुसंधान डेटा संगठन
यह इस एक की भावना में एक सवाल है, जहां मैंने जवाब दिया कि आपने जो कुछ किया है, आपने उसे क्यों किया है और क्या काम नहीं कर रहा है, इस पर नज़र रखना महत्वपूर्ण है। मैं व्यक्तिगत रूप से उस उद्देश्य के लिए नोटबुक का उपयोग करता हूं, …
9
क्या सैद्धांतिक कंप्यूटर विज्ञान के दार्शनिक प्रभाव पर कोई किताब है?
मुझे कंप्यूटर के बारे में कुछ किताबें मिलीं, लेकिन वे सभी तकनीक के बारे में हैं। मैं कुछ और अधिक सिद्धांत से जुड़ा हुआ चाहता हूं।
2
(कैसे) हम कम्प्यूटिंग के ट्यूरिंग मॉडल की अनुपस्थिति में एनपी समस्याओं की खोज / विश्लेषण कर सकते हैं?
विशुद्ध रूप से अमूर्त गणित / कम्प्यूटेशनल तर्क के दृष्टिकोण से, (कैसे) 3-सैट, सबसेट सम, ट्रैवलिंग सेल्समैन आदि जैसी समस्याओं के बारे में भी पता लगा सकता है। क्या हम किसी भी सार्थक तरीके से उनके बारे में तर्क करने में सक्षम होंगे, केवल कार्यात्मक दृष्टिकोण के साथ? क्या यह …
2
जहाँ सैद्धांतिक कंप्यूटर विज्ञान के बारे में अधिक जानने के लिए कहाँ है?
मैं गणित में एक स्नातक छात्र हूं, और सैद्धांतिक कंप्यूटर विज्ञान एक ऐसा डोमेन है जिसे मैंने कभी नहीं समझा कि यह क्या है क्योंकि मैं इस विषय के बारे में एक अच्छा पढ़ा नहीं पाया। मैं जानना चाहता हूं कि यह डोमेन वास्तव में क्या है, यह किस तरह …
1
लॉजिक में "बाध्य चर" को खत्म करने पर स्कोन्फ़िंकल का काम इतना महत्वपूर्ण क्यों था?
AFAIK, उच्च आदेश कार्यों का उपयोग करने का पहला सबूत वापस Schönfinkel के 1924 के पेपर पर जाता है: "गणितीय तर्क के बिल्डिंग ब्लॉक्स पर" - जहां उन्होंने एक को अन्य कार्यों के तर्क के रूप में कार्य करने की अनुमति दी। यह दिलचस्प लगता है। हालाँकि, जो कुछ भी …
5
टीसीएस में पैदल सेना के उदाहरण
लैरी वासरमैन के पास एक हालिया पोस्ट है जहां वह "पी-वैल्यू पुलिस" के बारे में बात करते हैं। वह एक दिलचस्प बिंदु बनाता है (सभी जोर मेरा) (इटैलिक्स में आधार जो मैंने जोड़ा, और इसके नीचे उसकी प्रतिक्रिया): सबसे आम शिकायत यह है कि भौतिकविदों और पत्रकारों ने पी-मूल्य के …
1
में
आदेश रखरखाव समस्या (या "एक सूची में व्यवस्था बनाए रखना") संचालन का समर्थन करना है: singleton: एक आइटम के साथ एक सूची बनाता है, इसके लिए एक पॉइंटर लौटाता है insertAfter: किसी आइटम को एक पॉइंटर दिया जाता है, उसके बाद एक नया आइटम सम्मिलित करता है, एक पॉइंटर को …
1
एल्गोरिदम डिजाइन और जटिलता - उस 'तरीके' में कैसे सोचें?
मेरा प्रश्न एक सामान्य है: मैं अल्गोरिदम डिजाइन और जटिलता के संदर्भ में कैसे सोचना शुरू करूं? मैं एलगोरिदम डिजाइन में ग्रेजुएट कोर्स करने जा रहा हूं। मैंने पहले इसमें दाखिला लिया था लेकिन बाद में इसे छोड़ दिया क्योंकि मैं इसके साथ नहीं रह सकता था। मुझे इस कोर्स …
10
भौतिकी के सिद्धांत के रूप में एनपी-पूर्ण समस्याओं की संवेदनशीलता?
पी बनाम एनपी प्रश्न के लिए या प्रयोगात्मक गणित से संख्यात्मक प्रमाणों की कमी से मैं हमेशा परेशान रहता हूं। जबकि रीमैन हाइपोथीसिस के संख्यात्मक सत्यापन से कुछ सहायक सबूत हैं, मुझे पी बनाम एनपी प्रश्न के लिए इसी तरह के सबूत के बारे में पता नहीं है। इसके अतिरिक्त, …
6
क्वांटम कंप्यूटिंग परियोजना के विचार
मैं स्नातक कंप्यूटर विज्ञान का छात्र हूं और वर्तमान में अपनी स्नातक परियोजना के लिए योजना बना रहा हूं। मुझे क्वांटम कंप्यूटिंग क्षेत्र में कुछ विचारों की आवश्यकता है। कोई मदद?
2
जटिलता सिद्धांत अनुसंधान में सबूत सहायक उपयोग?
एसटीओसी जैसे सम्मेलन में शामिल विषयों पर विचार करते हुए, क्या कोई एल्गोरिथ्म या जटिलता शोधकर्ता सीओक्यू या इसाबेल का सक्रिय रूप से उपयोग कर रहे हैं? यदि हां, तो वे अपने शोध में इसका उपयोग कैसे कर रहे हैं? मुझे लगता है कि ज्यादातर लोग ऐसे उपकरणों का उपयोग …
4
प्रोग्रामर के लिए सैद्धांतिक कंप्यूटर विज्ञान स्व-अध्ययन संसाधन
मैं एक बहुत ही कुशल सॉफ्टवेयर इंजीनियर हूं, लेकिन मैं ज्यादा सिद्धांत नहीं जानता। मैं और अधिक सिद्धांत सीखना चाहता हूं। जिन विषयों में मेरी रुचि है, वे हैं: कम्प्यूटेशनल जटिलता, औपचारिक भाषा और प्रकार सिद्धांत। लेकिन मैं इन क्षेत्रों के बारे में सीखना शुरू करने के लिए एक नुकसान …
2
गणितज्ञों के लिए संसाधन अधिक कंप्यूटर विज्ञान सीखने की उम्मीद करते हैं
पृष्ठभूमि : मैं गणित में अपनी स्नातकोत्तर डिग्री के अंत में आ रहा हूं और अगस्त में लॉजिक में पीएचडी शुरू करूंगा। मैं जितना अधिक तर्क का अध्ययन करता हूं, उतने अधिक सैद्धांतिक कंप्यूटर विज्ञान से अवगत कराया जाता है, जैसे पुनरावृत्ति सिद्धांत, लैम्ब्डा कैलकुलस, लेकिन अंतर्निहित सीएस को गलीचा …
7
गणितीय विश्लेषण और कम्प्यूटेशनल जटिलता?
कम्प्यूटेशनल जटिलता में बड़ी मात्रा में कॉम्बिनेटरिक्स और संख्या सिद्धांत शामिल हैं, स्टोकेस्टिक्स से कुछ अंतर्ग्रहण और बीजगणित की एक उभरती हुई राशि। हालांकि, एक विश्लेषक होने के नाते, मुझे आश्चर्य है कि क्या इस क्षेत्र में विश्लेषण के अनुप्रयोग हैं, या शायद विश्लेषण से प्रेरित विचार हैं। सभी मुझे …
1
मार्टिन-लोफ को अंतर्ज्ञानवादी सिद्धांत बनाने की आवश्यकता क्यों थी?
मैं Intuitionistic Type थ्योरी (ITT) पर पढ़ रहा हूं और इसका कोई मतलब नहीं है। लेकिन जो मैं समझने के लिए संघर्ष कर रहा हूं वह "क्यों" है यह पहली बार में बनाया गया था? सहज ज्ञान युक्त तर्क (आईएल) और बस-टाइप किए गए -calculus (STLC) और सामान्य रूप से …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.