कंप्यूटर साइंस में डिस्क्रीट मैथ के लिए प्रूफ स्किल्स