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