induction पर टैग किए गए जवाब

मेरे कम्प्यूटिंग थ्योरी कोर्स में, परिमित ऑटोमेटा के बारे में बयान साबित करने के लिए इनपुट स्ट्रिंग की लंबाई पर इंडक्शन का उपयोग करते हुए हमारी बहुत सी समस्याएं शामिल हैं। मैं गणितीय इंडक्शन को समझता हूं, हालांकि जब स्ट्रिंग्स चलन में आती हैं तो मैं असली में फंस जाता …

20 automata  finite-automata  proof-techniques  reference-question  induction 

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

17 induction  dependent-types  homotopy-type-theory 

क्या "आगमनात्मक" और "पुनरावर्ती" का अर्थ बहुत समान है? उदाहरण के लिए, यदि कोई एल्गोरिथ्म है जो इसके पहले k + घटकों के आधार पर इसके पहले k + 1 घटकों को निर्धारित करके n-dim वेक्टर को निर्धारित करता है, और इसे पहले घटक के साथ आरंभीकृत किया जाता है, …

11 algorithms  terminology  recursion  induction 

इंडक्शन-इंडक्शन क्या है ? मुझे जो संसाधन मिले हैं: अध्याय 5.7 के अंत में HoTT पुस्तक । nLab का लेख इंडक्टिव-इंडक्टिव परिभाषाएँ नामक एक पेपर इस ब्लॉग पोस्ट में आगमनात्मक-आगमनात्मक प्रकारों का भी उल्लेख किया गया है मेरे लिए पहले दो संदर्भ बहुत संक्षिप्त हैं, और बाद के दो भी …

11 type-theory  induction  inductive-datatypes 

यह प्रमाण प्रेरण द्वारा एक प्रमाण है, और निम्नानुसार है: P (n) यह दावा है कि "Quicksort सही ढंग से लंबाई n के हर इनपुट सरणी को सॉर्ट करता है।" आधार मामला: लंबाई 1 के प्रत्येक इनपुट सरणी को पहले से ही हल किया गया है (P (1) होल्ड) आगमनात्मक …

10 correctness-proof  induction  quicksort