Course Description
This course examines the meaning and benefits of proof, the types of reasoning used in the proof process and their characteristics, including deductive reasoning and inductive reasoning (analogy, generalization), types of proof in mathematics (proof, formal, informal, direct proof, contradiction , induction, and proof with examples and non-examples) and how to communicate proof through IT-based active learning
Program Objectives (PO)
- 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.