यह कोर्स 'प्रोपोज़िशनल लॉजिक' (तर्कशास्त्र) और 'ट्रुथ टेबल्स' (सत्यता सारणी) से शुरू होता है, और फिर 'प्रूफ' (साबित करने) की भाषा की ओर बढ़ता है: जैसे शर्तें, क्वांटिफ़ायर, सेट, फ़ंक्शन, संबंध, ग्राफ़, गिनती और इंडक्शन। यह कोर्स CS और गणित के उन छात्रों के लिए बनाया गया है जो साफ़-सुथरे प्रूफ पढ़ना और लिखना चाहते हैं, गलत तर्क को पहचानना चाहते हैं, और किसी बात को सामान्य रूप से कहने (जनरलाइज़ करने) से पहले सटीक उदाहरणों के साथ अपने दावों को सही साबित करना चाहते हैं। कोर्स के आखिर तक, डिस्क्रीट मैथ की मुख्य चीज़ें सिर्फ़ परिभाषाएँ नहीं रह जातीं, बल्कि प्रूफ करने के काम आने वाले उपयोगी टूल बन जाती हैं।
इसमें प्रपोज़िशनल कनेक्टिव्स के लिए ट्रुथ टेबल्स, ज़रूरी और पर्याप्त शर्तें, क्वांटिफ़ायर का क्रम, सेट ऑपरेशन्स, फ़ंक्शन के प्रकार, इक्विवेलेंस रिलेशन्स, ग्राफ़ कनेक्टिविटी, फ़ैक्टोरियल ग्रोथ, पास्कल का ट्रायंगल और प्रूफ स्क्रिप्ट के तौर पर इंडक्शन शामिल हैं। यह कोर्स प्रूफ-चेकिंग की आदतों, जैसे कि सटीक शब्द-चयन, लेबल किए गए बेस केसेस और इंडक्टिव स्टेप्स पर भी बात करता है।