FMIPA

RPKPS (Rencana Program Kegiatan Pembelajaran Semester) Program Studi : S1 Matematika Jurusan/Fakultas : Matematika/FMIPA Ver.1.0 : Desember 2015

1. 2.

Nama Mata kuliah Semester/Kode/SKS Silabus

3. 4. 5.

Prasyarat KBI Pengampu Dosen Pengampu

6.

Tujuan Pembelajaran

7.

Keluaran Pembelajaran

Logika Matematika IV / MAM2205 / 3 Mata kuliah ini berisi dasar-dasar logika matematika yang meliputi proposisi, konjungsi, disjungsi, implikasi, biimplikasi, dan pernyataan berkuantor. Selanjutnya dibahas metode-metode pembuktian yang digunakan dalam matematika yang meliputi metode pembuktian langsung dan tak langsung. Kemudian dibahas juga teknik pembuktian pernyataan berkuantor serta induksi matematika. Matematika Murni 1. Haposan Sirait, M.Si. Email : No. Telepon : 2. Zulkarnain, M.Si Email : [email protected] No. Telepon : 085265598935 3. Khozin Mu’tamar, M.Si Email : [email protected] No. Telepon : 081276760127 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 menggunakan teknik pembuktian langsung atau tidak langsung. 4. Mahasiswa mampu menggunakan metode maju mundur dalam membuktikan pernyataan matematika. 5. Mahasiswa mampu membuktikan dengan kontradiksi. 6. Mahasiswa mampu membuktikan pernyataan berkuantor. 7. Mahasiswa mampu membuktikan pernyataan menggunakan induksi matematika. 1. Memahami proposisi, konjungsi, disjungsi, implikasi, biimplikasi, dan pernyataan berkuantor. 2. Memahami metode pembuktian maju dan metode pembuktian mundur dan menggunakannya dalam teknik pembuktian langsung dan tidak langsung. 3. Memahami induksi matematika.

Halaman : 1 / 5

RPKPS (Rencana Program Kegiatan Pembelajaran Semester) Program Studi : S1 Matematika Jurusan/Fakultas : Matematika/FMIPA

8.

Jadwal Mingguan Pert Topik Bahasan ke 1. Pendahuluan

Sub Topik Kontrak kuliah, RKPS. Pengenalan tentang dasar-dasar logika matematika. Definisi proposisi, konjungsi, disjungsi, implikasi, biimplikasi, kontraposisi, beserta tabel kebenarannya.

2.

Dasar-dasar logika Kuantor universal dan eksistensial beserta matematika nilai kebenarannya.

3.

Teknik pembuktian

Definisi bukti dalam matematika. Teknik pembuktian langsung dan tidak langsung. Metode maju mundur.

4.

Teknik pembuktian

Pembuktian pernyataan berbentuk implikasi dan biimplikasi.

5.

Teknik pembuktian

Pembuktian kasus per kasus

6.

Teknik pembuktian

Pembuktian pernyataan kontraposisi.

dengan

metode

Metode dan alat Pembelajaran Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Tugas 1 Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Kuis 1. Tugas 2. Ceramah dan diskusi menggunakan Halaman : 2 / 5


7.

Teknik pembuktian

Pembuktian kontradiksi.

pernyataan

8. 9.

UTS Teknik pembuktian

Pembuktian kontradiksi.

pernyataan

10.

Teknik pembuktian

11.

Teknik pembuktian

12.

Teknik pembuktian

whiteboard dan slide menggunakan Infocus. menggunakan Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Kuis 2. Tugas 3.

menggunakan Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Pembuktian pernyataan berkuantor universal Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Kuis 3. Tugas 4. Pembuktian pernyataan berkuantor universal Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Pembuktian pernyataan berkuantor Ceramah dan eksistensial diskusi menggunakan whiteboard dan slide menggunakan Infocus. Halaman : 3 / 5


9.

13.

Teknik pembuktian

14.

Teknik pembuktian

15.

Teknik pembuktian

16.

UAS

Komponen Penilaian No Komponen 1. UAS 2. UTS 3. Tugas Terstruktur

Kuis 4. Tugas 5. Pembuktian pernyataan berkuantor universal Ceramah dan dan eksistensial diskusi menggunakan whiteboard dan slide menggunakan Infocus. Induksi matematika Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus. Kuis 5. Tugas 6. Induksi matematika Ceramah dan diskusi menggunakan whiteboard dan slide menggunakan Infocus.

Kepatutan Dilakukan sekali Dilakukan sekali Dilakukan minimal 6 kali. Setiap tugas terdiri dari 2 soal. 4. Quiz Dilakukan minimal 4 kali 5. Kehadiran Maksimal (5%) 10. Penentuan Nilai Akhir (Sesuai SK Rektor) No Nilai Huruf Rentang Nilai Akhir (NA) 1. A 85 < NA ≤ 100 2. A80 < NA ≤ 85 3. B+ 75 < NA ≤ 80 4. B 70 < NA ≤ 75 5. B65 < NA ≤ 70 6. C+ 60 < NA ≤ 65 7. C 50 < NA ≤ 60

Persentase 40 25 20 10 5 Bobot 4.00 3.75 3.50 3.00 2.75 2.50 2.00 Halaman : 4 / 5


8. 9. 10. 11. Referensi

D E TL

45 < NA ≤ 50 1.00 0 < NA ≤ 45 0.00 Tidak Lengkap 0.00 [1]. Kevin Houston. How to think like a mathematician. 2008 [2]. Daniel Solow. How to read and do proofs. John Wiley & Sons, Inc. 6th ed. 2014. [3]. Joe Fields. A gentle introduction to the art of mathematics. Southern Connecticut State University. Version 3.2. 2015.

Halaman : 5 / 5

FMIPA

Recommend Documents