Deskripsi Mata Kuliah
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
CPMK
- Mata kuliah ini mengkaji tentang pengertian penalaran, jenis-jenis penalaran meliputi penalaran induktif, penalaran deduktif, penalaran dalam pemecahan masalah matematis, pengertian pembuktian, metode pembuktian meliputi metode langsung, metode tak langsung, serta jenis jenis pembuktian yang meliputi pembuktian formal dan pembuktian non-formal.