RENCANA PEMBELAJARAN SEMESTER

(BERDASARKAN PERMENRISTEKDIKTI NO. 44/2015 SNPT PASAL 12)

MATA KULIAH : LOGIKA DAN HIMPUNAN

SKS : 3 (TIGA) SKS
KODE : 1761201
PROGRAM STUDI : MATEMATIKA
SEMESTER : 1 (SATU)
NAMA DOSEN PENGAMPU : HAWZAH SA’ADATI, M.Si
CAPAIAN PEMBELAJARAN MATA KULIAH : 1. Memiliki motivasi dan keinginan yang tinggi disertai kesadaran akan pentingnya memahami, mempelajari,
dan mengembangkan Logika dan Himpunan.
2. Memiliki dan mengembangkan pengetahuan dan mengetahui dan menggali sumber-sumber pengetahuan
beserta obyek, alat dan metode pembenarannya dalam memahami, mempelajari, dan mengembangkan
Logika dan Himpunan.
3. Memiliki dan mengembangkan keterampilan dalam memahami, mempelajari, d an mengembangkan Logika dan
Himpunan
4. Memiliki dan mengembangkan pengalaman untuk merefleksikan diri dalam komunitas sosialnya dalam
mengembangkan Logika dan Himpunan

Kemampuan yang Waktu Pengalaman Belajar

Pertemuan Metode Kriteria, Indikator Daftar Referensi yang
Diharapkan pada Setiap Bahan Kajian Belajar Mahasiswa
Ke- Pembelajaran dan Bobot Penilaian digunakan
Pertemuan (Menit) (Deskripsi Tugas)
(1) (2) (3) (4) (5) (6) (7) (8)
Ke-1 Mahasiswa memahami Kontrak Perkuliahan dan Ekspositori dan Tanya 150 menit Menyimak penjelasan
rencana pembelajaran Pengenalan Materi Jawab dan terlibat aktif dalam
semester dan deskripsi tugas tanya jawab.
yang harus diselesaikan.

Ke-2 Mahasiswa memahami peran Pengantar Logika dan Ekspositori dan 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
penting Logika dan Himpunan Himpunan dalam ilmu Tanya Jawab mengerjakan latihan soal, bobot:20% dan Teori Himpunan.
dalam ilmu matematika Matematika membaca buku dari 2. Keaktifan dalam Malang: UB Press
literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang
Relevan.
 Kemampuan yang Waktu Pengalaman Belajar
Pertemuan Metode Kriteria, Indikator Daftar Referensi yang
Diharapkan pada Setiap Bahan Kajian Belajar Mahasiswa
Ke- Pembelajaran dan Bobot Penilaian digunakan
Pertemuan (Menit) (Deskripsi Tugas)
(1) (2) (3) (4) (5) (6) (7) (8)
Ke-3 Mahasiswa memahami 1. Definisi Pernyataan/ Ekspositori dan 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
mengenai proposisi Tanya Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
pernyataan/proposisi yang 2. Pernyataan membaca buku dari 2. Keaktifan dalam Malang: UB Press
ada pada logika majemuk literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
3. Tabel kebenaran dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang
Relevan.
Ke-4 Mahasiswa memahami 1. negasi Ekspositori dan 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
perangkai/penghubung logika 2. konjungsi Tanya Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
3. disjungsi membaca buku dari 2. Keaktifan dalam Malang: UB Press
4. implikasi literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
5. biimplikasi dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang Relevan.
Ke-5 Mahasiswa memahami Definisi dan perbedaan Ekspositori dan 150 Menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
konsep tautologi, tautologi, kontingensi dan Tanya Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
kontingensi dan kontradiksi membaca buku dari 2. Keaktifan dalam Malang: UB Press
kontradiksi literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang Relevan.
Ke-6 Mahasiswa memahami konsep 1. Konvers Ekspositori dan Tanya 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
dari implikasi 2. Invers Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
3. Kontraposisi membaca buku dari 2. Keaktifan dalam Malang: UB Press
4. Implikasi logis literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
5. Biimplikasi logis dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang
Relevan.
Ke-7 Mahasiswa memahami konsep 1. hukum-hukum logika Ekspositori dan Tanya 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
hukum-hukum logika 2. aturan substitusi Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
3. Dualitas membaca buku dari 2. Keaktifan dalam Malang: UB Press
literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
 Kemampuan yang Waktu Pengalaman Belajar
Pertemuan Metode Kriteria, Indikator Daftar Referensi yang
Diharapkan pada Setiap Bahan Kajian Belajar Mahasiswa
Ke- Pembelajaran dan Bobot Penilaian digunakan
Pertemuan (Menit) (Deskripsi Tugas)
(1) (2) (3) (4) (5) (6) (7) (8)
Ke-8 UJIAN TENGAH SEMESTER Pertemuan ke-2 s/d ke-7 Tes tulis 75 menit Mengerjakan soal tes Bobot: 35%
Ke-9 Mahasiswa memahami konsep 1. Modus ponens Ekspositori dan Tanya 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
dasar kaidah inferensi 2. Modus tollens Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
3. Silogisme Hipotetik membaca buku dari 2. Keaktifan dalam Malang: UB Press
literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang
Relevan
Ke-10 Mahasiswa memahami konsep 1. Silogisme disjungtif Ekspositori dan Tanya 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
pengembangan kaidah 2. Penyederhanaan Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
inferensi konjungtif membaca buku dari 2. Keaktifan dalam Malang: UB Press
3. Penguatan disjungtif literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
4. Penguatan konjungtif dalam tanya jawab. bobot: 10% Introduction to
5. Penguatan Mathematical Logic.
kontradiksi CRC Press
Referensi Lain yang
Relevan
Ke-11 Mahasiswa memahami konsep 1. Kuantor universal Ekspositori dan Tanya 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
kuantor 2. Kuantor eksistensial Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
3. Implikasi dan ekuivalensi membaca buku dari 2. Keaktifan dalam Malang: UB Press
logis pernyataan literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
berkuantor dalam tanya jawab. bobot: 10% Introduction to
4. Negasi pernyataan Mathematical Logic.
berkuantor CRC Press
5. Urutan penggunaan Referensi Lain yang
kuantor Relevan

Ke-12 Mahasiswa mengetahui 1. Aturan spesifikasi Ekspositori dan Tanya 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
konsep aturan spesifikasi universal Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
universal dan aturan 2. Aturan generalisasi membaca buku dari 2. Keaktifan dalam Malang: UB Press
generalisasi universal universal literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang
Relevan
 Kemampuan yang Waktu Pengalaman Belajar
Pertemuan Metode Kriteria, Indikator Daftar Referensi yang
Diharapkan pada Setiap Bahan Kajian Belajar Mahasiswa
Ke- Pembelajaran dan Bobot Penilaian digunakan
Pertemuan (Menit) (Deskripsi Tugas)
(1) (2) (3) (4) (5) (6) (7) (8)
Ke-13 Mahasiswa memahami 1. Pembuktian langsung Ekspositori dan Tanya 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
konsep teknik pembuktian 2. Pembuktian tak Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
dalam logika langsung membaca buku dari 2. Keaktifan dalam Malang: UB Press
literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang
Relevan
Ke-14 Mahasiswa memahami peran 1. Definisi Ekspositori dan 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
penting himpunan dalam himpunan Tanya Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
Ilmu Matematika 2. Operator pada membaca buku dari 2. Keaktifan dalam Malang: UB Press
himpunan literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang
Relevan
Ke-15 Mahasiswa memahami Hukum-hukum himpunan Ekspositori dan Tanya 150 menit Menyimak penjelasan, 1. Tugas mandiri, 1. Marsudi. 2010. Logika
hukum-hukum pada Jawab mengerjakan latihan soal, bobot: 20% dan Teori Himpunan.
himpunan membaca buku dari 2. Keaktifan dalam Malang: UB Press
literatur dan terlibat aktif tanya jawab, 2. Mendelson, Elliot.
dalam tanya jawab. bobot: 10% Introduction to
Mathematical Logic.
CRC Press
Referensi Lain yang Relevan
Ke-16 UJIAN AKHIR SEMESTER Pertemuan ke-9 s/d ke-15 Tes tulis 75 menit Mengerjakan soal tes Bobot: 35%

Malang,
Dosen Pengampu Mata Kuliah

HAWZAH SA’ADATI, MSi