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

From Vigyanwiki
No edit summary
Line 438: Line 438:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 20/07/2023]]
[[Category:Created On 20/07/2023]]
[[Category:Vigyan Ready]]

Revision as of 17:30, 3 August 2023

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

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

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

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

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

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

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

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

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

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

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

मॉडल तर्क

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

खोज प्रणाली

ऐतिहासिक

यह भी देखें