Matakuliah ini mengaji tentang pengertian dan manfaat pembuktian, jenis-jenis penalaran yang digunakan dalam proses membuktikan dan karakteristiknya, meliputi penalaran deduktif dan penalaran induktif (analogi, generalisasi), jenis-jenis pembuktian dalam matematika (pembuktian, formal, informal, pembuktian langsung, kontradiksi, induksi, dan pembuktian dengan contoh dan non-contoh) dan bagaimana mengkomunikasikan pembuktian melalui pembelajaran aktif berbasis IT