Tag Archives: Mathematical logic

निर्णय तर्क

गणितीय तर्क में, एक निर्णय (या निर्णय) या दावा धातुभाषा में एक बयान या घोषणा है। उदाहरण के लिए, प्रथम क्रम तर्क में सामान्य निर्णय यह होगा कि एक स्ट्रिंग एक अच्छी तरह से गठित सूत्र है, या एक प्रस्ताव सत्य है। इसी प्रकार, एक निर्णय ऑब्जेक्ट भाषा की अभिव्यक्ति में एक…

कलन विधि

गणित और कंप्यूटर विज्ञान में, एक एल्गोरिदम AL-gə-ridh-əm) समस्याओं की एक वर्ग को हल करने का एक स्पष्ट विनिर्देश है। एल्गोरिदम गणना, डेटा प्रोसेसिंग और स्वचालित तर्क कार्यों को कर सकते हैं। एक प्रभावी विधि के रूप में, एक एल्गोरिदम को एक कार्य की गणना के लिए अंतरिक्ष और समय…