Ver.1.0 : Desember 2015 1. Nama Mata kuliah Logika Matematika Semester/Kode/SKS IV / MAM2205 / 3 2. Silabus Mata kuliah ini berisi dasar-dasar logika matematika yang meliputi proposisi, konjungsi, disjungsi, implikasi, biimplikasi, dan pernyataan berkuantor. Selanjutnya dibahas metode-metode yang digunakan dalam matematika yang meliputi metode langsung dan tak langsung. Kemudian dibahas juga teknik pernyataan berkuantor serta induksi matematika. 3. Prasyarat - 4. KBI Pengampu Matematika Murni 5. Dosen Pengampu 1. Haposan Sirait, M.Si. Email : No. Telepon : 2. Zulkarnain, M.Si Email : zulqr@unri.ac.id No. Telepon : 085265598935 3. Khozin Mu tamar, M.Si Email : khozin.mutamar@unri.ac.id No. Telepon : 081276760127 6. Tujuan Pembelajaran 1. Mahasiswa dapat memahami proposisi dalam matematika. 2. Mahasiswa dapat memahami konjungsi, disjungsi, implikasi, biimplikasi, dan pernyataan berkuantor beserta tabel kebenarannya. 3. Mahasiswa mampu membuktikan pernyataan yang berbentuk konjungsi, disjungsi, implikasi, biimplikasi dengan teknik langsung atau tidak langsung. 4. Mahasiswa mampu metode maju mundur dalam membuktikan pernyataan matematika. 5. Mahasiswa mampu membuktikan dengan kontradiksi. 6. Mahasiswa mampu membuktikan pernyataan berkuantor. 7. Mahasiswa mampu membuktikan pernyataan induksi matematika. 7. Keluaran Pembelajaran 1. Memahami proposisi, konjungsi, disjungsi, implikasi, biimplikasi, dan pernyataan berkuantor. 2. Memahami metode maju dan metode mundur dan nya dalam teknik langsung dan tidak langsung. 3. Memahami induksi matematika. Halaman : 1 / 5
8. Jadwal Mingguan Pert ke Topik Bahasan Sub Topik Metode dan alat Pembelajaran 1. Pendahuluan Kontrak kuliah, RKPS. Pengenalan tentang dasar-dasar logika matematika. Definisi proposisi, konjungsi, disjungsi, implikasi, biimplikasi, kontraposisi, beserta tabel kebenarannya. 2. Dasar-dasar logika matematika 3. Teknik 4. Teknik 5. Teknik 6. Teknik Kuantor universal dan eksistensial beserta nilai kebenarannya. Tugas 1 Definisi bukti dalam matematika. Teknik langsung dan tidak langsung. Metode maju mundur. Pembuktian pernyataan berbentuk implikasi dan biimplikasi. Pembuktian kasus per kasus Kuis 1. Tugas 2. Pembuktian pernyataan dengan metode kontraposisi. Halaman : 2 / 5
7. Teknik 8. UTS 9. Teknik 10. Teknik 11. Teknik 12. Teknik Pembuktian pernyataan kontradiksi. Kuis 2. Tugas 3. Pembuktian pernyataan kontradiksi. Pembuktian pernyataan berkuantor universal Kuis 3. Tugas 4. Pembuktian pernyataan berkuantor universal Pembuktian pernyataan berkuantor eksistensial Halaman : 3 / 5
13. Teknik 14. Teknik 15. Teknik 16. UAS Kuis 4. Tugas 5. Pembuktian pernyataan berkuantor universal dan eksistensial Induksi matematika Kuis 5. Tugas 6. Induksi matematika 9. Komponen Penilaian No Komponen Kepatutan Persentase 1. UAS Dilakukan sekali 40 2. UTS Dilakukan sekali 25 3. Tugas Terstruktur Dilakukan minimal 6 kali. Setiap tugas terdiri 20 dari 2 soal. 4. Quiz Dilakukan minimal 4 kali 10 5. Kehadiran Maksimal (5%) 5 10. Penentuan Nilai Akhir (Sesuai SK Rektor) No Nilai Huruf Rentang Nilai Akhir (NA) Bobot 1. A 85 < NA 100 4.00 2. A- 80 < NA 85 3.75 3. B+ 75 < NA 80 3.50 4. B 70 < NA 75 3.00 5. B- 65 < NA 70 2.75 6. C+ 60 < NA 65 2.50 7. C 50 < NA 60 2.00 Halaman : 4 / 5
8. D 45 < NA 50 1.00 9. E 0 < NA 45 0.00 10. TL Tidak Lengkap 0.00 11. Referensi [1]. Kevin Houston. How to think like a mathematician. 2008 [2]. Daniel Solow. How to read and do proofs. John Wiley & Sons, Inc. 6 th ed. 2014. [3]. Joe Fields. A gentle introduction to the art of mathematics. Southern Connecticut State University. Version 3.2. 2015. Halaman : 5 / 5