तर्क - मुक्त शिक्षा से निःशुल्क पाठ्यक्रम, प्रशिक्षण 14 सप्ताह, प्रति सप्ताह 4 से 6 घंटे, दिनांक: 3 दिसंबर, 2023।

पाठ्यक्रम छात्रों को गणितीय तर्क, इसकी विधियों, प्रमेयों और अनुप्रयोगों से परिचित कराता है। पाठ्यक्रम का अध्ययन करने की प्रक्रिया में, छात्र विभिन्न तार्किक प्रणालियों - शास्त्रीय तर्क, के बारे में सीखने में सक्षम होंगे। अंतर्ज्ञानवादी तर्क, विभिन्न मोडल तर्क, साथ ही शास्त्रीय विधेय तर्क और सिद्धांतों का निर्माण किया गया इसके आधार पर.

औपचारिक भाषाओं से संबंधित मुद्दों, उनमें विभिन्न स्थितियों की अभिव्यक्ति के मुद्दों, स्वयंसिद्ध प्रणालियों, साक्ष्य और सिद्धता, सत्य और खंडनशीलता के मुद्दों पर ध्यान दिया जाएगा। इन अवधारणाओं के बीच संबंधों को दिखाया जाएगा, साथ ही विभिन्न तार्किक प्रणालियों के बीच संबंधों को भी दिखाया जाएगा। साथ ही, एल्गोरिथम सहित सिद्धांतों के गुणों पर विचार किया जाएगा।

पाठ्यक्रम में व्याख्यानों में प्रस्तुत सैद्धांतिक सामग्री और छात्रों को अभ्यास के रूप में पेश किए गए व्यावहारिक कार्य दोनों शामिल हैं। छात्र यह सीख सकेंगे कि प्रमेयों के औपचारिक प्रमाण, सिद्धांतों के मॉडल, सिद्धांतों में अप्रमाणित बयानों के लिए प्रति-मॉडल कैसे बनाएं, साथ ही अपने निष्कर्षों पर कठोरता से बहस करें।

रयबाकोव मिखाइल निकोलाइविच

1

कुंआ

भौतिक और गणितीय विज्ञान के उम्मीदवार: यारोस्लाव राज्य विश्वविद्यालय। पी.जी. डेमिडोवा, पीएचडी: विटवाटरसैंड विश्वविद्यालय, एसोसिएट प्रोफेसर पद: एसोसिएट प्रोफेसर, गणित संकाय

14 सप्ताह, प्रति सप्ताह 4 से 6 घंटे,

शुरू 03 दिसम्बर