सामग्री पर जाएँ
Topos Uranos
हिन्दी

स्तर 1 · 28 पाठ

गणितीय तर्कशास्त्र I: प्रस्तावात्मक तर्क

शास्त्रीय प्रस्तावात्मक कलन का वाक्यविन्यास, निगमन और अर्थविज्ञान।

पाठ्यक्रम की सामग्री

इकाई 0पाठ्यक्रम का परिचय

  1. 01गणितीय तर्कशास्त्र I: अध्ययन योजना

इकाई 1भाषा

  1. 02भाषा: परिचय
  2. 03गणितीय तर्कशास्त्र क्या है
  3. 04प्रस्तावात्मक तर्क की भाषाखाते के साथ
  4. 05प्राकृत संख्याओं और सूत्रों पर आगमनखाते के साथ
  5. 06प्राकृतिक भाषा का औपचारिकीकरणखाते के साथ
  6. 07भाषा: सारांश और चुनौतियाँखाते के साथ

इकाई 2निगमन

  1. 08निगमन: परिचयसदस्यताखाते के साथ
  2. 09औपचारिक निगमन प्रणालियाँसदस्यताखाते के साथ
  3. 10निगमन की चार तकनीकेंसदस्यताखाते के साथ
  4. 11संयोजकों की सममितियाँसदस्यताखाते के साथ
  5. 12शास्त्रीय तर्क की तकनीकेंसदस्यताखाते के साथ
  6. 13डी मॉर्गन के नियम और वितरण नियमसदस्यताखाते के साथ
  7. 14निगमन: सारांश और चुनौतियाँसदस्यताखाते के साथ

इकाई 3अर्थविज्ञान

  1. 15अर्थविज्ञान: परिचयसदस्यताखाते के साथ
  2. 16प्रस्तावात्मक तर्क का अर्थविज्ञानसदस्यताखाते के साथ
  3. 17शब्दार्थीय परिणाम और शब्दार्थीय तुल्यतासदस्यताखाते के साथ
  4. 18डी मॉर्गन के और वितरण के व्यापकीकृत नियमसदस्यताखाते के साथ
  5. 19फलनात्मक पूर्णतासदस्यताखाते के साथ
  6. 20प्रसामान्य रूपसदस्यताखाते के साथ
  7. 21प्रसामान्य रूपों की कलन-विधि और उसके अनुप्रयोगसदस्यताखाते के साथ
  8. 22अर्थविज्ञान: सारांश और चुनौतियाँसदस्यताखाते के साथ

इकाई 4अधिसिद्धांत

  1. 23अधिसिद्धांत: परिचयसदस्यताखाते के साथ
  2. 24सुदृढ़ता और पूर्णतासदस्यताखाते के साथ
  3. 25संहतता प्रमेयसदस्यताखाते के साथ
  4. 26विभेदन विधिसदस्यताखाते के साथ
  5. 27अधिसिद्धांत: सारांश और चुनौतियाँसदस्यताखाते के साथ

इकाई 5पाठ्यक्रम का समापन

  1. 28गणितीय तर्कशास्त्र I: अंतिम समीक्षासदस्यताखाते के साथ