1546 Question 1546 EN + हिं Medium GB Which protocol enables multipath TCP? IN कौन सा प्रोटोकॉल मल्टीपाथ टीसीपी को सक्षम बनाता है? A Standard TCP मानक टीसीपी B MPTCP (Multipath TCP - RFC 8684) एमपीटीसीपी (मल्टीपाथ टीसीपी - आरएफसी 8684) C UDP यूडीपी D SCTP एससीटीपी ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) MPTCP extends TCP to use multiple network paths simultaneously for better throughput and resilience. व्याख्या (हिन्दी) एमपीटीसीपी बेहतर थ्रूपुट और लचीलेपन के लिए एक साथ कई नेटवर्क पथों का उपयोग करने के लिए टीसीपी का विस्तार करता है। 🎯 Exam Perspective Computer Fundamentals ("Introduction to Computer" sub-topic) के इस प्रश्न को — difficulty level "Medium" कई प्रतियोगी परीक्षाओं जैसे SSC, Railway, Banking और State PCS में repeat होते देखा गया है। Concept clarity के लिए explanation section जरूर पढ़ें। 🔗 Related Questions Regular language is recognized by? Loop invariant is used to prove? Lambda calculus was developed by? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1547 Question 1547 EN + हिं Medium GB SCTP (Stream Control Transmission Protocol) advantages include? IN एससीटीपी (स्ट्रीम कंट्रोल ट्रांसमिशन प्रोटोकॉल) के फायदों में शामिल हैं? A Lower speed than TCP टीसीपी से कम गति B Multi-homing, multi-streaming, and message-oriented transport मल्टी-होमिंग, मल्टी-स्ट्रीमिंग और संदेश-उन्मुख परिवहन C No reliability कोई विश्वसनीयता नहीं D UDP-like simplicity यूडीपी जैसी सादगी ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) SCTP supports multi-homing (multiple IPs), multiple streams, and message-oriented delivery with TCP-like reliability. व्याख्या (हिन्दी) एससीटीपी टीसीपी जैसी विश्वसनीयता के साथ मल्टी-होमिंग (एकाधिक आईपी), मल्टीपल स्ट्रीम और संदेश-उन्मुख डिलीवरी का समर्थन करता है। 🎯 Exam Perspective यह सवाल Computer Fundamentals ("Introduction to Computer" sub-topic) category का है — difficulty level "Medium", और SSC CGL, IBPS, RRB और State-level परीक्षाओं के exam pattern में इस तरह के questions common हैं। Answer choose करने के बाद दिया गया explanation जरूर पढ़ें। 🔗 Related Questions Formal verification in software? Which protocol is used for network time synchronization... Hoare triple {P} C {Q} means? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1548 Question 1548 EN + हिं Medium GB Which protocol is used for network time synchronization in data centers? IN डेटा सेंटरों में नेटवर्क टाइम सिंक्रोनाइज़ेशन के लिए किस प्रोटोकॉल का उपयोग किया जाता है? A NTP एनटीपी B PTP/IEEE 1588 (Precision Time Protocol) पीटीपी/आईईईई 1588 (प्रिसिजन टाइम प्रोटोकॉल) C GPS only केवल जीपीएस D SNMP एसएनएमपी ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) PTP/IEEE 1588 provides nanosecond-level time synchronization for data centers, financial systems, and telecom. व्याख्या (हिन्दी) पीटीपी/आईईईई 1588 डेटा केंद्रों, वित्तीय प्रणालियों और दूरसंचार के लिए नैनोसेकंड-स्तरीय समय सिंक्रनाइज़ेशन प्रदान करता है। 🎯 Exam Perspective यह प्रश्न Computer Fundamentals ("Introduction to Computer" sub-topic) की तैयारी करने वाले अभ्यर्थियों के लिए उपयोगी है — difficulty level "Medium"। इस तरह के प्रश्न अक्सर UPSC, SSC, Banking और Police भर्ती जैसी परीक्षाओं में पूछे जाते रहे हैं, इसलिए concept और explanation दोनों को ध्यान से समझें, सिर्फ उत्तर याद न करें। 🔗 Related Questions Which protocol enables multipath TCP? Loop invariant is used to prove? Lambda calculus was developed by? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1549 Question 1549 EN + हिं Medium GB White-box networking uses? IN व्हाइट-बॉक्स नेटवर्किंग का उपयोग करता है? A Proprietary hardware and software मालिकाना हार्डवेयर और सॉफ्टवेयर B Commodity hardware with disaggregated software (OS/apps from different vendors) अलग-अलग सॉफ़्टवेयर के साथ कमोडिटी हार्डवेयर (विभिन्न विक्रेताओं के ओएस/ऐप्स) C Only virtual networking केवल वर्चुअल नेटवर्किंग D Legacy protocols विरासत प्रोटोकॉल ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) White-box networking separates hardware from software, using commodity switches with open NOS (SONiC, OpenSwitch). व्याख्या (हिन्दी) व्हाइट-बॉक्स नेटवर्किंग ओपन एनओएस (SONiC, OpenSwitch) के साथ कमोडिटी स्विच का उपयोग करके हार्डवेयर को सॉफ्टवेयर से अलग करती है। 🎯 Exam Perspective Computer Fundamentals ("Introduction to Computer" sub-topic) से जुड़ा यह सवाल — difficulty level "Medium" उन students के लिए काम का है जो Railway, SSC, Banking और Defence परीक्षाओं की तैयारी कर रहे हैं। बेहतर होगा कि explanation पढ़कर concept clear करें, ताकि exam में similar प्रश्न आने पर confusion न हो। 🔗 Related Questions Model checking in formal verification? Which protocol is used for network time synchronization... Formal verification in software? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1550 Question 1550 EN + हिं Medium GB Formal verification in software? IN सॉफ़्टवेयर में औपचारिक सत्यापन? A Tests software empirically सॉफ्टवेयर का अनुभवजन्य परीक्षण करता है B Mathematically proves software correctness against specification विशिष्टताओं के विरुद्ध सॉफ़्टवेयर की शुद्धता को गणितीय रूप से सिद्ध करता है C Benchmarks performance बेंचमार्क प्रदर्शन D Reviews code manually मैन्युअल रूप से कोड की समीक्षा करें ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Formal verification uses mathematical proofs (model checking, theorem proving) to verify software/hardware correctness. व्याख्या (हिन्दी) औपचारिक सत्यापन सॉफ़्टवेयर/हार्डवेयर की शुद्धता को सत्यापित करने के लिए गणितीय प्रमाण (मॉडल जाँच, प्रमेय सिद्ध करना) का उपयोग करता है। 🎯 Exam Perspective SSC, Railway, Banking और State PCS जैसी परीक्षाओं में Computer Fundamentals ("Introduction to Computer" sub-topic) से सवाल अक्सर पूछे जाते हैं — difficulty level "Medium"। इसलिए सिर्फ answer रटने के बजाय, नीचे दी गई explanation को ध्यान से पढ़ें और concept समझें। 🔗 Related Questions Loop invariant is used to prove? Which protocol is used for network time synchronization... Church-Turing thesis states? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1551 Question 1551 EN + हिं Medium GB Model checking in formal verification? IN औपचारिक सत्यापन में मॉडल जाँच? A Checks database models डेटाबेस मॉडल की जाँच करता है B Exhaustively explores state space to verify temporal logic properties अस्थायी तर्क गुणों को सत्यापित करने के लिए राज्य स्थान की विस्तृत खोज करता है C Reviews UML diagrams यूएमएल आरेखों की समीक्षा करें D Tests performance प्रदर्शन का परीक्षण करता है ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Model checkers explore all possible states of a system to verify properties like safety and liveness. व्याख्या (हिन्दी) मॉडल चेकर्स सुरक्षा और जीवंतता जैसे गुणों को सत्यापित करने के लिए सिस्टम की सभी संभावित स्थितियों का पता लगाते हैं। 🎯 Exam Perspective अगर आप SSC CGL, IBPS, RRB और State-level परीक्षाओं की तैयारी कर रहे हैं, तो Computer Fundamentals ("Introduction to Computer" sub-topic) का यह topic आपके लिए महत्वपूर्ण है — difficulty level "Medium"। Exam में accuracy बढ़ाने के लिए हर सवाल की explanation जरूर पढ़ें। 🔗 Related Questions Which protocol enables multipath TCP? SCTP (Stream Control Transmission Protocol) advantages... The Halting Problem is? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1552 Question 1552 EN + हिं Medium GB Hoare triple {P} C {Q} means? IN होरे ट्रिपल {पी} सी {क्यू} का मतलब है? A C executes in P time C, P समय में निष्पादित होता है B If precondition P holds before C executes, postcondition Q holds after यदि C के निष्पादित होने से पहले पूर्व शर्त P कायम रहती है, तो बाद में शर्त Q लागू होती है C P and Q are equal P और Q बराबर हैं D C always terminates C सदैव समाप्त होता है ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Hoare logic: if program starts in state satisfying P, and C terminates, the result satisfies Q. व्याख्या (हिन्दी) तर्क यह है: यदि कार्यक्रम पी को संतुष्ट करने वाली स्थिति में शुरू होता है, और सी समाप्त हो जाता है, तो परिणाम क्यू को संतुष्ट करता है। 🎯 Exam Perspective Computer Fundamentals ("Introduction to Computer" sub-topic) के इस प्रश्न को — difficulty level "Medium" कई प्रतियोगी परीक्षाओं जैसे UPSC, SSC, Banking और Police भर्ती में repeat होते देखा गया है। Concept clarity के लिए explanation section जरूर पढ़ें। 🔗 Related Questions White-box networking uses? Regular language is recognized by? Invariant in programming is? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1553 Question 1553 EN + हिं Medium GB Invariant in programming is? IN प्रोग्रामिंग में अपरिवर्तनीय है? A A variable that changes एक चर जो बदलता है B A condition that remains true throughout program execution एक शर्त जो प्रोग्राम निष्पादन के दौरान सत्य बनी रहती है C An exception handler एक अपवाद हैंडलर D A loop counter एक लूप काउंटर ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) An invariant is a logical assertion that holds at a specific point in a program regardless of execution path. व्याख्या (हिन्दी) एक अपरिवर्तनीय एक तार्किक दावा है जो निष्पादन पथ की परवाह किए बिना किसी कार्यक्रम में एक विशिष्ट बिंदु पर होता है। 🎯 Exam Perspective यह सवाल Computer Fundamentals ("Introduction to Computer" sub-topic) category का है — difficulty level "Medium", और Railway, SSC, Banking और Defence परीक्षाओं के exam pattern में इस तरह के questions common हैं। Answer choose करने के बाद दिया गया explanation जरूर पढ़ें। 🔗 Related Questions Church-Turing thesis states? Decidability in computation theory means? Which protocol enables multipath TCP? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1554 Question 1554 EN + हिं Medium GB Loop invariant is used to prove? IN लूप इनवेरिएंट का प्रयोग सिद्ध करने के लिए किया जाता है? A Loop never terminates लूप कभी ख़त्म नहीं होता B Loop correctness — condition true before, during, and after each iteration लूप शुद्धता - प्रत्येक पुनरावृत्ति से पहले, उसके दौरान और बाद में स्थिति सत्य C Compilation correctness संकलन की शुद्धता D Memory safety स्मृति सुरक्षा ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) A loop invariant is a property maintained at each iteration, used to prove the loop achieves its postcondition. व्याख्या (हिन्दी) एक लूप इनवेरिएंट प्रत्येक पुनरावृत्ति पर बनाए रखा गया एक गुण है, जिसका उपयोग यह साबित करने के लिए किया जाता है कि लूप अपनी पोस्टकंडीशन प्राप्त करता है। 🎯 Exam Perspective यह प्रश्न Computer Fundamentals ("Introduction to Computer" sub-topic) की तैयारी करने वाले अभ्यर्थियों के लिए उपयोगी है — difficulty level "Medium"। इस तरह के प्रश्न अक्सर SSC, Railway, Banking और State PCS जैसी परीक्षाओं में पूछे जाते रहे हैं, इसलिए concept और explanation दोनों को ध्यान से समझें, सिर्फ उत्तर याद न करें। 🔗 Related Questions Decidability in computation theory means? Hoare triple {P} C {Q} means? Regular language is recognized by? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1555 Question 1555 EN + हिं Medium GB Decidability in computation theory means? IN संगणना सिद्धांत में निर्णायकता का क्या अर्थ है? A Problem is easy समस्या आसान है B There exists an algorithm that always terminates with correct yes/no answer एक एल्गोरिदम मौजूद है जो हमेशा सही हां/नहीं उत्तर के साथ समाप्त होता है C Problem is undecidable समस्या अनिर्णीत है D Polynomial solution exists बहुपद समाधान मौजूद है ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) A decidable problem has an algorithm (Turing machine) that halts and gives a correct answer for all inputs. व्याख्या (हिन्दी) एक निर्णायक समस्या में एक एल्गोरिदम (ट्यूरिंग मशीन) होता है जो रुकता है और सभी इनपुट के लिए सही उत्तर देता है। 🎯 Exam Perspective Computer Fundamentals ("Introduction to Computer" sub-topic) से जुड़ा यह सवाल — difficulty level "Medium" उन students के लिए काम का है जो SSC CGL, IBPS, RRB और State-level परीक्षाओं की तैयारी कर रहे हैं। बेहतर होगा कि explanation पढ़कर concept clear करें, ताकि exam में similar प्रश्न आने पर confusion न हो। 🔗 Related Questions Hoare triple {P} C {Q} means? White-box networking uses? Loop invariant is used to prove? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1556 Question 1556 EN + हिं Medium GB The Halting Problem is? IN रुकने की समस्या है? A Easy to solve हल करना आसान B Undecidable — no algorithm can determine if arbitrary program halts अनिर्णीत - कोई भी एल्गोरिदम यह निर्धारित नहीं कर सकता कि मनमाना प्रोग्राम रुकता है या नहीं C NP-complete एन पी-सम्पूर्ण D Polynomial time solvable बहुपद समय हल करने योग्य ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Turing proved the Halting Problem is undecidable — no algorithm can determine if any program will halt. व्याख्या (हिन्दी) ट्यूरिंग ने साबित कर दिया कि हॉल्टिंग समस्या अनिर्णीत है - कोई भी एल्गोरिदम यह निर्धारित नहीं कर सकता है कि कोई प्रोग्राम रुकेगा या नहीं। 🎯 Exam Perspective UPSC, SSC, Banking और Police भर्ती जैसी परीक्षाओं में Computer Fundamentals ("Introduction to Computer" sub-topic) से सवाल अक्सर पूछे जाते हैं — difficulty level "Medium"। इसलिए सिर्फ answer रटने के बजाय, नीचे दी गई explanation को ध्यान से पढ़ें और concept समझें। 🔗 Related Questions Loop invariant is used to prove? Regular language is recognized by? Which protocol is used for network time synchronization... 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1557 Question 1557 EN + हिं Medium GB Church-Turing thesis states? IN चर्च-ट्यूरिंग थीसिस बताती है? A All computers are equal सभी कंप्यूटर समान हैं B Any effectively computable function is computable by a Turing machine कोई भी प्रभावी ढंग से गणना योग्य फ़ंक्शन ट्यूरिंग मशीन द्वारा गणना योग्य है C Quantum computers are more powerful क्वांटम कंप्यूटर अधिक शक्तिशाली होते हैं D P=NP पी=एनपी ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) The Church-Turing thesis: any function computable by an algorithm can be computed by a Turing machine. व्याख्या (हिन्दी) चर्च-ट्यूरिंग थीसिस: एल्गोरिदम द्वारा गणना योग्य किसी भी फ़ंक्शन की गणना ट्यूरिंग मशीन द्वारा की जा सकती है। 🎯 Exam Perspective अगर आप Railway, SSC, Banking और Defence परीक्षाओं की तैयारी कर रहे हैं, तो Computer Fundamentals ("Introduction to Computer" sub-topic) का यह topic आपके लिए महत्वपूर्ण है — difficulty level "Medium"। Exam में accuracy बढ़ाने के लिए हर सवाल की explanation जरूर पढ़ें। 🔗 Related Questions Decidability in computation theory means? Formal verification in software? SCTP (Stream Control Transmission Protocol) advantages... 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1558 Question 1558 EN + हिं Medium GB Lambda calculus was developed by? IN लैम्ब्डा कैलकुलस किसके द्वारा विकसित किया गया था? A Alan Turing एलन ट्यूरिंग B Alonzo Church — foundation of functional programming अलोंजो चर्च - कार्यात्मक प्रोग्रामिंग की नींव C John von Neumann जॉन वॉन न्यूमैन D Claude Shannon क्लाउड शैनन ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Alonzo Church developed lambda calculus in the 1930s, forming the theoretical foundation of functional programming. व्याख्या (हिन्दी) अलोंजो चर्च ने 1930 के दशक में लैम्ब्डा कैलकुलस विकसित किया, जिससे कार्यात्मक प्रोग्रामिंग की सैद्धांतिक नींव तैयार हुई। 🎯 Exam Perspective Computer Fundamentals ("Introduction to Computer" sub-topic) के इस प्रश्न को — difficulty level "Medium" कई प्रतियोगी परीक्षाओं जैसे SSC, Railway, Banking और State PCS में repeat होते देखा गया है। Concept clarity के लिए explanation section जरूर पढ़ें। 🔗 Related Questions Hoare triple {P} C {Q} means? Loop invariant is used to prove? SCTP (Stream Control Transmission Protocol) advantages... 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1559 Question 1559 EN + हिं Medium GB Automata theory studies? IN ऑटोमेटा सिद्धांत अध्ययन? A Physical robots भौतिक रोबोट B Abstract mathematical machines and their computational power सार गणितीय मशीनें और उनकी कम्प्यूटेशनल शक्ति C Hardware design हार्डवेयर डिज़ाइन D Network protocols नेटवर्क प्रोटोकॉल ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Automata theory studies abstract computing machines (DFA, NFA, PDA, TM) and their language recognition capabilities. व्याख्या (हिन्दी) ऑटोमेटा सिद्धांत अमूर्त कंप्यूटिंग मशीनों (डीएफए, एनएफए, पीडीए, टीएम) और उनकी भाषा पहचान क्षमताओं का अध्ययन करता है। 🎯 Exam Perspective यह सवाल Computer Fundamentals ("Introduction to Computer" sub-topic) category का है — difficulty level "Medium", और SSC CGL, IBPS, RRB और State-level परीक्षाओं के exam pattern में इस तरह के questions common हैं। Answer choose करने के बाद दिया गया explanation जरूर पढ़ें। 🔗 Related Questions Which protocol is used for network time synchronization... Loop invariant is used to prove? SCTP (Stream Control Transmission Protocol) advantages... 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)
1560 Question 1560 EN + हिं Medium GB Regular language is recognized by? IN नियमित भाषा किसके द्वारा मान्यता प्राप्त है? A Pushdown automaton पुशडाउन ऑटोमेटन B Finite automaton (DFA/NFA) परिमित ऑटोमेटन (DFA/NFA) C Turing machine only केवल ट्यूरिंग मशीन D Context-free grammar प्रसंग-मुक्त व्याकरण ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Regular languages are exactly those recognized by Deterministic or Non-deterministic Finite Automata. व्याख्या (हिन्दी) नियमित भाषाएँ बिल्कुल नियतात्मक या गैर-नियतात्मक परिमित ऑटोमेटा द्वारा मान्यता प्राप्त भाषाएँ हैं। 🎯 Exam Perspective यह प्रश्न Computer Fundamentals ("Introduction to Computer" sub-topic) की तैयारी करने वाले अभ्यर्थियों के लिए उपयोगी है — difficulty level "Medium"। इस तरह के प्रश्न अक्सर UPSC, SSC, Banking और Police भर्ती जैसी परीक्षाओं में पूछे जाते रहे हैं, इसलिए concept और explanation दोनों को ध्यान से समझें, सिर्फ उत्तर याद न करें। 🔗 Related Questions Invariant in programming is? Model checking in formal verification? Automata theory studies? 📚 Related Topic Generations of Computer (21) Input Devices (36) Output Devices (35)