RENCANA PEMBELAJARAN SEMESTER (RPS) MUG2B3 LOGIKA MATEMATIKA Disusun oleh: Bedy Purnama PROGRAM STUDI S1 TEKNIK INFORMATIKA FAKULTAS INFORMATIKA TELKOM UNIVERSITY
LEMBAR PENGESAHAN Rencana Pembelajaran Semester (RPS) ini telah disahkan untuk mata kuliah berikut: Kode Mata Kuliah : MUG2B3 Nama Mata Kuliah : LOGIKA MATEMATIKA Mengetahui Kaprodi S1 Teknik Informatika Bandung, Agustus 2015 Menyetujui Ketua KK Intelligent, Computing, and Multimedia (ICM) M. Arif Bijaksana, Ph.D Ari M. Barmawi, Ph.D ii
DAFTAR ISI LEMBAR PENGESAHAN...ii DAFTAR ISI... iii A. PROFIL MATA KULIAH... 1 B. RENCANA PEMBELAJARAN SEMESTER (RPS)... 2 C. RANCANGAN INTERAKSI DOSEN MAHASISWA... 9 D. RANCANGAN TUGAS... 15 E. PENILAIAN DENGAN RUBRIK... 19 F. PENENTUAN NILAI AKHIR MATA KULIAH... 20 iii
A. PROFIL MATA KULIAH IDENTITAS MATA KULIAH Nama Mata Kuliah : Matematika Diskret Kode Mata Kuliah : MUG2B3 SKS : 3 (tiga) Jenis : Mata kuliah wajib Jam pelaksanaan : Tatap muka di kelas = 3 jam per pekan Tutorial/ responsi Semester / Tingkat : 3 (tiga)/ 2 (dua) Pre-requisite : Co-requisite : = 1 jam per pekan Bidang Kajian : Logika Proposisi, Logika Predikat, Inferensi, Teknik Pembuktian, Deduksi matematika DESKRIPSI SINGKAT MATA KULIAH Kuliah ini memberikan pemahaman tentang Kalkulus Proposisi, menentukan nilai kebenaran kalimat majemuk, mengkonversi Bahasa alami ke formula kalkulus proposisi, inferensi kalkulus proposisi. Kalkulus Predikat, menentukan nilai kebenaran berdasarkan interpretasi yang diberikan, mengkonversi Bahasa alami ke formula kalkulus Predikat, inferensi kalkulus Predikat, menggunakan PROLOG sebagai aplikasi pendukung Kalkulus Predikat. Menggunakan Induksi untuk Bilangan Bulat sebagai metode pembuktian secara matematis. Teknik Pembuktian menjelaskan, bukti langsung, bukti dengan kontraposisi dan bukti dengan kontradiksi. DAFTAR PUSTAKA 1. K. H. Rosen. Discrete Mathematics and Its Applications (Bab1), 7th Edition. McGraw-Hill, 2012. 2. M. Huth dan M. Ryan., Logic in Computer Science: Modelling and Reasoning about Systems (Bab1), Edisi 2, 2004 3. M. Ben-Ari, Mathematical Logic for Computer Science (Bab 2, 3, 4), Edisi 2, 2000 4. Gensler, Harry J., Introduction To Logic, Routledge, New York, 2010 5. Klenk., Virginia, Understanding symbolic logic, Pearson Prentice Hall, 2008. 6. R. Munir, Matematika Diskrit (Edisi Revisi ke Lima), Informatika, 2012. 7. Slide kuliah Matematika Diskret 1 (2012) di Fasilkom UI oleh B. H. Widjaja 8. Zohar Manna. The Logical Basis For Computer Programming. Addison Wesley Publishing. 1985 1
B. RENCANA PEMBELAJARAN SEMESTER (RPS) Pekan ke- Kemampuan Akhir yang Diharapkan Bahan Kajian (Materi Ajar) Bentuk/ Metode/ Strategi Pembelajaran Kriteria Penilaian (Indikator) Bobot Nilai 1 Mampu membangun formula logika proposisi Kalkulus proposisi 1. Pendahuan Proposisi - motivasi - pengertian proposisi - beberapa contoh proposisi 2. Operator Logika dan Proposisi Majemuk - Presedens Operator Logika 3. Formula Logika Proposisi dan Tanya jawab. Mahasiswa memahami : 1. Penentuan proposisi dan bukan proposisi 2. Operator logika 3. Urutan Pengerjaan (Presedens) Operator Logika 4. Penentuan subformula dari sebuah formula 5. Penggunaan Pohon urai (parse tree) untuk menggambarkan struktur formula logika proposisi. terkait Operator Logika dan Proposisi Majemuk, menentukan hirarki Operator Logika, membuat Formula Logika Proposisi dengan tepat. 6% 2 Mampu menentukan nilai kebenaran Formula Logika Kalkulus proposisi 1. Interpretasi dan Semantik Formula Logika Proposisi 2. Sifat-sifat Formula Logika dan Tanya jawab. Mahasiswa memahami : 1. Penentuan Interpretasi dari suatu formula logika proposisi 2. Aturan Semantik Logika Proposisi 6% 2
Pekan ke- Kemampuan Akhir yang Diharapkan Proposisi 3 Mampu mengkonversi pernyataan logika dari bahasa alamiah ke Formula logika proposisi Bahan Kajian (Materi Ajar) Proposisi Berdasarkan Semantiknya 3. Skema Formula, Konsekuensi Logis, dan Kesetaraan Logika Kalkulus proposisi 1.Hukum-hukum Ekuivalensi Logika 2. Translasi Bahasa Alami ke Formula Logika Proposisi 3. Contoh Kasus: Konsistensi Spesikasi Sistem 4. Contoh Kasus: Lebih Jauh Tentang Konsistensi Koleksi Formula Bentuk/ Metode/ Strategi Pembelajaran dan Tanya jawab Kriteria Penilaian (Indikator) 3. Sifat-sifat Formula Logika Proposisi Berdasarkan Semantiknya : Keabsahan (Validity), Keterpenuhan (Satisfiability), dan Kontradiksi 4. Skema Formula, Konsekuensi Logis, dan Kesetaraan Logika terkait penentuan nilai kebenaran Formula Logika Proposisi Mahasiswa memahami: 1. Pembuktian Ekuivalensi dengan Hukum Ekuivalensi 2. Pembuktian Keabsahan dengan Hukum Ekuivalensi 3. Translasi dari Bahasa Alami ke Formula Logika Proposisi terkait mengkonversi pernyataan logika dari bahasa alamiah ke Formula logika proposisi. Bobot Nilai 7% 3
Pekan ke- Kemampuan Akhir yang Diharapkan Bahan Kajian (Materi Ajar) Bentuk/ Metode/ Strategi Pembelajaran pemberian tugas dan Tanya jawab Kriteria Penilaian (Indikator) Bobot Nilai 4 Mampu menentukan inferensi dari sekumpulan Formula logika proposisi Kalkulus proposisi 1. Aturan Inferensi Dasar pada Logika Proposisi 2. Latihan Inferensi Logika Proposisi 3. Masalah Dalam Inferensi Logika Proposisi Mahasiswa memahami: 1. aturan penarikan kesimpulan dasar pada logika proposisi 2. Memeriksa Keabsahan Argumen 3. Memeriksa Kebenaran Argumen terkait menentukan inferensi dari sekumpulan Formula logika proposisi. 6% 5 Mampu membentuk formula pada Kalkulus Predikat Kalkulus Predikat 1. Pendahuluan Predikat 2. Kuantifikasi dan Kuantor 3. Variabel Terikat dan Variabel Bebas dan Tanya jawab Mahasiswa memahami: 1. Predikat Sebagai Fungsi 2. Kuantifikasi Universal 3. Kuantifikasi Eksistensial 4. Nilai Kebenaran Predikat dengan Kuantor 5. Variabel Terikat dan Variabel Bebas 6. Kuantor Bersusun 7. Urutan Pengerjaan (Presedens) Kuantor dan Operator Logika Lain terkait membentuk formula pada 8% 4
Pekan ke- Kemampuan Akhir yang Diharapkan Bahan Kajian (Materi Ajar) Bentuk/ Metode/ Strategi Pembelajaran Kriteria Penilaian (Indikator) Bobot Nilai Kalkulus Predikat. 6 Mampu mengkonversi pernyataan logika dari bahasa alamiah ke logika predikat dan sebaliknya Kalkulus Predikat 1. Translasi dari Bahasa Alami ke Logika Predikat 2. Translasi dari Logika Predikat ke Bahasa Alami 3. Kebenaran Formula dengan Kuantifikasi Dua Variabel/Lebih 4. Negasi Formula Berkuantor pemberian tugas dan Tanya jawab Mahasiswa memahami: 1. Translasi dari Bahasa Alami ke Logika Predikat 2. Translasi dari Logika Predikat ke Bahasa Alami 3. Menentukan Nilai Kebenaran Formula 4. Menentukan Negasi Formula Berkuantor 9% terkait mengkonversi pernyataan logika dari bahasa alamiah ke Formula logika proposisi. 7 Mampu menentukan inferensi dari Formula logika proposisi Kalkulus Predikat Aturan Inferensi untuk Formula Berkuantor Ceramah, diskusi dan Tanya jawab Mahasiswa memahami: 1. instansiasi universal 2. generalisasi universal 3. instansiasi eksistensial 4. generalisasi eksistensial 5. modus ponens universal 6. modus tollens universal 8% 5
Pekan ke- 8 UTS Kemampuan Akhir yang Diharapkan Bahan Kajian (Materi Ajar) Bentuk/ Metode/ Strategi Pembelajaran Kriteria Penilaian (Indikator) terkait menentukan inferensi dari Formula logika proposisi Bobot Nilai 9 Mampu mengaplikasikan kasus logika predikat menggunakan software Prolog Pengenalan Prolog praktik/demo, pemberian tugas dan Tanya jawab Mahasiswa dapat Memahami Prolog sebagai salah satu aplikasi kalkulus predikat 8 10 Mampu mengaplikasikan kasus logika predikat menggunakan software Prolog Studi Kasus Prolog praktik/demo dan Tanya jawab Mahasiswa dapat Memahami Prolog sebagai salah satu aplikasi kalkulus predikat 8 11 Mampu menentukan beberapa teknik-teknik pembuktian yang benar dan efektif Teknik Pembuktian 1. Bukti Langsung (Direct Proof ) 2. Bukti Tak Langsung (Indirect Proof ) dengan Kontraposisi 3. Bukti Tak Langsung dengan Kontradiksi pemberian tugas dan Tanya jawab Mahasiswa memahami: 1. Mengapa Perlu Mempelajari Pembuktian Matematis 2. Menggunakan pembuktian Langsung 3. Menggunakan pembuktian Tak Langsung (Indirect Proof ) dengan Kontraposisi 4. Menggunakan pembuktian Tak 8 6
Pekan ke- Kemampuan Akhir yang Diharapkan Bahan Kajian (Materi Ajar) Bentuk/ Metode/ Strategi Pembelajaran Kriteria Penilaian (Indikator) Bobot Nilai Langsung dengan Kontradiksi terkait menentukan beberapa teknikteknik pembuktian yang benar dan efektif 12 Mampu menentukan beberapa teknik-teknik pembuktian yang benar dan efektif Teknik Pembuktian 1. Latihan : Penyangkal dari Sebuah Pernyataan 2. Beberapa Kesalahan dalam Bukti Matematis dan Tanya jawab Mahasiswa memahami: 1. Menggunakan Penyangkal dari Sebuah Pernyataan 2. Adanya Beberapa Kesalahan dalam Bukti Matematis 9 terkait menentukan beberapa teknikteknik pembuktian yang benar dan efektif 13 Mampu menggunakan teknik induksi untuk bilangan bulat Induksi Matematika 1. Pengantar: Motivasi, Arti, dan Analogi 2. Induksi Matematika Biasa pemberian tugas dan Tanya jawab Mahasiswa memahami: 1. Cara Kerja Induksi Matematika 8 7
Pekan ke- Kemampuan Akhir yang Diharapkan 14 Mampu menggunakan teknik induksi untuk bilangan bulat 15 Mahasiswa dapat memahami keseluruhan isi perkulihan secara menyeluruh 16 UAS Bahan Kajian (Materi Ajar) Induksi Matematika Induksi Kuat Review semua materi UAS Bentuk/ Metode/ Strategi Pembelajaran dan Tanya jawab dan Tanya jawab Kriteria Penilaian (Indikator) terkait menggunakan teknik induksi untuk bilangan bulat Mahasiswa memahami: 1. Menggunakan Induksi Kuat terkait menggunakan teknik induksi untuk bilangan bulat Mahasiswa memahami: 1. Prolog 2. Teknik Pembuktian 3. Induksi Matematika terkait memahami keseluruhan isi perkulihan secara menyeluruh Bobot Nilai 9 8
C. RANCANGAN INTERAKSI DOSEN MAHASISWA 1. Materi Kalkulus Proposisi. Kemampuan Akhir yang Diharapkan Mampu membangun formula logika proposisi Mampu menentukan nilai kebenaran Mampu mengkonversi pernyataan logika dari bahasa alamiah ke Formula logika proposisi Mampu menentukan inferensi dari sekumpulan Formula logika proposisi Nama Kajian (minggu 1) 1. Pendahuan Proposisi - motivasi - pengertian proposisi - beberapa contoh proposisi 2. Operator Logika dan Proposisi Majemuk - Presedens Operator Logika 3. Formula Logika Proposisi (minggu 2) 1. Interpretasi dan Semantik Formula Logika Proposisi 2. Sifat-sifat Formula Logika Proposisi Berdasarkan Semantiknya 3. Skema Formula, Konsekuensi Logis, dan Kesetaraan Logika (minggu 3) 1. Hukum-hukum Ekuivalensi Logika 2. Translasi Bahasa Alami ke Formula Logika Proposisi 3. Contoh Kasus: Konsistensi Spesikasi Sistem 4. Contoh Kasus: Lebih Jauh Tentang Konsistensi Koleksi Formula (minggu 4) 1. Aturan Inferensi Dasar pada Logika Proposisi 2. Latihan Inferensi Logika Proposisi 3. Masalah Dalam Inferensi Logika Proposisi Nama Strategi dan Tanya jawab dan pemberian tugas. Minggu Penggunaan Strategi (Metode) 1-4 Deskripsi Singkat Strategi (Metode) pembelajaran Dosen memberikan ceramah mengenai materi yang diajarkan; metode pembelajaran 9
dilakukan secara Direct instruction yang masih menggunakan teaching base teacher-centered approach; namun tidak terbatas disana, terdapat diskusi yang dilakukan di kelas; pemberian tugas dilakukan untuk membantu mahasiswa berlatih soal, tugas dikerjakan dengan tulisan tangan. RANCANGAN INTERAKSI DOSEN MAHASISWA Aktivitas Dosen Menjelaskan tentang tujuan pembelajaran dari kegiatan pembelajaran. Mengarahkan mahasiswa untuk melibatkan diri dan aktif dalam kegiatan pembelajaran. Membahas materi. Aktivitas Mahasiswa Menyimak penjelasan dosen. Menyiapkan diri menerima materi yang akan disampaikan. Menyimak dan mencatat hal-hal penting dari materi yang disampaikan oleh dosen. Bertanya apabila ada materi yang kurang jelas. Mengajukan sejumlah pertanyaan terkait materi yang telah diberikan Memberikan tugas sebagai sarana berlatih dan evaluasi diri kepada mahasiswa. Menyimpulkan materi Menjawab pertanyaan yang diberikan. Mengerjakan tugas dengan baik sesuai dengan arahan dosen, tidak melakukan tindak plagiarisme dalam pengerjaan tugas. Menyimak kesimpulan. 2. Materi Kalkulus Predikat. Kemampuan Akhir yang Diharapkan Mampu membentuk formula pada Kalkulus Predikat Mampu mengkonversi pernyataan logika dari bahasa alamiah ke logika predikat dan sebaliknya. Mampu menentukan inferensi dari Formula logika proposisi. Nama Kajian (minggu 5) 1. Pendahuluan Predikat 2. Kuantifikasi dan Kuantor 3. Variabel Terikat dan Variabel Bebas 10 (minggu 6) 1. Translasi dari Bahasa Alami ke Logika Predikat
2. Translasi dari Logika Predikat ke Bahasa Alami 3. Kebenaran Formula dengan Kuantifikasi Dua Variabel/Lebih 4. Negasi Formula Berkuantor (minggu 7) Aturan Inferensi untuk Formula Berkuantor Nama Strategi dan Tanya jawab dan pemberian tugas. Minggu Penggunaan Strategi (Metode) 5-7 Deskripsi Singkat Strategi (Metode) pembelajaran Dosen memberikan ceramah mengenai materi yang diajarkan; metode pembelajaran dilakukan secara Direct instruction yang masih menggunakan teaching base teacher-centered approach; namun tidak terbatas disana, terdapat diskusi yang dilakukan di kelas; pemberian tugas dilakukan untuk membantu mahasiswa berlatih soal, tugas dikerjakan dengan tulisan tangan. RANCANGAN INTERAKSI DOSEN MAHASISWA Aktivitas Dosen Menjelaskan tentang tujuan pembelajaran dari kegiatan pembelajaran. Mengarahkan mahasiswa untuk melibatkan diri dan aktif dalam kegiatan pembelajaran. Membahas materi. Aktivitas Mahasiswa Menyimak penjelasan dosen. Menyiapkan diri menerima materi yang akan disampaikan. Menyimak dan mencatat hal-hal penting dari materi yang disampaikan oleh dosen. Bertanya apabila ada materi yang kurang jelas. Mengajukan sejumlah pertanyaan terkait materi yang telah diberikan Memberikan tugas sebagai sarana berlatih dan evaluasi diri kepada mahasiswa. Menyimpulkan materi Menjawab pertanyaan yang diberikan. Mengerjakan tugas dengan baik sesuai dengan arahan dosen, tidak melakukan tindak plagiarisme dalam pengerjaan tugas. Menyimak kesimpulan. 3. Materi Prolog. Kemampuan Akhir yang Diharapkan Mampu mengaplikasikan kasus logika predikat menggunakan software 11
Nama Kajian Pengenalan Prolog Studi Kasus Prolog Nama Strategi praktik/demo dan Tanya jawab Minggu Penggunaan Strategi (Metode) 9-10 Deskripsi Singkat Strategi (Metode) Dosen memberikan ceramah mengenai materi pembelajaran yang diajarkan; metode pembelajaran dilakukan secara Direct instruction yang masih menggunakan teaching base teacher-centered approach; namun tidak terbatas disana, terdapat diskusi yang dilakukan di kelas; digunakan media computer untuk mendemokan penggunakan program prolog agar mahasiswa lebih faham. RANCANGAN INTERAKSI DOSEN MAHASISWA Aktivitas Dosen Menjelaskan tentang tujuan pembelajaran dari kegiatan pembelajaran. Mengarahkan mahasiswa untuk melibatkan diri dan aktif dalam kegiatan pembelajaran. Membahas materi. Aktivitas Mahasiswa Menyimak penjelasan dosen. Menyiapkan diri menerima materi yang akan disampaikan. Menyimak dan mencatat hal-hal penting dari materi yang disampaikan oleh dosen. Bertanya apabila ada materi yang kurang jelas. Mengajukan sejumlah pertanyaan terkait materi yang telah diberikan Menjawab pertanyaan yang diberikan. Mendemontrasikan Prolog Menyimpulkan materi penggunaan Menyimak dan menjalankan di laptop masing masing. Menyimak kesimpulan. 4. Materi Teknik Pembuktian. Kemampuan Akhir yang Diharapkan Mampu menentukan beberapa teknik-teknik pembuktian yang benar dan efektif Nama Kajian (minggu 11) 1. Bukti Langsung (Direct Proof ) 2. Bukti Tak Langsung (Indirect Proof ) dengan Kontraposisi 3. Bukti Tak Langsung dengan Kontradiksi 12 (minggu 12)
1. Latihan : Penyangkal dari Sebuah Pernyataan 2. Beberapa Kesalahan dalam Bukti Matematis Nama Strategi dan Tanya jawab dan pemberian tugas. Minggu Penggunaan Strategi (Metode) 11-12 Deskripsi Singkat Strategi (Metode) pembelajaran Dosen memberikan ceramah mengenai materi yang diajarkan; metode pembelajaran dilakukan secara Direct instruction yang masih menggunakan teaching base teacher-centered approach; namun tidak terbatas disana, terdapat diskusi yang dilakukan di kelas; pemberian tugas dilakukan untuk membantu mahasiswa berlatih soal, tugas dikerjakan dengan tulisan tangan. RANCANGAN INTERAKSI DOSEN MAHASISWA Aktivitas Dosen Menjelaskan tentang tujuan pembelajaran dari kegiatan pembelajaran. Mengarahkan mahasiswa untuk melibatkan diri dan aktif dalam kegiatan pembelajaran. Membahas materi. Aktivitas Mahasiswa Menyimak penjelasan dosen. Menyiapkan diri menerima materi yang akan disampaikan. Menyimak dan mencatat hal-hal penting dari materi yang disampaikan oleh dosen. Bertanya apabila ada materi yang kurang jelas. Mengajukan sejumlah pertanyaan terkait materi yang telah diberikan Memberikan tugas sebagai sarana berlatih dan evaluasi diri kepada mahasiswa. Menyimpulkan materi Menjawab pertanyaan yang diberikan. Mengerjakan tugas dengan baik sesuai dengan arahan dosen, tidak melakukan tindak plagiarisme dalam pengerjaan tugas. Menyimak kesimpulan. 5. Materi Induksi Matematika. Kemampuan Akhir yang Diharapkan Mampu menggunakan teknik induksi untuk bilangan bulat Nama Kajian (minggu 13) 1. Pengantar: Motivasi, Arti, dan Analogi 2. Induksi Matematika Biasa (minggu 14) Induksi Kuat Nama Strategi dan Tanya jawab dan 13
pemberian tugas. Minggu Penggunaan Strategi (Metode) 13-14 Deskripsi Singkat Strategi (Metode) Dosen memberikan ceramah mengenai materi pembelajaran yang diajarkan; metode pembelajaran dilakukan secara Direct instruction yang masih menggunakan teaching base teacher-centered approach; namun tidak terbatas disana, terdapat diskusi yang dilakukan di kelas; pemberian tugas dilakukan untuk membantu mahasiswa berlatih soal, tugas dikerjakan dengan tulisan tangan. RANCANGAN INTERAKSI DOSEN MAHASISWA Aktivitas Dosen Menjelaskan tentang tujuan pembelajaran dari kegiatan pembelajaran. Mengarahkan mahasiswa untuk melibatkan diri dan aktif dalam kegiatan pembelajaran. Membahas materi. Aktivitas Mahasiswa Menyimak penjelasan dosen. Menyiapkan diri menerima materi yang akan disampaikan. Menyimak dan mencatat hal-hal penting dari materi yang disampaikan oleh dosen. Bertanya apabila ada materi yang kurang jelas. Mengajukan sejumlah pertanyaan terkait materi yang telah diberikan Memberikan tugas sebagai sarana berlatih dan evaluasi diri kepada mahasiswa. Menyimpulkan materi Menjawab pertanyaan yang diberikan. Mengerjakan tugas dengan baik sesuai dengan arahan dosen, tidak melakukan tindak plagiarisme dalam pengerjaan tugas. Menyimak kesimpulan. 14
D. RANCANGAN TUGAS 1. Tugas terkait materi Kalkulus Proposisi Kode mata Kuliah Nama Mata Kuliah Kemampuan Akhir yang Diharapkan MUG2B3 Logika Matematika Mampu membangun formula logika proposisi Mampu menentukan nilai kebenaran Mampu mengkonversi pernyataan logika dari bahasa alamiah ke Formula logika proposisi Mampu menentukan inferensi dari sekumpulan Formula logika proposisi Minggu/Pertemuan ke 4 Tugas ke 1 1. Tujuan tugas: Mahasiswa berlatih mengerjakan soal Kalkulus Proposisi agar lebih memahami secara inherent 2. Uraian Tugas: a. Objek garapan: Mengerjakan Kumpulan latihan soal b. Yang harus dikerjakan dan batasan-batasan: Dikerjakan dalam waktu 1 minggu c. Metode/ cara pengerjaan, acuan yang digunakan: Sesuai dengan materi perkuliahan d. Deskripsi luaran (output) tugas yang dihasilkan/ dikerjakan: Laporan pekerjaan yang di tulis tangan 3. Kriteria penilaian: Jika benar diberi point, jika salah diberi point nol 2. Tugas terkait materi Kalkulus Predikat. Kode mata Kuliah Nama Mata Kuliah Kemampuan Akhir yang Diharapkan MUG2B3 Logika Matematika Mampu membentuk formula pada Kalkulus Predikat Mampu mengkonversi pernyataan logika dari bahasa alamiah ke logika predikat dan sebaliknya. Mampu menentukan inferensi dari Formula logika proposisi. Minggu/Pertemuan ke 6 Tugas ke 2 15
1. Tujuan tugas: Mahasiswa berlatih mengerjakan soal Kalkulus Predikat agar lebih memahami secara inherent 2. Uraian Tugas: e. Objek garapan: Mengerjakan Kumpulan latihan soal f. Yang harus dikerjakan dan batasan-batasan: Dikerjakan dalam waktu 1 minggu g. Metode/ cara pengerjaan, acuan yang digunakan: Sesuai dengan materi perkuliahan h. Deskripsi luaran (output) tugas yang dihasilkan/ dikerjakan: Laporan pekerjaan yang di tulis tangan 3. Kriteria penilaian: Jika benar diberi point, jika salah diberi point nol 3. Tugas terkait materi Prolog. Kode mata Kuliah Nama Mata Kuliah Kemampuan Akhir yang Diharapkan MUG2B3 Logika Matematika Mampu mengaplikasikan kasus logika predikat menggunakan software Minggu/Pertemuan ke 9 Tugas ke 3 1. Tujuan tugas: Mahasiswa berlatih mengerjakan soal Prolog agar lebih memahami secara inherent 2. Uraian Tugas: i. Objek garapan: Mengerjakan Kumpulan latihan soal j. Yang harus dikerjakan dan batasan-batasan: Dikerjakan dalam waktu 1 minggu k. Metode/ cara pengerjaan, acuan yang digunakan: Sesuai dengan materi perkuliahan l. Deskripsi luaran (output) tugas yang dihasilkan/ dikerjakan: Laporan pekerjaan yang di tulis tangan 3. Kriteria penilaian: Jika benar diberi point, jika salah diberi point nol 16
4. Tugas terkait Teknik Pembuktian. Kode mata Kuliah Nama Mata Kuliah Kemampuan Akhir yang Diharapkan MUG2B3 Logika Matematika Mampu menentukan beberapa teknik-teknik pembuktian yang benar dan efektif Minggu/Pertemuan ke 11 Tugas ke 4 1. Tujuan tugas: Mahasiswa berlatih mengejakan soal Teknik Pembuktian agar lebih memahami secara inherent 2. Uraian Tugas: m. Objek garapan: Mengerjakan Kumpulan latihan soal n. Yang harus dikerjakan dan batasan-batasan: Dikerjakan dalam waktu 1 minggu o. Metode/ cara pengerjaan, acuan yang digunakan: Sesuai dengan materi perkuliahan p. Deskripsi luaran (output) tugas yang dihasilkan/ dikerjakan: Laporan pekerjaan yang di tulis tangan 3. Kriteria penilaian: Jika benar diberi point, jika salah diberi point nol 5. Tugas terkait materi Induksi Matematika. Kode mata Kuliah Nama Mata Kuliah Kemampuan Akhir yang Diharapkan MUG2B3 Logika Matematika Mampu menggunakan teknik induksi untuk bilangan bulat Minggu/Pertemuan ke 13 Tugas ke 5 1. Tujuan tugas: Mahasiswa berlatih mengejakan soal Induksi Matematika agar lebih memahami secara inherent 2. Uraian Tugas: q. Objek garapan: Mengerjakan Kumpulan latihan soal r. Yang harus dikerjakan dan batasan-batasan: Dikerjakan dalam waktu 1 minggu s. Metode/ cara pengerjaan, acuan yang digunakan: Sesuai dengan materi perkuliahan 17
t. Deskripsi luaran (output) tugas yang dihasilkan/ dikerjakan: Laporan pekerjaan yang di tulis tangan 3. Kriteria penilaian: Jika benar diberi point, jika salah diberi point nol 18
E. PENILAIAN DENGAN RUBRIK Jenjang (Grade) Angka (Skor) Deskripsi Perilaku (Indikator) A > 80 Mampu mengetahui, memahami sekurang kurangnya 80% materi AB > 70 Mampu mengetahui, memahami sekurang kurangnya 70% materi B > 65 Mampu mengetahui, memahami sekurang kurangnya 65% materi BC > 60 Mampu mengetahui, memahami sekurang kurangnya 60% materi C > 50 Mampu mengetahui sekurang kurangnya 50% materi D > 40 Mampu mengetahui sekurang kurangnya 40% materi E > 0 Tidak mengetahui materi sama sekali 19
F. PENENTUAN NILAI AKHIR MATA KULIAH Nilai Skor Matakuliah (NSM) Nilai Mata Kuliah (NMK) 80 < NSM A 70 < NSM 80 AB 65 < NSM 70 B 60 < NSM 65 BC 50 < NSM 60 C 40 < NSM 50 D NSM 40 E 20