कंप्यूटर विज्ञान

मैं प्रोग्रामिंग लैंग्वेज थ्योरी में नया हूं। मैं कुछ ऑनलाइन व्याख्यान देख रहा था जिसमें प्रशिक्षक ने दावा किया था कि बहुरूपिया प्रकार के साथ एक फ़ंक्शन forall t: Type, t->tपहचान है, लेकिन यह क्यों नहीं समझाया। क्या कोई मुझे समझा सकता है क्यों? शायद पहले सिद्धांतों से दावे का …

18 programming-languages  type-theory 

स्थापना: backreferences के साथ नियमित अभिव्यक्ति एकात्मक भाषा (1-प्रतीक वर्णमाला) इस सेटिंग में निम्नलिखित समस्या निर्णायक है: बैकरेफरेंस के साथ एक नियमित अभिव्यक्ति को देखते हुए, क्या यह एक नियमित भाषा को परिभाषित करता है? उदाहरण के लिए, (aa+)\1एक नियमित भाषा को परिभाषित करता है, जबकि (aa+)\1+नहीं करता है। क्या …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

मैं थोड़ा निर्भर प्रकार के सिद्धांत को जानता हूं। विकिपीडिया से: एक आश्रित प्रकार एक प्रकार है जिसकी परिभाषा एक मूल्य पर निर्भर करती है। और मेरे प्रकार सिद्धांत पाठ्यक्रम से मुझे याद है कि एक निर्भर प्रकार है: एक प्रकार से अनुक्रमित प्रकार के परिवार। लेकिन मुझे आश्रित प्रकार …

18 dependent-types  hoare-logic 

मुझे एनपी-पूर्ण निर्णय समस्या है। समस्या की एक उदाहरण को देखते हुए, मैं एक एल्गोरिथ्म डिजाइन करना चाहूंगा जो यस को आउटपुट करता है, यदि समस्या संभव है, और, नहीं, अन्यथा। (बेशक, अगर एल्गोरिथ्म इष्टतम नहीं है, तो यह त्रुटी करेगा।) मुझे इस तरह की समस्याओं के लिए कोई सन्निकटन …

18 algorithms  satisfiability  approximation  decision-problem 

अंतर्निहित प्रश्न: लैम्ब्डा कैलकुलस हमारे लिए क्या करता है कि हम मूल कार्य गुणों और संकेतन के साथ नहीं कर सकते हैं जो आम तौर पर मिडिल स्कूल बीजगणित में सीखा जाता है? सबसे पहले, लैम्बडा कैलकुलस के संदर्भ में सार का क्या अर्थ है? अमूर्त शब्द की मेरी समझ …

18 lambda-calculus  programming-paradigms 

मुझे आश्चर्य है कि लोग नए प्रकार के सिद्धांतों को जोड़ते रहते हैं, लेकिन कोई भी एक न्यूनतम सिद्धांत का उल्लेख नहीं करता है (या मुझे नहीं मिल सकता है)। मैंने सोचा कि मठवासी कम से कम सामान पसंद करते हैं, नहीं? यदि मैं सही ढंग से समझता हूं, तो …

18 type-theory  dependent-types 

मेरे पास थोड़ा इतिहास का सवाल है, अर्थात्, जैसा कि शीर्षक कहता है, मैं कंप्यूटर विज्ञान में पेड़ों के शुरुआती उपयोग (डेटा संरचना, खोज पेड़, जो भी हो) के लिए देख रहा हूं ।

18 data-structures  reference-request  trees  history 

मेमोरी का उपयोग कई चीजों के लिए किया जाता है, जैसा कि मैं समझता हूं। यह एक डिस्क-कैश के रूप में कार्य करता है, और इसमें प्रोग्राम के निर्देश, और उनके स्टैक और ढेर होते हैं। यहाँ एक सोचा प्रयोग है। अगर कोई कंप्यूटर को क्रंच करने के लिए लगने …

18 computability  memory-management  memory-hardware 

मैंडलब्रॉट सेट गणित में एक खूबसूरत प्राणी है। उच्च परिशुद्धता के साथ बनाए गए इस सेट के बहुत सारे सुंदर चित्र हैं, इसलिए स्पष्ट रूप से यह सेट कुछ अर्थों में "कम्प्यूटेबल" है। हालांकि, मुझे क्या चिंता है कि तथ्य यह है कि यह भी पुनरावृत्ति करने योग्य नहीं है …

18 computability 

कहा जा रहा है कि ene यूजीन गोस्टमैन ’, एक कंप्यूटर प्रोग्राम जिसे एक 13 वर्षीय लड़के का अनुकरण करने के लिए विकसित किया गया था, 33 प्रतिशत न्यायाधीशों को यह समझाने में कामयाब रहा कि यह मानव था, और इस तरह ट्यूरिंग टेस्ट पास किया। कंप्यूटर प्रोग्राम, उर्फ ​​एक …

18 reference-request  artificial-intelligence  history  turing-test 

रेंडमाइज्ड क्विक सॉर्ट क्विक सॉर्ट का एक विस्तार है जिसमें धुरी तत्व को यादृच्छिक रूप से चुना जाता है। इस एल्गोरिथ्म की सबसे खराब स्थिति समय जटिलता क्या हो सकती है। मेरे अनुसार, यह O(n2)O(n2)O(n^2) होना चाहिए , क्योंकि सबसे खराब स्थिति तब होती है जब बेतरतीब ढंग से चुनी …

18 algorithm-analysis  runtime-analysis  sorting  quicksort 

ट्यूरिंग मशीन (टीएम) की प्राथमिक परिभाषा, कम से कम मेरे स्वयं के संदर्भ पाठ्यपुस्तक (हॉपक्रॉफ्ट + उलेमन 1979) में नियतात्मक है। इसलिए हॉल्टिंग समस्या के बारे में मेरी अपनी समझ मुख्य रूप से निर्धारक टीएम के लिए है, हालांकि मैं जानता हूं कि इसे अन्य प्रकार के ऑटोमेटा के लिए …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

एक समस्या पर सोचने के दौरान, मुझे एहसास हुआ कि मुझे निम्नलिखित कार्य को हल करने के लिए एक कुशल एल्गोरिथ्म बनाने की आवश्यकता है: समस्या: हमें साइड दो-आयामी वर्ग बॉक्स दिए गए हैं जिनके किनारे कुल्हाड़ियों के समानांतर हैं। हम इसे शीर्ष के माध्यम से देख सकते हैं। हालाँकि, …

18 algorithms  data-structures  time-complexity  computational-geometry 

एक पक्षपाती मृत्यु को देखते हुए , श्रेणी में एक यादृच्छिक संख्या समान रूप से कैसे उत्पन्न की जा सकती है? मरने वाले चेहरों की संभाव्यता वितरण ज्ञात नहीं है, यह सब ज्ञात है कि प्रत्येक चेहरे में एक नॉनजेरो संभावना है और यह कि संभाव्यता वितरण सभी थ्रो (विशेष …

18 probability-theory  randomized-algorithms  random-number-generator 

क्या यह परीक्षण करने के लिए एक एल्गोरिथ्म / व्यवस्थित प्रक्रिया है कि क्या कोई भाषा संदर्भ-मुक्त है? दूसरे शब्दों में, बीजीय रूप में निर्दिष्ट भाषा को देखते हुए ( ) के बारे में सोचें , परीक्षण करें कि भाषा संदर्भ-मुक्त है या नहीं । कल्पना करें कि हम अपने …

18 algorithms  formal-languages  context-free  decision-problem