सामग्री पर जाएँ
Topos Uranos

सारांश

यह पाठ पाठ्यक्रम की चौथी इकाई खोलता है, जो गणित और तर्कशास्त्र को समर्पित है। यह बताता है कि इकाई किसलिए है: पिछली इकाई की संरचना को ऐसे सूत्रों, समीकरणों, कथनों और निगमनों से भरना जो उतनी ही सटीकता से टाइपसेट हों जितनी सटीकता से वे सोचे जाते हैं; यह इकाई के पाँच पाठों और उन्हें जोड़ने वाले सूत्र का परिचय देता है, गणितीय मोड से लेकर निगमन-वृक्षों तक; यह स्पष्ट करता है कि पिछली इकाइयों से क्या पहले से ज्ञात माना गया है; यह याद दिलाता है कि गणितीय और तार्किक संकेतन कैसे जन्मे और क्यों उनका टाइपसेट करना सदियों तक छापेख़ाने का सबसे महँगा काम रहा; यह वह समस्या प्रस्तुत करता है जिसे इकाई हल करती है: पाठ की तरह टाइप किया गया सूत्र सही दिखता है पर सही नहीं होता; और यह दिखाता है कि वही संकेतन भौतिकी, अर्थशास्त्र, कंप्यूटर विज्ञान और दर्शनशास्त्र के काम आता है।

अधिगम उद्देश्य

  1. इकाई की विषय-वस्तु के क्रम का वर्णन करना और समझाना कि हर पाठ अगले पाठ को क्या देता है।
  2. पहचानना कि इकाई पिछली इकाइयों से क्या ज्ञात मानकर चलती है, और आवश्यकता हो तो उसे दोहराना।
  3. एक उदाहरण से गणितीय मोड में टाइपसेट किए गए सूत्र और पाठ की तरह टाइप किए गए सूत्र में भेद करना।
  4. अपने विषय में उन कथनों, सूत्रों और निगमनों को पहचानना जिन्हें टाइपसेट करना यह इकाई सिखाती है।

प्रवेश मूल्यांकन

इकाई शुरू करने से पहले आरंभ-बिंदु को माप लेना उपयोगी है। यह मूल्यांकन एक स्व-मूल्यांकन है: इसमें अंक नहीं दिए जाते, और इसका एकमात्र उद्देश्य अध्ययन को दिशा देना है। इसके पहले दो प्रश्न उसे दोहराते हैं जो इकाई पिछली इकाइयों से ज्ञात मानती है; अगले दस प्रश्न, दो-दो करके और क्रम से, इकाई के पाँच पाठों से संबंधित हैं। जिसने कभी LaTeX में कोई सूत्र नहीं लिखा, उसे इनके सही उत्तर की अपेक्षा नहीं करनी चाहिए: हर उत्तर, सही हो या ग़लत, बात को समझाता है और उस पाठ का नाम बताता है जिसमें वह बात आती है। यही कौशल अंत में, सारांश वाले पाठ में, फिर से मापे जाते हैं।

प्रवेश मूल्यांकन

इकाई शुरू करने से पहले अपना आरंभ बिंदु मापें। यह एक छोटा स्व-मूल्यांकन है: इस पर अंक नहीं दिए जाते और इसका परिणाम केवल आपके ब्राउज़र में रहता है।

  1. प्रश्न 1पिछली इकाइयों सेकिसी लेख के खंड 2 में, जिसके पहले क्रमांकित समीकरण का क्रमांक 3 है, लेखक \begin{equation} से पहले की पंक्ति में \label{eq:ohm} लिखता है। \eqref{eq:ohm} क्या छापता है?

  2. प्रश्न 2पिछली इकाइयों सेसदिशों को मोटे अक्षरों में लिखने के लिए एक प्रस्तावना में \newcommand{\vec}[1]{\mathbf{#1}} है। क्या होता है?

  3. प्रश्न 3हिंदी के लिए babel वाले ऐसे दस्तावेज़ में, जिसमें संख्याओं को छूने वाली कोई और सेटिंग नहीं है, $12,345$ क्या छापता है?

  4. प्रश्न 4एक वाक्य किसी प्रदर्शित सूत्र पर समाप्त होता है। अंतिम विराम चिह्न कहाँ जाता है?

  5. प्रश्न 5$x^10$ क्या छापता है?

  6. प्रश्न 6स्पेनिश के लिए babel और amsmath वाले दस्तावेज़ में $\sin x$ क्या छापता है?

  7. प्रश्न 7एक align में दो समीकरण हैं, और दूसरा \\ पर समाप्त होता है। हाशिये में कौन-से क्रमांक दिखते हैं?

  8. प्रश्न 8चार पंक्तियों की एक व्युत्पत्ति, जो बराबर के चिह्नों पर संरेखित है, एक ही क्रमांक के साथ पूरे रूप में उद्धृत की जानी है। क्या लिखना उचित है?

  9. प्रश्न 9एक लेख \newtheorem{thm}{प्रमेय} और \newtheorem{lem}[thm]{प्रमेयिका} घोषित करता है, और उसके पाठ में इस क्रम से एक प्रमेयिका, एक प्रमेय और एक और प्रमेयिका है। अंतिम का शीर्षक क्या होता है?

  10. प्रश्न 10एक उपपत्ति प्रदर्शित सूत्र \[…\] पर समाप्त होती है, और अंतिम वर्ग नीचे एक ख़ाली पंक्ति में अकेला दिखता है। इसे क्या ठीक करता है?

  11. प्रश्न 11तर्कशास्त्र का एक पाठ, जिस भाषा का वह अध्ययन करता है उसके सूत्र के रूप में, p और q का सोपाधिक लिखना चाहता है। कौन-सा स्रोत उपयुक्त है?

  12. प्रश्न 12bussproofs में \AxiomC{$p$}, \AxiomC{$q$}, \AxiomC{$r$} और \BinaryInfC{$s$} लिखे जाते हैं, और फिर \DisplayProof। क्या होता है?