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
- Mahasiswa mampu menjelaskan konsep dasar berpikir dan bernalar dalam matematika serta memahami peran pentingnya dalam pembentukan argumen dan pembuktian.
- Mahasiswa mampu membedakan jenis-jenis penalaran deduktif, induktif, dan abduktif serta menerapkannya dalam menyusun argumen dan menyelesaikan permasalahan matematis.
- Mahasiswa mampu mengidentifikasi dan menerapkan penalaran multiplikatif, proporsional, dan aditif dalam menyelesaikan permasalahan matematika dan menjelaskan peran masing-masing dalam berpikir matematis.
- Mahasiswa mampu menjelaskan konsep penalaran analogi serta menerapkannya dalam menyusun argumen dan menyelesaikan masalah matematis secara kreatif dan logis.
- Mahasiswa mampu mengidentifikasi dan menerapkan penalaran aljabar untuk memformulasikan, memanipulasi, dan menyelesaikan permasalahan matematis secara logis dan sistematis.
- Mahasiswa mampu menjelaskan konsep penalaran statistika dan menerapkannya dalam menganalisis data serta menarik kesimpulan yang valid berdasarkan bukti numerik dalam konteks matematika dan kehidupan sehari-hari.
- Mahasiswa mampu menjelaskan konsep penalaran adaptif dan menerapkannya secara fleksibel dalam menghadapi situasi matematis baru serta menyusun strategi pemecahan masalah yang kreatif dan kontekstual.
- Mahasiswa mampu menyusun dan mengevaluasi argumen matematis secara logis, serta mengkomunikasikan argumentasi secara runtut dan meyakinkan dalam konteks pemecahan masalah matematika.
- Mahasiswa mampu menjelaskan komponen-komponen berpikir matematis serta menerapkannya dalam menyelesaikan berbagai permasalahan matematis secara logis, sistematis, dan reflektif.
- Mahasiswa mampu menjelaskan konsep bukti langsung dan bukti per kasus, serta menerapkannya secara tepat dalam membuktikan pernyataan matematis.
- Mahasiswa mampu menjelaskan dan menerapkan metode pembuktian kontraposisi dan pembuktian kontradiksi secara tepat dalam menyelesaikan dan memverifikasi pernyataan matematis.
- Mahasiswa mampu memahami prinsip dasar induksi matematika dan menerapkannya dalam membuktikan pernyataan matematis yang melibatkan pola atau generalisasi bilangan.
- Mahasiswa mampu memahami konsep contoh penyangkal dalam pembuktian matematis dan menerapkannya untuk menunjukkan ketidakbenaran suatu pernyataan matematis.
- Mahasiswa mampu memahami dan membedakan antara pembuktian konstruktif dan non-konstruktif, serta menerapkannya dalam membuktikan pernyataan matematis.