गणितीय तर्क विषयों की सूची

From Vigyanwiki
Revision as of 17:30, 3 August 2023 by alpha>Neeraja (added Category:Vigyan Ready using HotCat)

यह गणितीय तर्क विषयों की सूची है।

पारंपरिक सिलोजिस्टिक तर्क के लिए, तर्क में विषयों की सूची देखें। एल्गोरिदम के अधिक सिद्धांत के लिए संगणनीयता और समिष्टता विषयों की सूची भी देखें।

कार्यशील मूलभूत

मॉडल सिद्धांत

समुच्चय सिद्धांत

वर्णनात्मक समुच्चय सिद्धांत

  • विश्लेषणात्मक पदानुक्रम

बड़े कार्डिनल

पुनरावर्तन सिद्धांत

प्रमाण सिद्धांत

गणितीय रचनावाद

मॉडल तर्क

प्रमेय प्रोवर

खोज प्रणाली

ऐतिहासिक

यह भी देखें