ho.history-overview पर टैग किए गए जवाब

पुनरावृत्ति का विचार किसने पेश किया था ? क्या कोई समझा सकता है कि यह कहां से आया और कंप्यूटर विज्ञान पर इसका क्या प्रभाव पड़ा?

14 reference-request  ho.history-overview  recursion 

रॉबिन मिलनर ने बिग्रेड्स को ग्राफ-जैसी संरचना के साथ ग्राफिकल संरचना के एक प्रकार के रूप में परिभाषित किया , लेकिन जहां नोड्स को नेस्टेड किया जा सकता है। वे सीसीएस और जैसे प्रक्रिया पथरी सामान्यीकरण -calculus, लेकिन मिलनर उन्हें और अधिक आम तौर पर इस्तेमाल किया जा करने के …

14 process-algebra  ho.history-overview 

मैं खोज रहा हूँ: माइकल ओ। राबिन, "एक समारोह की गणना की कठिनाई की डिग्री, और पुनरावर्ती सेटों का आंशिक आदेश", हिब्रू विश्वविद्यालय, यरूशलेम, 1960 सारांश: “हम किसी दिए गए कम्प्यूटेबल (पुनरावर्ती) फ़ंक्शन की गणना के कार्य में निहित कार्य की मात्रा को मापने का प्रयास करते हैं। कंप्यूटिंग की …

13 cc.complexity-theory  reference-request  ho.history-overview 

मैं Intuitionistic Type थ्योरी (ITT) पर पढ़ रहा हूं और इसका कोई मतलब नहीं है। लेकिन जो मैं समझने के लिए संघर्ष कर रहा हूं वह "क्यों" है यह पहली बार में बनाया गया था? सहज ज्ञान युक्त तर्क (आईएल) और बस-टाइप किए गए -calculus (STLC) और सामान्य रूप से …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

एलन ट्यूरिंग का 100 वां जन्मदिन मनाने के लिए, मैं उनके जीवन के बारे में एक वृत्तचित्र देखना चाहता हूं। हालांकि, चुनने के लिए कई वृत्तचित्र हैं। एलन ट्यूरिंग के बारे में कौन सी डॉक्यूमेंट्री आपकी पसंदीदा है? कृपया प्रति उत्तर केवल एक वृत्तचित्र शामिल करें।

13 reference-request  soft-question  big-list  ho.history-overview 

मैं इन दो शब्दों के इतिहास के बारे में जानना चाहता हूं: " कुशल ", " व्यवहार्य "। पहली बार संगणना / एल्गोरिदम के बारे में उनका उपयोग किसने किया? (इन शब्दों के आधुनिक अर्थ में, 20 वीं शताब्दी)। वे मुख्यधारा कैसे बने? इन दोनों शब्दों को समानार्थक शब्द के …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

समकालिक तार्किक सर्किट का उपयोग करके एफएसएम को कैसे लागू किया जाए, यह सिखाते हुए, मैंने एक पेचीदा संयोग देखा: सैद्धांतिक सीएस दुनिया में, और इलेक्ट्रिकल इंजीनियरिंग की दुनिया में, "राज्य" को आमतौर पर (और राज्य स्थान क्यू ) निरूपित किया जाता है । मैं पहली बार EE.sx पर पूछा …

13 automata-theory  ho.history-overview 

मैं क्या, क्यों और कैसे की चारों ओर मेरे सिर लपेटो करने की कोशिश कर रहा है -calculus लेकिन मैं के साथ "कारण है कि यह काम करता है" पकड़ के लिए आने के लिए असमर्थ हूँ?λλ\lambda "सहज रूप से" मुझे ट्यूरिंग मशीन (टीएम) का कम्प्यूटेशनल मॉडल मिलता है। लेकिन …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

डाइक भाषाएँ को निम्नलिखित व्याकरण के सेट पर । सहज रूप से डाइक भाषाएँ विभिन्न प्रकार के के संतुलित कोष्ठक की भाषाएँ हैं । उदाहरण के लिए, में है लेकिन नहीं है।S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k){ ( 1 , ... , ( कश्मीर , ) 1 , ... , ) कश्मीर …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

पहले शब्द का उपयोग हिल्बर्ट ने अपने 1928 के काम में किया है, लेकिन गोडेल के बाद के काम में, यही बात Unvollständigkeitssatz ("अपूर्णता प्रमेय") के रूप में संदर्भित की जाती है । आज के जर्मन सीएस शोधकर्ताओं के लिए, ऐसा लगता है कि Unvollständigkeitssatz अधिक सामान्यतः उपयोग किया जाता …

11 lo.logic  computability  ho.history-overview 

कंप्यूटर से संबंधित सभी संग्रहालयों और प्रदर्शनों से मैं केवल कंप्यूटिंग मशीनरी के इतिहास को कवर करने के लिए प्रतीत होता हूं, लेकिन कंप्यूटर विज्ञान के विषयों पर कुछ भी नहीं। आप कम्प्यूटिंग, मनोरंजन, / कंप्यूटर विज्ञान / संचार / गणित विषयों की एक विस्तृत विविधता में आम जनता को …

11 soft-question  big-list  ho.history-overview 

यह सर्वविदित है कि चार्ल्स बैबेज की विश्लेषणात्मक मशीन में आधुनिक वॉन न्यूमैन वास्तुकला की दृढ़ता से एक वास्तुकला थी। इसके अलावा, यह उल्लेखनीय है कि बैबेज की विश्लेषणात्मक मशीन ( http://www.fourmilab.ch/babbage/figures/menat3.png ) और वॉन न्यूमैन के काम (जैसे http://library.ias.edu ) के लिए एक कार्यक्रम का प्रतिनिधित्व करने के लिए …

10 ho.history-overview 

क्या किसी को पता है कि सिस्टम "एफ" और सिस्टम "टी" नाम कहां से आते हैं? मैं यह नहीं पूछ रहा हूं कि उन नामों (गिरार्ड सिस्टम एफ, और गोडेल सिस्टम टी) को किसने पेश किया, लेकिन "एफ" और "टी" का क्या अर्थ है।

9 ho.history-overview  type-systems  formal-systems 

अगर मैं सही ढंग से समझूं, तो उस समस्या को साबित करने के लिए एएA एनपी कठिन है, आप सभी संभावित समस्याओं लेने के लिए की जरूरत हैबीमैंबीमैंB_{i} एनपी में हैं और फिर साबित करते हैं कि वे कम करने के लिए एएA एक बहुपद समय कम्प्यूटेशनल फ़ंक्शन का उपयोग …

9 soft-question  ho.history-overview  cook-levin 

(माफी अगर यह गलत है या बहुत व्यापक है। मैं सुझाव दूंगा कि इसे कैसे सुधारना है।) मैं अधिकतम-प्रवाह एल्गोरिदम के "प्राचीन" इतिहास को वापस ट्रेस करने में रुचि रखता हूं, और सामान्य रूप से असतत अनुकूलन एल्गोरिदम। Ford-Fulkerson मेरा स्ट्रगल-मैन है जो एक शुरुआती बिंदु है। उससे पहले महत्वपूर्ण …

9 ds.algorithms  graph-algorithms  ho.history-overview