logic - क्रिप्के सिमेंटिक्स: सीखने का सॉफ्टवेयर उपलब्ध है?

मैं क्रिप्के शब्दार्थों पर फंस गया हूं और आश्चर्य है कि क्या educational software है जिसके माध्यम से मैं बयानों की तुल्यता का परीक्षण कर सकता हूं, क्योंकि आईएम ने उदाहरण से सीखने में आसान महसूस किया…


java - कैसे कई धागे को पढ़ने और लिखने के लिए समान सॉकेट बनाने के लिए?

** कई ग्राहकों को पोर्ट 6069 पर सर्वर पर संदेश भेजना होगा। मैं एक ही समय में कई अनुरोधों को संभाल करने के लिए देख रहा हूं, लेकिन मुझे यकीन नहीं है कि नीचे दिया गया कोड ऐसा कर सकता है। गर्तिका की…


Javadocs में, मुझे<code> टैग में एकवचन वस्तुओं के बहुवचन रूपों को कैसे लिखना चाहिए?

मेरे पास Identity नाम की एक क्लास है। मेरी javadoc टिप्पणियों में मैं इसे बहुवचन के रूप में संदर्भित कर रहा हूं। मैं दो समाधानों के बारे में सोच सकता हूं: संदर्भ को<code>Identities</code> या<code…



c# - टाइपिंग टाइप करें: टाइपऑफ, गेट टाइप, या है?

मैंने देखा है कि कई लोग निम्नलिखित कोड का उपयोग करते हैं: Type t=typeof(obj1); if(t== typeof(int))// Some code here लेकिन मुझे पता है कि आप यह भी कर सकते हैं: if(obj1.GetType()== typeo…




hindi likhna kaise करन उनल इमल typing pdf english download