automated-theorem-proving पर टैग किए गए जवाब

मशीन-जाँच, मशीन-जनित या मशीन-सत्यापित प्रमाण

6
अधिगम स्वचालित सिद्धान्त
मैं अपने आप से ऑटोमेटेड प्रमेय साबित / श्रीमती सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में प्रश्नों की एक श्रृंखला पोस्ट कर रहा हूं। ध्यान दें कि इन विषयों को (गणितीय) लॉजिक्स में पृष्ठभूमि के बिना आसानी से पचा नहीं …

1
स्वचालित प्रमेय के प्रकार
मैं अपने आप से ऑटोमेटेड थ्योरम प्रोविंग / एसएमटी सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में सवालों की एक श्रृंखला पोस्ट कर रहा हूं । प्रासंगिक स्वचालित प्रमेय कौन से हैं? मुझे प्रमेय प्रदाताओं की समीक्षा मिली क्या यह अभी …

3
एकीकरण इंजनों के लिए एकीकरण इतना महत्वपूर्ण क्यों है?
मैं अपने आप से ऑटोमेटेड थ्योरम प्रोविंग / एसएमटी सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में सवालों की एक श्रृंखला पोस्ट कर रहा हूं । मैं यूनीफिकेशन एल्गोरिथम के बारे में पढ़ता रहता हूं । यह क्या है और क्यों …

2
जबकि कुछ नहीं करते कुछ इंट्रेंस इंजन को मानवीय सहायता की आवश्यकता क्यों है?
मैं अपने आप से ऑटोमेटेड थ्योरम प्रोविंग / एसएमटी सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में सवालों की एक श्रृंखला पोस्ट कर रहा हूं । ऐसा क्यों है कि स्वचालित प्रमेय साबित होता है, अर्थात् ACL2 , और श्रीमती सॉल्वर …

1
स्वचालित प्रमेय सिद्ध करने से किस तरह की गणित की समस्याएं हल हो सकती हैं?
क्या मैं उपलब्ध स्वचालित प्रमेय सिद्ध करने वालों के साथ निम्नलिखित कथनों को सिद्ध कर सकता हूँ? ।(a+b)2=a2+b2+2ab(a+b)2=a2+b2+2ab(a+b)^2=a^2+b^2+2ab यदि , तो 11 - 7 a - 5 b ।11∣2a−3b11∣2a−3b 11 \mid 2a-3b11∣7a−5b11∣7a−5b 11 \mid 7a-5b अगर , तो एक्स = - ख ± √ax2+bx+c=0ax2+bx+c=0 ax^2+bx+c=0 ।x=−b±b2−4ac√2ax=−b±b2−4ac2ax=\frac{-b\pm\sqrt{b^2-4ac} }{2a} अगर भी है …

1
दुमियों के लिए मोनाडिक दूसरा ऑर्डर लॉजिक
मैं ऑटोमेटा पर पकड़ के साथ प्रोग्रामर हूं, लेकिन तर्क पर नहीं। मैंने कागजों में पढ़ा कि दोनों बहुत कसकर संबंधित हैं। नियतात्मक परिमित ऑटोमेटा (डीएफए), ट्री ऑटोमेटा और दृश्यमान पुशडाउन ऑटोमेटा सभी मोनाडिक सेकेंड ऑर्डर लॉजिक (एमएसओ) से संबंधित हैं। यद्यपि, मैं समझता हूं कि ऑटोमेटा और लोगों (कागजों …

1
'इसाबेल' (प्रमेय कहावत) को इसका नाम कैसे मिला?
शीर्षक यह सब कहता है, लेकिन मैं उत्सुक हूं क्योंकि यह स्पष्ट नहीं है कि एक प्रमेय कहावत का नाम 'इसाबेल' है। क्या इसका नाम किसी व्यक्ति के लिए रखा गया था? मैं कुछ Google खोजों द्वारा पता नहीं लगा सका।

1
विभिन्न खंडों के लिए भिन्न चर
संकल्प प्रमेय साबित करने में, यह आम तौर पर माना जाता है कि विभिन्न खंडों में चर अलग-अलग हैं। यह कुछ ऐसा नहीं है जो स्वचालित रूप से होता है; इसे लागू करने के लिए महत्वपूर्ण अतिरिक्त कोड और संगणना की आवश्यकता होती है। यह देखते हुए, मैं इसके लिए …

2
Coq में प्रूफ प्रूफ
पृष्ठभूमि मैं अपने दम पर सहायता, Coq सीख रहा हूं। अब तक, मैंने यव्स बर्टोट के कोक एक हूर्री में पढ़ना पूरा कर लिया है । अब, मेरा लक्ष्य प्राकृतिक संख्या से संबंधित कुछ बुनियादी परिणामों को साबित करना है, तथाकथित विभाजन एल्गोरिथ्म के साथ समापन। हालाँकि, मुझे उस लक्ष्य …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.