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

एक माइक्रोप्रोसेसर में ALU एक हस्ताक्षरित संख्या के बीच अंतर कैसे करेगा, -7 जो कि 1111 द्वारा निरूपित है और एक अहस्ताक्षरित संख्या 15, जिसे 1111 भी निरूपित किया गया है?

17 arithmetic  binary 

ब्लैक बॉक्स का अर्थ है कि मैं किसी भी बिंदु पर बहुपद मूल्यांकन कर सकता हूं ।f(x)f(x)f(x)f(x)f(x)f(x) इनपुट : डिग्री के में गणित के बहुपद एक ब्लैक बॉक्स ।f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd आउटपुट: बहुपद के गुणांकों ।dddf(x)f(x)f(x) मेरा एल्गोरिथ्म: चलो f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x) = x^{d} + a_{d-1} x^{d-1} + \cdots + a_1 x + …

17 algorithms  polynomials 

विकिपीडिया से: सैद्धांतिक कंप्यूटर विज्ञान में, एल्गोरिथ्म की शुद्धता पर जोर दिया जाता है जब यह कहा जाता है कि विनिर्देश के संबंध में एल्गोरिथ्म सही है। लेकिन समस्या यह है कि "उपयुक्त" विनिर्देश प्राप्त करना कोई तुच्छ कार्य नहीं है, और सही पाने के लिए कोई 100% सही तरीका …

17 formal-methods  software-verification  program-correctness 

उदाहरण के लिए जब हम एक डीएफए पर विचार करते हैं जो स्ट्रिंग्स को न तो उप स्ट्रिंग की अनुमति देता है 00या 11मैं निम्नलिखित दो डीएफए का उत्पादन कर सकता हूं:

17 automata  finite-automata 

वहाँ कई (और मेरा मतलब है कई) गिनने योग्य भाषाएं हैं जो ट्यूरिंग-डिसिडेबल हैं। क्या कोई भी बेशुमार भाषा ट्यूरिंग डिसिडेबल हो सकती है?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

मैंने कहीं पढ़ा है कि सबसे कुशल एल्गोरिथ्म पाया में कारकों की गणना कर सकता समय है, लेकिन कोड मैंने लिखा है हे ( एन ) या संभवतः O ( n लॉग एन ) कितनी तेजी से विभाजन और मापांक पर निर्भर करता है। मुझे पूरा यकीन है कि मैंने …

17 complexity-theory  time-complexity  factoring  primes 

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

17 operating-systems 

मेरे एल्गोरिथ्म और डेटा संरचना पाठ्यक्रम में, प्रोफेसरों, स्लाइड्स और पुस्तक ( परिचय के लिए एल्गोरिथ्म, 3 डी संस्करण ) शब्द NILका उपयोग कर रहे हैं उदाहरण के लिए नोड के एक बच्चे (एक पेड़ में) मौजूद है जो मौजूद नहीं है। एक बार, एक व्याख्यान के दौरान, कहने के …

17 algorithms  terminology  data-structures  notation 

मैं आपको चौड़ाई k के nnn bitvectors की एक सूची देता हूं । आपका लक्ष्य उस सूची से दो बिटवेक्टरों को वापस करना है जिनका कोई 1s आम नहीं है, या फिर यह रिपोर्ट करें कि ऐसी कोई जोड़ी मौजूद नहीं है।kkk उदाहरण के लिए, यदि मैं आपको हूं[00110,01100,11000][00110,01100,11000][00110, 01100, …

17 algorithms  search-algorithms 

विकिपीडिया के अनुसार , परीक्षण और सेट ऑपरेशन दो से अधिक समवर्ती प्रक्रियाओं के लिए प्रतीक्षा-मुक्त सर्वसम्मति समस्या को हल कर सकता है। यह दो से अधिक प्रक्रियाओं के लिए समस्या का समाधान क्यों नहीं कर सकता है?

17 concurrency  consensus 

मुझे लगता है कि मुझे पता है कि "कठिन" वास्तविक समय का ऑपरेटिंग सिस्टम क्या है। यह एक अनुसूचक के साथ एक ऑपरेटिंग सिस्टम है जो एप्लिकेशन प्रोग्रामर के साथ एक अनुबंध प्रदान करता है। एक आवेदन प्रत्येक संसाधन आवंटन अनुरोध के साथ एक समय सीमा प्रदान करता है। यदि …

17 terminology  operating-systems  process-scheduling  real-time 

क्या किसी ने वास्तव में एक सिस्टम (सॉफ्टवेयर या सरल उदाहरणों के साथ कागज पर विस्तृत विवरण) लिखा है जो कंप्यूटर प्रोग्राम उत्पन्न करता है? मैं इनपुट करता हूं और यह एक प्रोग्राम बनाता है जो कि अभाज्य संख्याओं की संख्या 10. से कम है। को केवल रूप में परिभाषित …

17 logic  type-theory  coq  proof-assistants 

मैं HoTT पुस्तक के माध्यम से पढ़ रहा हूं और मेरे पास पथ प्रेरण के साथ एक कठिन समय है। जब मैं अनुभाग १.१२.१ में टाइप देखता हूं : मेरे पास यह समझने का कोई मुद्दा नहीं है कि इसका क्या अर्थ है (मैंने जांच करने के लिए मेमोरी से …

17 induction  dependent-types  homotopy-type-theory 

क्या एक ट्यूरिंग मशीन मौजूद है जो सभी इनपुटों पर रुकती है लेकिन यह संपत्ति किसी कारण से साबित नहीं होती है? मैं सोच रहा हूं कि क्या इस सवाल का अध्ययन किया गया है। ध्यान दें, "अनप्रोवेबल" का मतलब "सीमित" प्रूफ सिस्टम हो सकता है (जो कमजोर अर्थों में …

17 computability  reference-request  turing-machines  halting-problem 

मैंने "C ++ डीमिस्टीफाइड" पुस्तक का अध्ययन किया है । अब मैंने रॉबर्ट लॉफ्र द्वारा "ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग इन टर्बो सी ++ फर्स्ट एडिशन (पहला संस्करण)" पढ़ना शुरू कर दिया है । मुझे प्रोग्रामिंग का कोई ज्ञान नहीं है जो इन पुस्तकों से परे है। यह पुस्तक पुरानी हो सकती है …

17 programming-languages  object-oriented  programming-paradigms