UNIT - I पाया : तर्कशास्त्र आणि पुरावे : प्रस्तावित तर्कशास्त्र, प्रस्तावित तर्कशास्त्राचे अनुप्रयोग, प्रस्तावित समतुल्यता, भविष्यवाणी आणि परिमाण, नेस्टेड क्वांटिफायर्स, अनुमानाचे नियम, पुराव्यांचा परिचय, पुराव्याच्या पद्धती आणि धोरण. (प्रकरण - 1) UNIT - II मूलभूत संरचना, संच, कार्ये, अनुक्रम, बेरीज, मॅट्रिक्स आणि संबंध संच, कार्ये, अनुक्रम आणि बेरीज, सेट्स आणि मॅट्रिक्स संबंधांची कार्डिनॅलिटी, संबंध आणि त्यांचे गुणधर्म, n-ary संबंध आणि त्यांचे अनुप्रयोग, नातेसंबंधांचे प्रतिनिधित्व करणे, नातेसंबंध बंद करणे, समतुल्य संबंध, आंशिक क्रम. (अध्याय - 2) UNIT - III अल्गोरिदम, इंडक्शन आणि रिकर्जन : अल्गोरिदम, फंक्शन्सची वाढ, अल्गोरिदम इंडक्शन आणि रिकर्जनची जटिलता : गणितीय इंडक्शन, मजबूत इंडक्शन आणि वेल-ऑर्डरिंग, रिकर्सिव्ह डेफिनिशन्स आणि स्ट्रक्चरल इंडक्शन, रिक्युरिथम्स, रीकरिथम. (अध्याय - 3) UNIT - IV स्वतंत्र संभाव्यता आणि प्रगत मोजणी तंत्रे : वेगळ्या संभाव्यतेचा परिचय, संभाव्यता सिद्धांत, बेजचे प्रमेय, अपेक्षित मूल्य आणि भिन्नता प्रगत मोजणी तंत्रे : पुनरावृत्ती संबंध, रेषीय पुनरावृत्ती आणि पुनरावृत्तीचे निराकरण करणे. आणि पुनरावृत्ती संबंध, कार्ये निर्माण करणे, समावेश- वगळणे, समावेश-वगळण्याचे अनुप्रयोग. (अध्याय - 4) UNIT - V आलेख : आलेख आणि आलेख मॉडेल, आलेख शब्दावली आणि आलेखांचे विशेष प्रकार, आलेख आणि आलेख आयसोमॉर्फिज्म, कनेक्टिव्हिटी, यूलर आणि हॅमिल्टन पथ, सर्वात लहान-पथ समस्या, प्लॅनर आलेख, आलेख रंग. झाडे : झाडांची ओळख, झाडांचे उपयोग, ट्री ट्रॅव्हर्सल, पसरलेली झाडे, किमान पसरलेली झाडे. (अध्याय - 5)