लैम्डा कैलकुलस

एक टोपोलॉजिकल स्पेस एक क्रमित युग्म [latex](X, tau)[/latex] होता है, जहाँ [latex]X[/latex] एक समुच्चय है और [latex]tau[/latex], [latex]X[/latex] के उपसमुच्चयों का एक संग्रह है, जिन्हें खुले समुच्चय कहा जाता है, जो तीन अभिधारणाओं को संतुष्ट करते हैं: 1) रिक्त समुच्चय [latex]emptyset[/latex] और स्वयं [latex]X[/latex], [latex]tau[/latex] में हैं। 2) [latex]tau[/latex] में किसी भी संख्या में समुच्चयों का संघ भी [latex]tau[/latex] में होता है। 3) [latex]tau[/latex] में किसी भी परिमित संख्या में समुच्चयों का प्रतिच्छेदन भी [latex]tau[/latex] में होता है।

एसपीसी में समय के साथ किसी प्रक्रिया चर की निगरानी के लिए उपयोग किया जाने वाला एक ग्राफिकल टूल। यह प्रक्रिया औसत का प्रतिनिधित्व करने वाली केंद्रीय रेखा (सीएल) और ऊपरी (यूसीएल) और निचली (एलसीएल) नियंत्रण सीमाओं के बीच डेटा बिंदुओं को प्लॉट करता है। ये सीमाएँ आमतौर पर माध्य से तीन मानक विचलन (μ ± 3 σ) पर निर्धारित की जाती हैं, जो अपेक्षित सामान्य कारण भिन्नता की सीमा को परिभाषित करती हैं।

वन-वे एनोवा का उपयोग तीन या दो से अधिक स्वतंत्र समूहों के माध्यों के बीच सांख्यिकीय रूप से महत्वपूर्ण अंतर हैं या नहीं, यह निर्धारित करने के लिए किया जाता है। यह एक सतत आश्रित चर पर एक एकल श्रेणीबद्ध स्वतंत्र चर (जिसे कारक कहा जाता है) के प्रभाव का विश्लेषण करता है। शून्य परिकल्पना यह बताती है कि सभी समूह माध्य बराबर हैं, [latex]H_0: mu_1 = mu_2 = dots = mu_k[/latex]।

गोडेल क्रमांकन एक मूलभूत तकनीक है जो किसी औपचारिक भाषा में प्रत्येक प्रतीक, सूत्र और प्रमाण को एक अद्वितीय प्राकृतिक संख्या (गोडेल संख्या) प्रदान करती है। वाक्यविन्यास के इस अंकगणितीयकरण से किसी औपचारिक प्रणाली के बारे में मेटागणितीय कथनों (जैसे, 'यह सूत्र सिद्ध किया जा सकता है') को संख्याओं के बारे में अंकगणितीय कथनों के रूप में एन्कोड किया जा सकता है, जिन पर प्रणाली के भीतर ही तर्क किया जा सकता है।

बेयस फैक्टर दो प्रतिस्पर्धी परिकल्पनाओं (अक्सर एक शून्य परिकल्पना (M1) और एक वैकल्पिक परिकल्पना (M2)) की सीमांत संभावनाओं का अनुपात होता है। यह प्रेक्षित डेटा D को देखते हुए, एक परिकल्पना के समर्थन को दूसरी परिकल्पना के समर्थन से अधिक मापता है। इसका सूत्र K = P(D|M1)/P(D|M2) है। K > 1 का मान यह दर्शाता है कि डेटा M2 की तुलना में M1 का पक्षधर है।

क्रेडिबल इंटरवल, फ्रीक्वेंटिस्ट कॉन्फिडेंस इंटरवल का बायेसियन समकक्ष है। यह मानों की एक ऐसी सीमा है जिसमें एक पैरामीटर एक विशेष प्रायिकता के साथ समाहित होता है, जो पश्च प्रायिकता वितरण पर आधारित होती है। उदाहरण के लिए, पैरामीटर [latex]theta[/latex] के लिए 95% क्रेडिबल इंटरवल का अर्थ है कि डेटा और मॉडल को देखते हुए, [latex]theta[/latex] का वास्तविक मान उस इंटरवल के भीतर होने की 95% प्रायिकता है।

यह प्रमेय बताता है कि किसी भी सतत फलन [latex]f[/latex] के लिए जो एक संकुचित उत्तल समुच्चय को स्वयं पर परावर्तित करता है, एक बिंदु [latex]x_0[/latex] होता है जैसे कि [latex]f(x_0) = x_0[/latex]। इस बिंदु को स्थिर बिंदु कहा जाता है। सरल शब्दों में, यदि आप किसी देश का नक्शा लें, उसे मोड़ें और देश की सीमाओं के भीतर रखें, तो नक्शे पर हमेशा कम से कम एक बिंदु ऐसा होगा जो उसके वास्तविक स्थान के ठीक ऊपर होगा।

ज़र्मेलो-फ्रेंकेल सेट सिद्धांत, जिसे आमतौर पर ZFC (चयन के स्वयंसिद्ध के साथ) के रूप में संक्षिप्त किया जाता है, समकालीन गणित के लिए मानक स्वयंसिद्ध प्रणाली है। इसमें प्रथम-कोटि तर्क में व्यक्त स्वयंसिद्धों का एक संग्रह होता है, जो सेटों के गुणों को औपचारिक रूप देता है। आज उपयोग में आने वाले लगभग सभी गणितीय प्रमेयों को ZFC के भीतर सूत्रबद्ध और सिद्ध किया जा सकता है।

विचरण विश्लेषण (ANOVA) एक सांख्यिकीय विधि है जो डेटा सेट में देखी गई कुल परिवर्तनशीलता को विभिन्न स्रोतों से उत्पन्न घटकों में विभाजित करती है। इसका मूल विचार विभिन्न समूहों के माध्यों के बीच के विचरण की तुलना उन समूहों के भीतर के विचरण से करना है। यदि समूहों के बीच का विचरण काफी अधिक है, तो यह दर्शाता है कि समूहों के माध्य वास्तव में भिन्न हैं।

कौरेंट-फ्रेडरिक्स-लेवी (सीएफएल) शर्त, स्पष्ट समय-एकीकरण योजनाओं का उपयोग करके अतिपरवलयिक आंशिक अवकल समीकरणों के संख्यात्मक समाधानों के लिए एक आवश्यक स्थिरता मानदंड है। यह निर्धारित करता है कि समय चरण का आकार इतना छोटा होना चाहिए कि सूचना प्रति समय चरण एक स्थानिक ग्रिड सेल से आगे न बढ़े। 1D मामले के लिए, [latex]C = u frac{Delta t}{Delta x} le C_{max}[/latex], संख्यात्मक स्थिरता सुनिश्चित करता है।

एनोवा (ANOVA) के परिणामों को वैध मानने के लिए, डेटा के संबंध में कई प्रमुख मान्यताओं का पूरा होना आवश्यक है। ये मान्यताएँ इस प्रकार हैं: (1) प्रेक्षणों की स्वतंत्रता, जिसका अर्थ है कि त्रुटियाँ असंबद्ध हैं। (2) सामान्य वितरण, जहाँ प्रत्येक समूह के अवशिष्ट लगभग सामान्य रूप से वितरित होते हैं। (3) समरूपता, या प्रसरणों की एकरूपता, जिसका अर्थ है कि सभी समूहों में अवशिष्टों का प्रसरण समान है।

मोंटे कार्लो विधियाँ गणनात्मक एल्गोरिदम का एक व्यापक वर्ग हैं जो संख्यात्मक परिणाम प्राप्त करने के लिए बार-बार यादृच्छिक नमूनाकरण पर निर्भर करती हैं। इसका मूल सिद्धांत यादृच्छिकता का उपयोग करके उन समस्याओं को हल करना है जो सिद्धांत रूप में नियतात्मक हो सकती हैं। इनका उपयोग अक्सर तब किया जाता है जब अन्य दृष्टिकोणों का उपयोग करना कठिन या असंभव हो, विशेष रूप से जटिल प्रणालियों का अनुकरण करने या उच्च-आयामी कार्यों को एकीकृत करने के लिए।

परिमित तत्व विधि (FEM) आंशिक अवकल समीकरणों द्वारा वर्णित जटिल अभियांत्रिकी और भौतिकी समस्याओं को हल करने की एक शक्तिशाली संख्यात्मक तकनीक है। यह एक सतत डोमेन को छोटे, सरल उपडोमेनों के समूह में विभाजित करके कार्य करती है, जिन्हें 'परिमित तत्व' कहा जाता है। इससे संरचनात्मक विश्लेषण, ऊष्मा स्थानांतरण, द्रव प्रवाह और विद्युत चुंबकत्व से संबंधित समस्याओं का अनुमानित संख्यात्मक समाधान संभव हो पाता है।