RENCANA PEMBELAJARAN SEMESTER

(RPS)

HIMPUNAN dan LOGIKA

3 SKS (3MAT48001)

PROGRAM STUDI PENDIDIKAN MATEMATIKA

JURUSAN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
UNIVERSITAS NEGERI MEDAN
2020
 PROGRAM STUDI PENDIDIKAN MATEMATIKA
FMIPA - UNIMED
RENCANA PROGRAM DAN KEGIATAN PEMBELAJARAN SEMESTER (RPKPS)
Bobot Status Mata Mata Kuliah
Kode Mata Kuliah Nama Mata Kuliah Semester
(SKS) Kuliah Prasyarat
3MAT48001 Himpunan dan Logika 3 1 MK Prodi -
Capaian Pembelajaran Setelah menyelesaikan pembelajaran mata kuliah Himpunan dan Logika, mahasiswa mampu:
Mata Kuliah (CPMK) Menganalisis secara intuitif tentang Himpunan, Relasi, Fungsi dan
CPMK1
Keterhinggaan dan Ketakhinggaan Himpunan.
CPMK2 Menganalisis logika proposisi dalam matematika.
CPMK3 Menganalisis logika predikat dalam matematika.
CPMK4 Menanalisis teknik dan strategi pembuktian dalam matematika.
Menganalisis teorema dalam Himpunan aksiomatik dengan
CPMK5
menggunakan langkah-langkah pembuktian matematika.
Menganalisis Relasi dan Fungsi secara aksiomatik dengan menggunakan
CPMK6
langkah-langkah pembuktian matematika.
Menganalisis Keterhinggaan dan Ketakhinggaan Himpunan secara
CPMK7
aksiomatik dengan menggunakan langkah-langkah pembuktian
Deskripsi Singkat Mata Mata Kuliah Himpunan
matematika.dan Logika Matematika merupakan landasan berpikir kritis dan
Kuliah logis matematis untuk memahami konsep-konsep matematika dan menarik kesimpulan
secara benar berdasarkan fakta-fakta yang ada. Dengan Logika, diharapkan dapat
mengurangi tindakan menebak dalam menghadapi dan menyelesaikan suatu masalah dengan
suatu jawaban yang dikerjakan dengan sistematis. Himpunan dan Logika Matematika ini
membahas tentang bahasa dan logika matematika, kuantifikasi, argumen, metode
pembuktian, teorema himpunan, relasi dan fungsi serta ketakhinggaan.
Bahan Kajian/Materi 1. Konsep Himpunan intuitif.
Pembelajaran 2. Kalkulus Proposisional.
3. Kalkulus Predikat.
4. Metode Pembuktian dalam Matematika.
5. Teori Himpunan Aksiomatik.
6. Relasi, dan Fungsi secara aksiomatik.
7. Keterhinggaan dan Ketakterhinggaan Himpunan.
Metode Penilaian dan CPMK
Kaitan dengan CPMK Komponen Penilaian Persentase
1 2 3 4 5 6 7
Tugas Mandiri: Tugas Rutin 10 √ √ √ √ √ √ √
Tugas Mandiri: CBR 2 √ √ √ √ √ √ √
Tugas Mandiri: CJR 3 √ √ √ √ √ √ √
Tugas Mandiri: Rekayasa Ide 5 √ √ √ √ √ √ √
Tugas Mandiri: Mini Riset 6 √ √ √ √ √ √ √
Tugas Mandiri: Projek 9 √ √ √ √ √ √ √
UTS (online) 32.5 √ √ √
UAS(Online) 32.5 √ √ √ √
100
Referensi: 1. Gensler, Harry J., Introduction To Logic, Routledge, New York, 2010.
2. Hammack, Richard. 2013. Book of Proof. Virginia Commonwealth University.
3. Klenk, Virginia, Understanding symbolic logic, Pearson Prentice Hall, 2007.
4. Marsudi. 2010. Logika dan Teori Himpunan. Malang: UB Press.
5. Muniri. 2011. Logika Dasar Matematika. Jakarta: Alim’s Publishing.
6. O’Leary, Micgael L. (2016). A First Course in Mathematical Logic and Set Theory. New
Jersey : John Wiley & Son.
7. Soekadijo, R. G. 2001. Logika Dasar: Tradisional, Simbolik, dan Induktif. Jakarta: PT.
Gramedia Pustaka Utama.
8. Soesianto F., Djoni Dwijono, 2003, “Logika Proposisional”, Andi Offset, Yogyakarta.
9. Soesianto F., Djoni Dwijono, 2003, “Logika Predikatif”, Andi Offset, Yogyakarta.
10. Stoll, Robert R. 1998. Set Theory and Logic. New Delhi: Eurasia Publishing House (PVT)
Ltd.
11. Sukirman. 2006. Logika dan Himpunan. Yogyakarta: Hanggar Kreator.
Nama Dosen Pengampu Dr. Asrin Lubis, M.Pd
(Team Teaching)
Drs. Yasifati Hia
Sri Lestari Manurung, S.Pd, M.Pd
Otorisasi Koordinator Ketua Program Studi Ilmu
Tanggal Penyusunan
Mata Kuliah Pendidikan Matematika

31 Agustus 2020
 Bahan Kajian Pengalaman
Sub-CPMK Metode Beban Waktu Media
Ming Penilaian (Materi Belajar Fasilitator
(kemampuan Pembelajaran Pembelajaran Pembelajaran
gu Pembelajaran) Mahasiswa
akhir yang
ke – Bobot
diharapkan) Indikator Komponen
(%)
(1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11)
I  Penjelasan RPS,  Perkenalan 3 x 50 menit  Google Meet
tagihan tugas, dengan  SIPDA
penilaian, peserta
penandatangan perkuliahan
kontrak  Penjelasan
perkuliahan dan RPS, kontrak
overview kuliah, materi
perkuliahan perkuliahan,
Himpunan dan literatur
Logika pendukung,
cara penilaian
dan tagihan
tugas-tugas
(Tugas Rutin,
CBR, CJR,
Rekayasa Ide,
Mini
Riset,Project
Work), dan
waktu
Pengumpulan
nya.
II 1. Menganalisis 1.1. Trampil Tugas Rutin 5 1. Himpunan  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
secara intuitif membuktikan menggunakan 1.1. Himpunan dan melalui Google 1 x 50 menit secara  SIPDA
tentang Him- secara intuitif SIPDA: Sub Himpunan. Meet:  Forum Diskusi: sinkron
punan, Relasi, sifat-sifat dari a. Membuktikan 1.2. Operasi Penyampaian 2 x 50 menit melalui
Fungsi dan himpunan dan sifat-sifat himpunan. materi  Tugas GoogleMeet.
Keterhingga- operasinya. Himpunan dan 1.3. Himpunan Himpunan dan Terstruktur: b. Berdiskusi
an dan 1.2. Trampil opeasinya kuasa dan aljabar 3 x 60 menit dan
Ketakhingga- membuktikan secara intuitif keluarga himpunan  Belajar Mandiri: berkolabora
an Himpunan secara intuitif dengan benar himpunan.  Forum diskusi 3 x 60 menit si melalui
sifat-sifat dari b. Membuktikan 1.4. Aljabar di SIPDA: Forum
aljabar sifat-sifat Himpunan. Melatihkan Diskusi di
himpunan aljabar pembuktian SIPDA
himpunan [10] hal 1 – 22. sifat-sifat mengerjakan
secara intuitif [4] Bab 6 dan Bab 7. himpunan dan LKM.
dengan benar aljabat c. Belajar
himpunan mandiri
secara intuitif mengerjakan
melalui LKM. tugas rutin.
Metode:
 Collaborative
Learning

III 1. Menganalisis 1.3. Trampil Tugas Rutin 5 1. Himpunan  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
secara intuitif membuktikan menggunakan 1.5. Sifat-sifat melalui Google 1 x 50 menit secara  SIPDA
tentang Him- secara intuitif SIPDA: Relasi. Meet:  Forum Diskusi: sinkron
punan, Relasi, sifat-sifat dari a. Membuktikan 1.6. Komposisi Penyampaian 2 x 50 menit melalui
Fungsi dan relasi sifat-sifat Relasi. Relasi, Fungsi  Tugas GoogleMeet.
Keterhingga- 1.4. Trampil Relasi secara 1.7. Relasi n-ary. dan sifat- Terstruktur: b. Berdiskusi
an dan membuktikan intuitif dengan 1.8. Fungsi dan sifatnya 3 x 60 menit dan
Ketakhingga- secara intuitif benar jenis-jenisnya.  Forum diskusi  Belajar Mandiri: berkolabora
an Himpunan sifat-sifat dari b. Membuktikan 1.9. Invers fungsi. di SIPDA: 3 x 60 menit si melalui
fungsi sifat-sifat 1.10. Komposisi Melatihkan Forum
Fungsi secara fungsi. pembuktian Diskusi di
intuitif dengan sifat-sifat SIPDA
benar [10] hal 23 – 42. relasi dan mengerjakan
[11] Bab 7 dan Bab fungsi secara LKM.
8. intuitif melalui c. Belajar
LKM. mandiri
Metode: mengerjakan
Collaborative tugas rutin.
Learning d. Belajar
mandiri
mengerjakan
tugas
mandiri
Laporan
CBR-1, CJR-
1, TRI-1,
TMR-1, atau
TPW-1.
IV 1. Menganalisis 1.5. Trampil Tugas Rutin 5 1. Himpunan  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
secara intuitif membuktikan menggunakan 1.11. Himpunan melalui Google 1 x 50 menit secara  SIPDA
tentang Him- secara intuitif SIPDA: Terhingga dan Meet:  Forum Diskusi: sinkron
punan, Relasi, ekivalensi di Membuktikan Himpunan Penyampaian 2 x 50 menit melalui
Fungsi dan antara ekivalensi pada Takterhingga. materi  Tugas GoogleMeet.
Keterhingga- himpunan himpunan ekivalensi Terstruktur: b. Berdiskusi
an dan Terhingga dan terhingga dan [6] hal 283 – 333. pada 3 x 60 menit dan
Ketakhingga- Himpunan tak terhingga himpunan  Belajar Mandiri: berkolabora
an Himpunan Takterhingga secara intuitif terhingga dan 3 x 60 menit si melalui
dengan benar tak terhingga Forum
 Forum diskusi Diskusi di
di SIPDA: SIPDA
Melatihkan mengerjakan
menentukan LKM.
ekivalensi c. Belajar
pada himpinan mandiri
terhingga dan mengerjakan
 tak terhingga tugas rutin.
melalui LKM.
Metode:
Collaborative
Learning

V 2. Menganalisis 2.1. Trampil Tugas Rutin 10 1. Kalkulus  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
logika membuktikan menggunakan Pernyataan melalui Google 1 x 50 menit secara  SIPDA
proposisi kebenaran SIPDA: 1.1. Logika Meet:  Forum Diskusi: sinkron
dalam pernyataan a. Menentukan Proposisional. Penyampaian 2 x 50 menit melalui
matematika matematika nilai 1.2. Operasi materi  Tugas GoogleMeet.
yang berkaitan kebenaran Proposisi. pernyataan,nil Terstruktur: b. Berdiskusi
dengan operasi pernyataan 1.3. Pernyataan ai kebenaran, 3 x 60 menit dan
dasar logika. dengan Kondisional. dan operasi  Belajar Mandiri: berkolabora
2.2. Trampil operasi dasar 1.4. Konvers, logika. 3 x 60 menit si melalui
membuktikan logika. Kontraposisi,  Forum diskusi Forum
kebenaran b. Menentukan Invers di SIPDA: Diskusi di
pernyataan nilai 1.5. Bikondisional. Melatihkan SIPDA
matematika kebenaran 1.6. Aplikasi Logika menentukan mengerjakan
yang berkaitan pernyataan Proposisional. nilai LKM.
dengan majemuk 1.7. Tautologi, kebenaran c. Belajar
proposisi dengan Kontradiksi, pernyataan mandiri
majemuk. operasi dasar dan majemuk mengerjakan
logika. Kontingensi. melalui LKM. tugas rutin.
Metode:
[1] hal 118 – 152. Collaborative
[8] Bab 2 dan Bab 3. Learning
VI 2. Menganalisis 2.3. Trampil Tugas Rutin 5 2. Kalkulus  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
logika membuktikan menggunakan Pernyataan melalui Google 1 x 50 menit secara  SIPDA
proposisi kebenaran SIPDA: 2.8. Ekivalensi Meet:  Forum Diskusi: sinkron
dalam pernyataan Menentukan Proposisional. Penyampaian 2 x 50 menit melalui
matematika matematika suatu 2.9. Ekivalensi materi  Tugas GoogleMeet.
yang berkaitan pernyataan yang Logis. Ekivalensi Terstruktur: b. Berdiskusi
dengan ekivalen secara 2.10. Kesempurnaan proposisional 3 x 60 menit dan
ekivalensi logis logis dengan Proposisional.  Forum diskusi  Belajar Mandiri: berkolabora
pernyataan pernyataan di SIPDA: 3 x 60 menit si melalui
matematika. majemuk lainnya [2] hal 50 – 52. Melatihkan Forum
[8] Bab 5 – 7. menentukan Diskusi di
suatu SIPDA
pernyataan mengerjakan
yang ekivalen LKM.
dengan c. Belajar
pernyataan mandiri
lainnya mengerjakan
melalui LKM. tugas rutin.
Metode: d. Belajar
Collaborative mandiri
Learning mengerjakan
 tugas
mandiri
Laporan
CBR-2, CJR-
2, TRI-2,
TMR-2, atau
TPW-2.
VII 3. Menganalisis 3.1. Trampil Tugas Rutin 10 3. Kalkulus  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
logika predikat membuktikan menggunakan Predikat melalui Google 1 x 50 menit secara  SIPDA
dalam kebenaran SIPDA: 3.1. Logika Meet:  Forum Diskusi: sinkron
matematika pernyataan Menentukan Predikat / Penyampaian 2 x 50 menit melalui
matematika nilai kebenaran Kuantifier. materi  Tugas GoogleMeet.
yang pernyataan 3.2. Ekivalensi pernyataan Terstruktur: b. Berdiskusi
melibatkan berkuantifikasi Kuantifier. berkuantifikas 3 x 60 menit dan
kuantifier. 3.3. Implementasi i  Belajar Mandiri: berkolabora
Kuantor dalam  Forum diskusi 3 x 60 menit si melalui
berbagai di SIPDA: Forum
bidang. Melatihkan Diskusi di
menentukan SIPDA
[1] hal 182 – 228. nilai mengerjakan
[11] Bab 6. kebenaran LKM.
pernyataan c. Belajar
berkuantifikas mandiri
i melalui LKM. mengerjakan
Metode: tugas rutin.
Collaborative d. Belajar
Learning mandiri
mengerjakan
tugas
mandiri
Laporan
CBR-3, CJR-
3, TRI-3,
TMR-3, atau
TPW-3.
UAS / Evaluasi Mengerjakan
UTS Online
VIII Tengah UTS Online UTS Online SIPDA
Melalui SIPDA
Semester melalui SIPDA
IX 3. Menganalisis 3.2. Trampil Tugas Rutin 5 3. Kalkulus  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
logika predikat membuktikan menggunakan Predikat melalui Google 1 x 50 menit secara  SIPDA
dalam kebenaran SIPDA: 3.4. Kuantifier Meet:  Forum Diskusi: sinkron
matematika pernyataan Menentukan Berlapis. Penyampaian 2 x 50 menit melalui
matematika nilai kebenaran 3.5. Terjemahan materi  Tugas GoogleMeet.
yang pernyataan Pernyataan Pernyataan Terstruktur: b. Berdiskusi
melibatkan berkuantifikasi Kuantifier berkuantifikas 3 x 60 menit dan
kuantifier yang berlapis Berlapis. i ganda  Belajar Mandiri: berkolabora
berlapis.  Forum diskusi 3 x 60 menit si melalui
[1] hal 182 – 228. di SIPDA: Forum
[9] Bab 5 – 7. Melatihkan Diskusi di
 menentukan SIPDA
nilai mengerjakan
kebenaran LKM.
pernyataan c. Belajar
berkuantifikas mandiri
i ganda mengerjakan
melalui LKM. tugas rutin.
Metode:
Collaborative
Learning

X 4. Menganalisis 4.1. Trampil Tugas Rutin 5 4. Metode  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
teknik dan menarik menggunakan Pembuktian melalui Google 1 x 50 menit secara  SIPDA
strategi kesimpulan dari SIPDA: 4.1. Validitas Meet:  Forum Diskusi: sinkron
pembuktian sekumpulan Menentukan Argumen. Penyampaian 2 x 50 menit melalui
dalam Argumen yang pernyataan 4.2. Aturan materi  Tugas GoogleMeet.
matematika diberikan. simpulan dari Penarikan Penarikan Terstruktur: b. Berdiskusi
sekumpulan Kesimpulan. kesimpulan 3 x 60 menit dan
argumen yang 4.3. Penarikan  Forum diskusi  Belajar Mandiri: berkolabora
diberikan Kesimpulan di SIPDA: 3 x 60 menit si melalui
Pernyataan Melatihkan Forum
berkuantifikasi. menentukan Diskusi di
pernyataan SIPDA
[3] hal 113 – 168. simpulan dari mengerjakan
[8] Bab 5 argumen yang LKM.
diberikan c. Belajar
melalui LKM. mandiri
Metode: mengerjakan
Collaborative tugas rutin.
Learning

XI 4. Menganalisis 4.2. Trampil Tugas Rutin 10 4. Metode  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
teknik dan menggunakan menggunakan Pembuktian melalui Google 1 x 50 menit secara  SIPDA
strategi langkah- SIPDA: IV.4.Prinsip Dasar Meet:  Forum Diskusi: sinkron
pembuktian langkah a. Menerapkan Pembuktian. Penyampaian 2 x 50 menit melalui
dalam pembuktian berbagai jenis IV.5.Jenis materi Prinsip  Tugas GoogleMeet.
matematika dalam pembuktian Pembuktian pembuktian Terstruktur: b. Berdiskusi
pembuktian dalam IV.6.Kekeliruan dalam 3 x 60 menit dan
matematika. membuktikan dalam matematika  Belajar Mandiri: berkolabora
4.3. Trampil pernyataan Pembuktian.  Forum diskusi 3 x 60 menit si melalui
menggunakan matematika IV.7.Bukti Lengkap di SIPDA: Forum
strategi b. Menerapkan dan Bukti Melatihkan Diskusi di
pembuktian berbagai Kasus. cara SIPDA
dalam strategi IV.8.Pembuktian membuktikan mengerjakan
pembuktian pembuktian Eksistensi. pernyatan LKM.
teorema dalam IV.9.Strategi matematika c. Belajar
matematika. membktikan Pembuktian melalui LKM. mandiri
 pernyataan IV.10.Prinsip Metode: mengerjakan
matematika Konjektur. Collaborative tugas rutin.
Learning
[2] hal 113 – 146.
[7] Bab 4.
XII 4. Menganalisis 4.4. Trampil Tugas Rutin 5 4. Metode  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
teknik dan menggunakan menggunakan Pembuktian melalui Google 1 x 50 menit secara  SIPDA
strategi prinsip induksi SIPDA: IV.11.Prinsip Induksi Meet:  Forum Diskusi: sinkron
pembuktian matematika Menerapkan Matematika. Penyampaian 2 x 50 menit melalui
dalam dalam prinsip induksi IV.12.Teorema materi Induksi  Tugas GoogleMeet.
matematika pembuktian matematika Binomial. Matematika Terstruktur: b. Berdiskusi
matematika. dalam  Forum diskusi 3 x 60 menit dan
membuktikan [2] hal 180 – 200. di SIPDA:  Belajar Mandiri: berkolabora
pernyataan [7] Bab 7. Melatihkan 3 x 60 menit si melalui
matematika cara Forum
mebuktikan Diskusi di
pernyataan SIPDA
matematika mengerjakan
dengan LKM.
induksi c. Belajar
matematika mandiri
melalui LKM. mengerjakan
Metode: tugas rutin.
Collaborative
Learning

XIII 5. Menganalisis 5.1. Trampil Tugas Rutin 10 5. Himpunan  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
teorema dalam membuktikan menggunakan Aksiomatik melalui Google 1 x 50 menit secara  SIPDA
Himpunan teorema- SIPDA: 5.1. Aksioma Skema Meet:  Forum Diskusi: sinkron
aksiomatik teorema Menggunakan Abstraksi. Penyampaian 2 x 50 menit melalui
dengan himpunan prinsip dan 5.2. Aksioma materi  Tugas GoogleMeet.
menggunakan dalam aksioma strategi Perluasan. Aksioma Terstruktur: b. Berdiskusi
langkah- himpunan pembuktian 5.3. Aksioma tentang 3 x 60 menit dan
langkah dalam Pemisahan. Himpunan  Belajar Mandiri: berkolabora
pembuktian membuktikan 5.4. Aksioma  Forum diskusi 3 x 60 menit si melalui
matematika berbagai Gabungan di SIPDA: Forum
aksioma tentang 5.5. Aksioma Melatihkan Diskusi di
himpunan Pasangan. cara SIPDA
5.6. Aksioma membuktikan mengerjakan
Penjumlahan. aksioma yang LKM.
5.7. Aksioma berkaitan c. Belajar
Himpunan dengan mandiri
Kuasa. Himpunan mengerjakan
5.8. Aksioma melalui LKM. tugas rutin.
Regularitas. Metode: d. Belajar
Collaborative mandiri
[6] hal 225 – 282. Learning mengerjakan
[11] Bab 10. tugas
 mandiri
Laporan
CBR-4, CJR-
4, TRI-4,
TMR-4, atau
TPW-4.
XIV 6. Menganalisis 6.1. Trampil Tugas Rutin 10 6. Relasi dan  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
Relasi dan membuktikan menggunakan Fungsi melalui Google 1 x 50 menit secara  SIPDA
Fungsi secara sifat-sifat Relasi SIPDA: 6.1. Relasi Biner. Meet:  Forum Diskusi: sinkron
aksiomatik dan operasinya a. Menggunakan 6.2. Relasi Terurut. Penyampaian 2 x 50 menit melalui
dengan secara prinsip dan 6.3. Relasi Ekivalen. materi  Tugas GoogleMeet.
menggunakan aksiomatik. strategi 6.4. Partisi. Aksioma Terstruktur: b. Berdiskusi
langkah- 6.2. Trampil pembuktian 6.5. Fungsi. tentang Relasi 3 x 60 menit dan
langkah membuktikan dalam 6.6. Invers fungsi. dan Fungsi  Belajar Mandiri: berkolabora
pembuktian sifat-sifat membuktikan 6.7. Komposisi  Forum diskusi 3 x 60 menit si melalui
matematika Fungsi dan berbagai fungsi. di SIPDA: Forum
operasinya aksioma Melatihkan Diskusi di
secara tentang sifat- [2] hal 201 – 243. cara SIPDA
aksiomatik. sifat relasi. [4] Bab 8. membuktikan mengerjakan
IV.3.Trampil b. Menggunakan aksioma yang LKM.
membuktikan prinsip dan berkaitan c. Belajar
Invers dan strategi dengan Relasi mandiri
komposisi pembuktian dan Fungsi mengerjakan
fungsi secara dalam melalui LKM. tugas rutin.
aksiomatik membuktikan Metode:
berbagai Collaborative
aksioma Learning
tentang sifat-
sifat fungsi.
c. Menggunakan
prinsip dan
strategi
pembuktian
dalam
membuktikan
berbagai
aksioma
tentang invers
dan komposisi
fungsi.
XV 7. Menganalisis 7.1. Trampil Tugas Rutin 10 7. Himpunan  Kuliah online  Kuliah online: a. Berdiskusi  Google Meet
Keterhingga- membuktikan menggunakan Terhingga dan melalui Google 1 x 50 menit secara  SIPDA
an dan ekivalensi di SIPDA: Himpunan Meet:  Forum Diskusi: sinkron
Ketakhingga- antara a. Menggunakan Takterhingga Penyampaian 2 x 50 menit melalui
an Himpunan himpunan prinsip dan 7.1. Ekivalensi dua materi  Tugas GoogleMeet.
secara secara strategi himpunan. Aksioma Terstruktur: b. Berdiskusi
aksiomatik aksiomatik. pembuktian 7.2. Himpunan tentang 3 x 60 menit dan
dengan 7.2. Trampil dalam Terhingga. Himpunan  Belajar Mandiri: berkolabora
menggunakan membuktikan membuktikan 7.3. Bilangan terhingga dan 3 x 60 menit si melalui
 langkah- teorema berbagai Kardinal dan tak terhingga Forum
langkah keterhinggaan aksioma Kardinal  Forum diskusi Diskusi di
pembuktian dan tentang Terhingga. di SIPDA: SIPDA
matematika ketakhinggaan ekivalensi 7.4. Bilangan Melatihkan mengerjakan
himpunan diantara Ordinal. cara LKM.
secara beberapa 7.5. Ordinal membuktikan c. Belajar
aksiomatik. himpunan. Terhingga. aksioma yang mandiri
b. Menggunakan 7.6. Himpunan berkaitan mengerjakan
prinsip dan Denumerabel. dengan tugas rutin.
strategi 7.7. Himpuna Kuasa himpunan d. Belajar
pembuktian dan Kontinum. terhingga dan mandiri
dalam 7.8. Teorema- tak terhingga mengerjakan
membuktikan teorema melalui LKM. tugas
berbagai ketakhinggaan. Metode: mandiri
aksioma Collaborative Laporan
tentang [6] hal 283 – 332. Learning CBR-5, CJR-
kehinggaan [11] Bab 11. 5, TRI-5,
dan TMR-5, atau
ketakhinggan TPW-5.
himpunan
Mengerjakan
UAS / Evaluasi UAS Online
UAS Online UAS Online SIPDA
Akhir Semester Melalui SIPDA
melalui SIPDA
 KONTRAK PERKULIAHAN
HIMPUNAN dan LOGIKA

Oleh :
Drs. Yasifati Hia, M. Si

JURUSAN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
UNIVERSITAS NEGERI MEDAN
2020
 KONTRAK PERKULIAHAN
Nama Mata Kuliah : Himpunan dan Logika
Kode Mata Kuliah : 3MAT48001
SKS : 3
Semester : Gasal 2020 / 2021 / I
Dosen Pengasuh Mata Kuliah : Drs. Yasifati Hia, M. Si
Jadwal Kuliah :
Tempat Kuliah :

1. Tujuan dan Manfaat Mata kuliah

a. Tujuan.
Setelah mengikuti perkuliahan pada mata kuliah Himpunan dan Logika, diharapkan mahasiswa
memiliki pengetahuan dan pemahaman yang cukup tentang Kalkulus Pernyataan, kalkulus Predikat,
argumen, metode pembuktian, himpunan, relasi dan fungsi, serta ketakhinggaan.

b. Manfaat
Dengan memiliki pengetahuan dan pemahaman yang cukup tentang Himpunan dan Logika,
mahasiswa dapat menyelesaikan suatu masalah dengan suatu jawaban secara benar yang dikerjakan
dengan sistematis berdasarkan fakta-fakta yang ada.

2. Deskripsi Mata kuliah

Mata Kuliah Himpunan dan Logika Matematika merupakan landasan berpikir kritis dan logis matematis
untuk memahami konsep-konsep matematika dan menarik kesimpulan secara benar berdasarkan fakta-
fakta yang ada. Dengan Logika, diharapkan dapat mengurangi tindakan menebak dalam menghadapi dan
menyelesaikan suatu masalah sehingga suatu jawaban yang dikerjakan dilakukan dengan sistematis.
Himpunan dan Logika Matematika ini membahas tentang bahasa dan logika matematika, kuantifikasi,
argumen, metode pembuktian, himpunan, relasi dan fungsi, serta ketakhinggaan.

3. Standar Kompetensi
Menganalisis Himpunan, Relasi dan Fungsi, dan Ketakhinggaan secara intuitif dan aksiomatik,
pernyataan dan kalkulus pernyataan untuk pembuktian keabsahan suatu argumen dalam pemecahan
masalah yang berkaitan dengan Teorema dalam Matematika.

4. Kompetensi Dasar
a. Menganalisis Himpunan, Relasi, dan Fungsi secara intuitif.
b. Menganalisis Logika Proposisi dalam Matematika.
c. Menganalisis Logika Predikat dalam Matematika.
d. Menganalisis Teknik dan Strategi Pembuktian dalam Matematika.
e. Menganalisis teorema dalam Himpunan aksiomatik dengan menggunakan langkah-langkah
pembuktian matematika.
f. Menganalisis Relasi dan Fungsi secara aksiomatik dengan menggunakan langkah-langkah pembuktian
matematika.
g. Menganalisis Ketakhinggaan Himpunan secara aksiomatik dengan menggunakan langkah-langkah
pembuktian matematika.

5. Indikator
a. Trampil membuktikan sifat-sifat himpunan naïve dan operasinya
b. Trampil membuktikan sifat-sifat aljabar himpunan
 c. Trampil membuktikan keluarga himpunan
d. Trampil membuktikan sifat-sifat Relasi dan operasinya
e. Trampil membuktikan sifat-sifat Fungsi dan operasinya
f. Trampil membuktikan Invers dan komposisi fungsi
g. Trampil membuktikan kebenaran pernyataan matematika yang berkaitan dengan operasi dasar
logika
h. Trampil membuktikan kebenaran pernyataan matematika yang berkaitan dengan proposisi
majemuk
i. Trampil membuktikan kebenaran pernyataan matematika yang berkaitan dengan ekivalensi
logis pernyataan matematika
j. Trampil membuktikan kebenaran pernyataan matematika yang melibatkan kuantifier
k. Trampil membuktikan kebenaran pernyataan matema-tika yang melibatkan kuantifier berlapis.
l. Trampil menarik kesimpulan dari sekumpulan Argumen yang diberikan
m. Trampil menggunakan langkah-langkah pembuktian dalam pembuktian matematika
n. Trampil menggunakan strategi pembuktian dalam pembuktian teorema matematika
o. Trampil menggunakan prinsip induksi matematika dalam pembuktian matematika.
p. Trampil membuktikan teorema-teorema himpunan dalam aksioma himpunan
q. Trampil membuktikan sifat-sifat Relasi dan operasinya secara aksiomatik
r. Trampil membuktikan sifat-sifat Fungsi dan operasinya secara aksiomatik
s. Trampil membuktikan Invers dan komposisi fungsi secara aksiomatik
t. Trampil membuktikan ekivalensi di antara himpunan secara aksiomatik
u. Trampil membuktikan teorema keterhinggaan dan ketakhinggaan himpunan secara aksiomatik

6. Atribut Soft Skill

a. Etika berkomunikasi
b. Kejujuran
c. Tanggungjawab
d. Kerjasama
e. Ketangguhan
f. Kepedulian
g. Kedisiplinan
h. Ketekunan
i. Kemandirian
j. Keberinisiatifan

7. Pengorganisasian Materi Kuliah

Ketakhinggaan

Himpunan, Relasi dan Fungsi

Metode Pembuktian

Kalkulus Predikat

Kalkulus Pernyataan

Himpunan Naive
8. Strategi / Metode Pembelajaran.
Metode Pembelajaran yang diterapkan dalam perkuliahan ini mengggunakan kombinasi metode Ceramah,
Tanya jawab, Diskusi, Pemberian Tugas Latihan, dan Presentasi. Untuk mencapai hasil pembelajaran
yang optimal dan maksimal sesuai dengan kompetensi yang diharapkan, pada setiap tatap muka dilakukan
tahapan-tahapan pembelajaran berikut.
a. Pendahuluan. Pada tahap ini dilakukan orientasi, motivasi, pemberian acuan materi yang akan
dibahas, dan memberikan apersepsi, selama maksimal 15 menit.
b. Penyajian Materi. Pada tahap ini dilakukan penyampaian materi yang dibahas dengan
menggunakan kombinasi metode pembelajaran, selama maksimal 35 menit.
c. Latihan dan diskusi kelompok. Pada tahap ini mahasiswa diminta untuk melatihkan
pembuktian dan pemecahan masalah dengan menggunakan konsep-konsep yang telah dibahas pada
tahap penyajian tadi. Dalam latihan ini, mahasiswa diberikan masalah yang pemecahannya berkaitan
dengan konsep yang telah dibahas. Dalam latihan ini, pemecahan masalah yang diberikan dapat
dilakukan secara perorangan atau kelompok sesuai dengan karakteristik materi yang sedang dibahas.
Hasil dari pemecahan masalah ini kemudian dipresentasikan di depan kelas oleh mahasiswa yang
ditunjuk dosen.
d. Presentasi, pada tahap ini, seorang mahasiswa atau perwakilan kelompok menyajikan hasil
pemecahan masalah di depan kelas. Mahasiswa atau perwakilan kelompok yang menyajikan ditunjuk
secara bergantian menyajikan di depan kelas untuk melatih dan mengembangkan kemampuan
berkomunikasi, menghargai orang lain, rasa percaya diri, apresiatif dan peka terhadap situasi,
kemandirian, dan tanggungjawab terhadap tugas yang diberikan.
e. Penutup, pada tahap ini dilakukan umpan baik dari hasil latihan dan presentasi mahasiswa
sekaligus merangkum materi perkuliahan pada pertemuan ini. Di akhir perkuliahan disampaikan agar
mahasiswa membaca topik bahasan untuk pertemuan selanjutnya. Pada pertemuan tertentu,
mahasiswa diberi tugas untuk memecahkan masalah dari topik masalah yang ditentukan dosen.

9. Materi / Bahan bacaan.

a. Soehakso, RMJT, 1971, Aljabar Abstrak, FMIPA UGM
b. Soehakso, RMJT, 1971, Pengantar Matematika Modern, Yokyakarta : FMIPA UGM
c. Webber, G.C, 1966, Number System of Analysis, Massachussetts : Addison-Wesley Publishing
Co.Inc.
d. Marsudi. 2010. Logika dan Teori Himpunan. Malang: UB Press
e. Muniri. 2011. Logika Dasar Matematika. Jakarta: Alim’s Publishing
f. Soekadijo, R. G. 2001. Logika Dasar: Tradisional, Simbolik, dan Induktif. Jakarta: PT. Gramedia
Pustaka Utama
g. F. Soesianto & Djoni Dwijono, 2003, “Logika Proposisional”, Andi Offset, Yogyakarta
h. F. Soesianto & Djoni Dwijono, 2003, “Logika Predikatif”, Andi Offset, Yogyakarta
i. A. Sukirman. 2006. Logika dan Himpunan. Yogyakarta: Hanggar Kreator
j. Stoll, Robert R. 1998. Set Theory and Logic. New Delhi: Eurasia Publishing House (PVT) Ltd
k. Hammack, Richard. 2013. Book of Proof. Virginia Commonwealth University
l. Gensler, Harry J., Introduction To Logic, Routledge, New York, 2010
m. Klenk ., Virginia, Understanding symbolic logic, Pearson Prentice Hall, 2008.

10. Tugas-tugas Perkuliahan

Tugas-tugas Perkuliahan berupa Tugas Rutin, Review Book, Review Journal, Rekayasa Ide, Mini Riset,
dan Projek. Tugas Rutin berkaitan dengan latihan mengerjakan soal-soal ataupun memecahkan masalah
yang berkaitan dengan materi yang sedang dibahas dipadukan dengan materi-materi yang telah dibahas
sebelumnya. Tugas ini dikerjakan secara individu atau kelompok disesuaikan dengan karakteristik materi
yang sedang dibahas. Hasil pekerjaan mahasiswa kemudian ditampilkan di depan kelas untuk dibahas
bersama mahasiswa yang lainnya. Tugas dan presentasi ini harus selesai pada saat pertemuan berlangsung
agar dapat diberikan umpan baliknya.
Selain tugas rutin, mahasiswa diwajibkan untuk mengerjakan tugas Review Book, Review Journal,
Rekayasa Ide, Mini Riset, dan Projek yang diberikan untuk dikerjakan di rumah. Tugas ini harus diserahkan
tepat waktu (sesuai jadwal). Tugas-tugas ini diharapkan akan dapat merangsang mahasiswa untuk belajar secara
mandiri dengan memanfaatkan berbagai sumber belajar yang relevan, dan tidak terlalu tergantung kepada
kegiatan tatap muka di dalam kelas. Selain itu, tugas-tugas ini didisain sedemikian rupa agar mamasiswa tidak
hanya terlalu tergantung pada materi yang tertulis dalam Buku Pegangan Kuliah Mahasiswa (Diktat). Jenis,
tujuan dan jadwal penyerahan (deadline) masing-masing tugas dapat dilihat pada tabel di bawah ini.

Tabel Judul, jenis, tujuan dan jadwal penyerahan tugas matakuliah Himpunan dan Logika
Judul Jenis Jumlah Tujuan Deadline
Himpunan : Analisis Review Buku berjudul: 8 orang Melatih mahasiswa
Pemecahan Masalah O’Leary, Micgael L. (2016). A First Course in menganalisis dan
Himpunan Mathematical Logic and Set Theory. New membuktikan
Jersey : John Wiley & Son. Bab 3. teorema-teorema
Review Jurnal dengan judul : 8 orang dalam Himpunan
Soft Set Theory dan pemecahan
Rekayasa Ide : 8 orang masalah yang
Menulis makalah menurut pendapat/ide sendiri berkaitan dengan
tentang Himpunan dan penggunaannya dalam Himpunan
kehidupan sehari-hari, matematika, bidang
lainnya, ataupun pendidikan.
Mini Riset : 8 orang
Minggu – 4
Meneliti kesalahan-kesalahan yang dilakukan
seseorang atau sekelompok orang dalam
menggunakan Himpunan dalam kehidupan
sehari-hari, matematika, bidang lainnya,
ataupun pendidikan.
Projek : 8 orang
Membuat solusi alternatif untuk mengatasi
kesalahan-kesalahan yang dilakukan seseorang
atau sekelompok orang dalam menggunakan
Himpunan dalam kehidupan sehari-hari,
matematika, bidang lainnya, ataupun
pendidikan.
Kalkulus Pernyataan : Review Buku berjudul : 8 orang Melatih mahasiswa Minggu – 7
Analisis Logika Stoll, Robert R. (1963). Set Theory and Logic. untuk menganalisis
Proposisional New York : Dover Publication. Bab 4, Subbab Pernyataan Logika
4.1. – 4.5. dan menggunakan-
Review Jurnal dengan judul : 8 orang nya dalam
Pembuktian Pernyataan Logika Proposisi memecahkan
Dengan Menggunakan Rules Of Inference masalah-masalah
Rekayasa Ide : 8 orang matematika.
Menulis makalah menurut pendapat/ide sendiri
tentang penggunaan pernyataan logika dalam
kehidupan sehari-hari, matematika, bidang
lainnya, ataupun pendidikan.
Mini Riset : 8 orang
Meneliti kesalahan-kesalahan yang dilakukan
seseorang atau sekelompok orang dalam
 menggunakan pernyataan logika dalam
kehidupan sehari-hari, matematika, bidang
lainnya, ataupun pendidikan.
Projek : 8 orang
Membuat solusi alternatif untuk mengatasi
kesalahan-kesalahan yang dilakukan seseorang
atau sekelompok orang dalam menggunakan
pernyataan logika dalam kehidupan sehari-hari,
matematika, bidang lainnya, ataupun
pendidikan.
Kalkulus Predikat : Review Buku berjudul : 8 orang Melatih mahasiswa
Analisis Logika Predikat Stoll, Robert R. (1963). Set Theory and Logic. untuk menganalisis
New York : Dover Publication. Bab 4, Subbab Logika Predikat
4.6. – 4.9. dan menggunakan-
Review Jurnal dengan judul : 8 orang nya dalam
Linguistic quantifiers modeled by Sugeno memecahkan
integrals masalah-masalah
Rekayasa Ide : 8 orang matematika.
Menulis makalah menurut pendapat/ide sendiri
tentang penggunaan logika predikat dalam
kehidupan sehari-hari, matematika, bidang
lainnya, ataupun pendidikan.
Mini Riset : 8 orang Minggu – 9
Meneliti kesalahan-kesalahan yang dilakukan
seseorang atau sekelompok orang dalam
menggunakan logika predikat dalam kehidupan
sehari-hari, matematika, bidang lainnya,
ataupun pendidikan.
Projek : 8 orang
Membuat solusi alternatif untuk mengatasi
kesalahan-kesalahan yang dilakukan seseorang
atau sekelompok orang dalam menggunakan
logika predikat dalam kehidupan sehari-hari,
matematika, bidang lainnya, ataupun
pendidikan.
Metode Pembuktian : Review Buku berjudul: 8 orang Melatih mahasiswa Minggu – 14
Analisis Teknik dan O’Leary, Micgael L. (2016). A First Course in untuk menganalisis
Strategi Pembuktian Mathematical Logic and Set Theory. New metode Pembukti-
Jersey : John Wiley & Son. Bab 1, Subbab 1.2., an dalam
1.4., 1.5., Bab 2, Subbab 2.4. matematika dan
Review Jurnal dengan Judul : 8 orang menggunakannya
Mengatasi Kesulitan Mahasiswa Ketika dalam memecah-
Melakukan Pembuktian Matematis Formal. kan masalah-
Rekayasa Ide : 8 orang masalah
Menulis makalah menurut pendapat/ide sendiri matematika.
tentang penggunaan metode pembuktian dalam
kehidupan sehari-hari, matematika, bidang
lainnya, ataupun pendidikan.
Mini Riset : 8 orang
Meneliti kesalahan-kesalahan yang dilakukan
seseorang atau sekelompok orang dalam
menggunakan metode pembuktian dalam
kehidupan sehari-hari, matematika, bidang
lainnya, ataupun pendidikan.
Projek : 8 orang
 Membuat solusi alternatif untuk mengatasi
kesalahan-kesalahan yang dilakukan seseorang
atau sekelompok orang dalam menggunakan
metode pembuktian dalam kehidupan sehari-
hari, matematika, bidang lainnya, ataupun
pendidikan.
Relasi dan Fungsi : Review Buku berjudul: 8 orang Melatih mahasiswa
Analisis Pemecahan O’Leary, Micgael L. (2016). A First Course in menganalisis dan
Masalah Relasi dan Mathematical Logic and Set Theory. New membuktikan
Fungsi Jersey : John Wiley & Son. Bab 4. teorema-teorema
Review Jurnal dengan judul : 8 orang dalam Relasi dan
On Modular Relations for the Gollnitz- Fungsi serta
Gordon Functions with Applications to pemecahan
Partitions. masalah yang
Rekayasa Ide : 8 orang berkaitan dengan
Menulis makalah menurut pendapat/ide sendiri Relasi dan Fungsi
tentang Relasi dan Fungsi dan penggunaannya
dalam kehidupan sehari-hari, matematika,
bidang lainnya, ataupun pendidikan.
Minggu – 16
Mini Riset : 8 orang
Meneliti kesalahan-kesalahan yang dilakukan
seseorang atau sekelompok orang dalam
menggunakan Relasi dan Fungsi dalam
kehidupan sehari-hari, matematika, bidang
lainnya, ataupun pendidikan.
Projek : 8 orang
Membuat solusi alternatif untuk mengatasi
kesalahan-kesalahan yang dilakukan seseorang
atau sekelompok orang dalam menggunakan
Relasi dan Fungsi dalam kehidupan sehari-hari,
matematika, bidang lainnya, ataupun
pendidikan.

Keterangan:
 Setiap tugas harus dikerjakan secara mandiri
 Tidak akan ada pengumuman resmi untuk pengumpulan tugas, tetapi setiap tugas harus diserahkan tepat
waktu (sesuai jadwal). Tugas yang terlambat akan diberi hukuman pengurangan nilai.

11. Kriteria Penilaian

Pada perkuliahan ke 8 dan 16 diberikan ujian Tengah dan Akhir Semester. Hasil ujian dikembalikan pada
pertemuan berikutnya. Bagi mahasiswa yang belum mencapai kompetensi, diberi kesempatan ujian
ulangan pada minggu berikutnya.
Ujian Tengah semester berkaitan dengan materi yang telah dibahas pada pertemuan 1 s.d 8. Banyak soal
ada 5, terdiri dari 2 soal dalam bentuk pertanyaan pemahaman dengan bobot skor 20, dan 3 soal dalam
bentuk pemecahan masalah dengan bobot 80.
Ujian Akhir Semester berkaitan dengan materi yang telah dibahas pada pertemuan 9 s.d 16. Banyak soal
ada 5, terdiri dari soal dalam bentuk pembuktian dan pemecahan masalah dengan bobot 100.
Skor Tugas Rutin digunakan untuk nilai F1 dengan Bobot sebesar 10 % dari skor Nilai Akhir.
Skor Tugas Review Book, Review Journal, dan Rekayasa Ide digunakan untuk nilai F2 dengan Bobot F2
= 0,2 CBR + 0,3CJR + 0,5RI. Bobot Skor F2 sebesar 10 % dari skor Nilai Akhir.
Skor Tugas Mini Riset dan Projek digunakan untuk F3 dengan Bobot F3= 0,4 MR + 0,6 PR. Bobot
Skor F3 sebesar 15 % dari skor Nilai Akhir.
Skor Tengah Semester dan Akhir Semester digunakan untuk F4 dengan Bobot F4 = 0,5 TS + 0,5 AS.
Bobot Skor F4 sebesar 65 % dari skor Nilai Akhir.
 Untuk melakukan evaluasi terhadap hasil belajar mahasiswa, dilakukan dengan menjumlahkan keempat
bobot skor F yang ada dengan menggunakan rumus berikut.
NA = 0,1 F1 + 0,1 F2 + 0,15 F3 + 0,65 F4
Penilaian akhir dilakukan dengan menggunakan kriteria sebagai berikut :

Nilai dalam Huruf Nilai dalam Angka Rentang Skor

A 4 90 – 100
B 3 80 – 89
C 2 70 – 79
E 0 0 – 69

12. Hak dan Kewajiban Mahasiswa :

a. Kegiatan pembelajaran dimulai pukul 800 WIB, toleransi keterlambatan 10 menit.
b. Selama proses pembelajaran berlangsung, HP harus dimatikan.
c. Pengumpulan tugas perkuliahan harus sesuai dengan jadwal yang telah ditetapkan dan dilakukan
sebelum pembelajaran dimulai. Mahasiswa yang terlambat menyerahkan tugas dari jadwal yang
ditentukan (kecuali untuk mahasiswa yang terlambat masuk dalam batas toleransi), tugasnya tidak
diterima dan tidak mendapat nilai untuk tugas tersebut.
d. Tugas yang merupakan plagiat (mencontoh temannya punya) diberi nilai 0 (nol).
e. Aturan jumlah minimal kehadiran dalam pembelajaran tetap diberlakukan, termasuk aturan cara
berpakaian atau bersepatu.
f. Nilai terbaik akan mendapat penghargaan.
g. Mahasiswa berhak mengharapkan tugas atau karyanya dinilai sesuai ketentuan dan hasil penilaian
dikembalikan dalam batas waktu tertentu, disertai masukan (umpan balik) dari dosen.
h. Mahasiswa berhak mengharapkan keterbukaan dan perbaikan nilai oleh dosen jika dosen melakukan
kekeliruan menilai.
i. Mahasiswa berhak menginformasikan kepada dosen jika tidak hadir kuliah.

13. Hak dan Kewajiban Dosen :

a. Tiba tepat waktu dan melaksanakan PBM sesuai dengan jadwal.
b. Tetap terlibat untuk seluruh aktivitas kelas.
c. Memeriksa, menganalisis dan mengembalikan tugas mahasiswa tepat waktu.
d. Melakukan evaluasi terhadap mahasiswa tentang pembelajaran yang dilakukan.
e. Mematuhi seluruh aturan akademik yang berlaku.

14. Aturan Perkuliahan

a. Tatacara Pelaksanaan Kegiatan Belajar Mengajar
1. Perkuliahan dilaksanakan melalui serangkaian kegiatan yang menuntut mahasiswa lebih aktif
(Students-Centered Learning,) atau SCL. Rangkaian kegiatan tersebut meliputi: (1) Latihan dan
diskusi kelompok, yaitu membuktikan atau memecahkan masalah yang berkaitan dengan bilangan
dengan menggunakan teorema yang baru saja dibahas dikombinasikan dengan teorema yang telah
dibahas pada pertemuan sebelumnya; (2) Presentasi di depan kelas, yaitu menampilkan
pembuktian atau pemecahan masalah yang diperoleh dari hasil diskusi secara kelompok.
2. Setiap kegiatan perkuliahan dilakukan secara berkelompok. Setiap anggota kelompok harus siap
setiap saat dihunjuk oleh dosen menjadi penyaji.
3. Dalam melaksanakan sajian, setiap kelompok harus menggunakan fasilitas komputer dan infocus
yang tersedia. Yang tidak menyajikan dengan fasilitas tersebut dinyatakan tidak memenuhi syarat
dan oleh karena itu, kelompok tersebut diberi nilai nol (0).
4. Setiap anggota kelompok harus menguasai produk akademis yang dihasilkan dan keaktifan
menjawab serta keakuratan jawaban terhadap pertanyaan anggota kelompok lain maupun
pertanyaan dosen dijadikan indikator penguasaan produk tersebut. Atas prestasi tersebut, anggota
kelompok itu berhak mendapat nilai lebih.
 5. Kualitas produk akademik, kualitas sajian, dan keakuratan respons yang diberikan anggota
kelompok dijadikan indikator kualitas dan setiap anggota kelompok berhak mendapat nilai yang
sama. atas produk yang dihasilkannya.
6. Setiap anggota kelompok harus menunjukkan tingkat penguasaannya terhadap topik yang dibahas
melalui keterlibatan yang intensif dan berkontribusi secara tepat. Setiap anggota yang berhasil
menunjukkan prestasi seperti ini tambahan nilai.
7. Seluruh produk akademik harus selesai disajikan dan dibahas pada sesi yang terkait oleh karena
itu pengaturan waktu harus dijaga dengan ketat. Kelompok yang molor menyaji dikurangi
nilainya.

b. Disiplin Mengikuti Perkuliahan

1. Setiap mahasiswa harus masuk tepat waktu. Yang terlambat lebih dari sepuluh menit tidak
diperkenankan masuk mengikuti perkuliahan.
2. Setiap mahasiswa harus berpakaian rapi pada saat mengikuti kuliah. Tidak diperbolehkan
memakai sandal, kaus oblong, dan celana jeans.
3. Selama perkuliahan berlangsung tidak diperbolehkan menghidupkan HP.
4. Setiap mahasiswa tidak diperkenankan berambut panjang atau gondrong.

c. Tugas
Tugas terdiri atas dua bagian, yakni: (1) tugas kelompok dan (2) tugas individu.
1. Setiap kelompok harus mengerjakan tugas yang diberikan untuk didiskusikan secara berkelompok
sebagai mana yang tertera pada kontrak perkuliahan
2. Setiap mahasiswa harus menyerahkan tugas-tugas perkuliahaan yang terdiri dari 6 bentuk tugas.
3. Tugas individu tersebut harus diserahkan pada sesuai jadwal yang ditetapkan. Yang tidak
menyerahkan tugas tersebut pada saat itu dinyatakan gagal menyerahkan tugas perkuliahan dan
diberi nilai nol untuk nilai tugas.

15. Hak dan Tanggung Jawab Bersama (Dosen dan Mahasiswa) 

Etika Kelas :
Harapan bersama untuk :
a. Kita akan saling mendengarkan penuh perhatian. 
b. Kita tidak akan berbicara sementara yang lain berbicara. 
c. Apabila kita tidak setuju dengan seseorang, kita akan kritik dengan gagasan konstruktif dengan rasa
hormat.
d. Bila pandangan orang lain dari perspektif yang berbeda dari kita, maka kita akan mencoba
memahaminya, bukan hanya sekedar mengkritik.  
e. Kita akan menghindari stereotypes (meniru-niru) dan humor yang meremehkan orang lain. 
f. Kita akan mengingatkan dengan sopan ketika seseorang berlaku kasar dan tidak adil terhadap orang
lain.

16. Jadwal Perkuliahan

Jadwal Perkuliahan matakuliah Himpunan dan Logika semester I / Gasal tahun akademi 2020 / 2021
jurusan Matematika FMIPA UNIMED adalah :

Perte Hari / Tanggal Pokok Bahasan / Sub Pokok Estimasi Bahan

muan Waktu Bahasan Waktu Bacaan
I Penyampaian Kontrak Kuliah 150 menit
II 1. Konsep Dasar Himpunan 150 menit a, b, dan c
1.1. Karakteristik Himpunan
1.2. Operasi Himpunan
1.3. Himpunan kuasa dan keluarga
himpunan
 1.4. Aljabar himpunan
1. Konsep dasar Himpunan
1.5. Relasi dan sifat-sifatnya
1.6. Komposisi Relasi
III 1.7. Relasi n-ary 150 menit a, b, dan c
1.8. Fungsi dan jenis-jenisnya
1.9. Invers fungsi
1.10. Komposisi fungsi
2. Kalkulus Pernyataan
2.1. Logika Proposisional
2.2. Operasi Proposisi
2.3. Pernyataan Kondisional
IV 2.4. Konvers, Kontraposisi, Invers 150 menit a, b, dan c
2.5. Bikondisional
2.6. Aplikasi Logika Proposisional
2.7. Tautologi, Kontradiksi, dan
Kontingensi
2. Kalkulus Pernyataan
2.8. Ekivalensi Proposisional
V 150 menit a, b, dan c
2.9. Ekivalensi Logis
2.10. Kesempurnaan Proposisional
3. Kalkulus Predikat
3.1. Logika Predikat / Kuantifier
VI 3.2. Ekivalensi Kuantifier 150 menit a, b, dan c
3.3. Implementasi Kuantor dalam
berbagai bidang
3. Kalkulus Predikat
3.4. Kuantifier Berlapis
VII
3.5. Terjemahan Pernyataan
Kuantifier Berlapis
VIII UJIAN TENGAH SEMESTER 150 menit
4. Metode Pembuktian
4.1. Validitas Argumen
IX 4.2. Aturan Penarikan Kesimpulan 150 menit a, b, dan c
4.3. Penarikan Kesimpulan
Pernyataan Berkuantifikasi
4. Metode Pembuktian
4.4. Prinsip Dasar Pembuktian
4.5. Jenis Pembuktian
4.6. Kekeliruan dalam Pembuktian
X 150 menit a, b, dan c
4.7. Bukti Lengkap dan Bukti
Kasus
4.8. Pembuktian Eksistensi
4.9. Strategi Pembuktian
4. Metode Pembuktian
4.10. Prinsip Konjektur
XI 150 menit a, b, dan c
4.11. Prinsip Induksi Matematika
4.12. Teorema Binomial
5. Himpunan, Relasi dan Fungsi
XII 5.1. Aksioma dan Teorema dalam 150 menit a, b, dan c
Teori Himpunan Aksiomatik
XIII 5. Himpunan, Relasi dan Fungsi 150 menit a, b, dan c
5.2. Relasi dalam Teori Himpunan
Aksiomatik
5.3. Fungsi dalam Teori
 Himpunan Aksiomatik
6. Ketakhinggaan Himpunan
XIV 6.1. Himpunan Terhingga 150 menit a, b, dan c
6. Ketakhinggaan Himpunan
XV 150 menit a, b, dan c
6.2. Ketakhinggaan Himpunan
XVI UJIAN AKHIR SEMESTER 150 menit a, b, dan c

17. Pernyataan Persetujuan Kontrak

Saya telah membaca dan memahami kontrak ini secara komprehensif dan jelas dan dengan ini saya
nyatakan bahwa saya menerima seluruh bagian kontrak ini secara sadar.

Medan, September 2020

Dosen Pengampu Wakil Mahasiswa,

Drs. Yasifati Hia, M. Si (..............................................)

NIP.196304011989031004 NIM.

(..............................................)
NIM.

(..............................................)
NIM.
 RENCANA TUGAS SEMESTER
HIMPUNAN dan LOGIKA

Oleh :
Drs. Yasifati Hia, M. Si

JURUSAN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
UNIVERSITAS NEGERI MEDAN
2020
 KEMENTERIAN RISET, TEKNOLOGI, DAN PENDIDIKAN TINGGI
UNIVERSITAS NEGERI MEDAN
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
Jurusan : MATEMATIKA
Program Studi : Pendidikan Matematika
RENCANA TUGAS MAHASISWA
MATA KULIAH Himpunan dan Logika
KODE 3MAT48001 sks 3 SEMESTER 1
DOSEN PENGAMPU Drs. Yasifati Hia, M. Si
BENTUK TUGAS Critical Book Report (CBR)
JUDUL TUGAS Tugas 13.a. : CBR tentang
Sub CPMK
DESKRIPSI TUGAS
Review materi yang berkaitan dengan ………………………… yang terdapat pada Buku berikut ini.
Kelompok 1 : O’Leary, Micgael L. (2016). A First Course in Mathematical Logic and Set Theory. New
Jersey : John Wiley & Son. Bab 3.
Kelompok 2 : O’Leary, Micgael L. (2016). A First Course in Mathematical Logic and Set Theory. New
Jersey : John Wiley & Son. Bab 4.
Kelompok 3 : O’Leary, Micgael L. (2016). A First Course in Mathematical Logic and Set Theory. New
Jersey : John Wiley & Son. Bab 1, Subbab 1.2., 1.4., 1.5., Bab 2, Subbab 2.4.
Kelompok 4 : Stoll, Robert R. (1963). Set Theory and Logic. New York : Dover Publication. Bab 4, Subbab
4.6. – 4.9.
Kelompok 5 : Stoll, Robert R. (1963). Set Theory and Logic. New York : Dover Publication. Bab 4, Subbab
4.1. – 4.5.
1. TUJUAN TUGAS : Mengembangkan budaya membaca, kemampuan berpikir sistematis
dan kritis, kemampuan mengekspresikan pendapat dalam
memandang suatu buku yang akan direview, kemampuan berfikir
logis, kemampuan menulis karya ilmiah, dan kemampuan
menyampaikan, menggunakan dan mengaplikasikan ilmu mereview
untuk menjadi suatu sistem yang terdapat dalam pengembangan
keilmuannya.
2. URAIAN TUGAS :
a. Objek garapan : Pengkajian secara kritis tentang ……………………
b. Yang harus dikerjakan : Mengkaji buku ( atau 1 Bab sesuai yang ditugaskan Dosen)
dan batasan-batasan berdasarkan konsep atau teori yang dipelajari dalam suatu mata
kuliah untuk menentukan critical position yang melakukan kajian.
c. Metode/cara pengerjaan, : (a) Mahasiswa membentuk kelompok kerja sesuai dengan yang
acuan yang digunakan ditetapkan Dosen (8 orang/kelompok).
(b) Setiap kelompok melakukan pengkajian konsep atau teori yang
berkaitan dengan …………………… dari buku utama/pegangan
mahasiswa, sebagai dasar argumentasi dalam mereview buku di
tugaskan.
(c) Setiap kelompok meringkas isi buku yang ditugaskan untuk di
review.
(d) Kemudian setiap mahasiswa melanjutkan analisis sesuai dengan
critical position masing-masing.
(e) Setiap Mahasiswa diperbolehkan menggunakan buku pendukung
lainnya (jika diperlukan) untuk memperkuat analisis argumen
kritisnya.
(f) Sasaran yang harus dikaji didasarkan pada sistematika
pelaporan yang ditentukan di bawah ini.
(g) Laporan critical book review dilakukan perorangan (terutama
pada isi bab I, III sd. VI).
d. Deskripsi luaran tugas : I. Pengantar
 yang dikerjakan II. Ringkasan isi buku
III. Keunggulan Buku
a. Kelengkapan Sub topik (SubBab/SubsubBab) yang diperlu-
kan untuk menjelaskan isi topik utama ( Bab/Sub Bab) tugas
yang diberikan.
b. Keterkaitan topik utama ( Bab/SubBab) dengan Sub topik
(SubBab/SubsubBab) yang terkait.
c. Aspek kelayakan isi (cakupan materi dan kemutakhiran).
d. Aspek kelayakan bahasa (komunikatif; keruntutan alur
berpikir;penggunaan istilah, simbol atau lambang).
e. Aspek kelayakan penyajian (teknik penyajian, pendukung
penyajian, penyajian pembelajaran)
IV. Kelemahan buku
(a) Kelengkapan Sub topik (SubBab/SubsubBab) yang diperlu-
kan untuk menjelaskan isi topik utama ( Bab/Sub Bab) tugas
yang diberikan.
(b) Keterkaitan topik utama ( Bab/SubBab) dengan Sub topik
(SubBab/SubsubBab) yang terkait.
(c) Aspek kelayakan isi (cakupan materi dan kemutakhiran).
(d) Aspek kelayakan bahasa (komunikatif; keruntutan alur
berpikir;penggunaan istilah, simbol atau lambang).
(e) Aspek kelayakan penyajian (teknik penyajian, pendukung
penyajian, penyajian pembelajaran)
V. Implikasi terhadap:
(a) Teori/Konsep.
(b) Program pembangunan di Indonesia.
(c) Analisis mahasiswa (posisi kritis mahasiswa)
VI. Kesimpulan dan Saran
Kepustakaan
3. KRITERIA PENILAIAN :
1. Ringkasan masalah, pertanyaan dan isu.
2. Mempertimbangkan Konteks dan Asumsi.
3. Berkomunikasi perspektif sendiri, hipotesis, atau dugaan.
4. Analisis Data Pendukung dan bukti.
5. Menggunakan Perspektif dan dugaan lainnya.
6. Mengkaji kesimpulan, implikasi, dan konsekuensi.
7. Berkomunikasi Efektif.
KATEGORI/LEVEL PENILAIAN : Emerging (1-2), Developing (3-4), Mastering (5-6)
JADWAL PELAKSANAAN
Tugas diberikan : Minggu ke-...
Tugas dikumpulkan : Minggu ke-...
LAIN-LAIN
Bobot penilaian tugas ini adalah 2 % dari 100 % penilaian mata kuliah ini;
DAFTAR RUJUKAN
 KEMENTERIAN RISET, TEKNOLOGI, DAN PENDIDIKAN TINGGI
UNIVERSITAS NEGERI MEDAN
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
Jurusan : MATEMATIKA
Program Studi : Pendidikan Matematika
RENCANA TUGAS MAHASISWA
MATA KULIAH Himpunan dan Logika
KODE 3MAT48001 sks 3 SEMESTER 1
DOSEN PENGAMPU Drs. Yasifati Hia, M. Si
BENTUK TUGAS Critical Research / Journal Report (CRR/CJR)
JUDUL TUGAS Tugas 13.b. : CRR/CJR tentang ……………….
Sub CPMK
DESKRIPSI TUGAS
Review Jurnal berikut ini.
Kelompok 1 : Dadi Rosadi, Praswidhianingsih. 2009. Pembuktian Pernyataan Logika Proposisi Dengan
Menggunakan Rules Of Inference.
Kelompok 2 : P. K. Maji, R. Biswas and A. R. Roy. 2002. Soft Set Theory.
Kelompok 3 : Sen-Shan Huang. 1998. On Modular Relations for the Gollnitz-Gordon Functions with
Applications to Partitions.
Kelompok 4 : Cecep Anwar HF Santosa. 2013. Mengatasi Kesulitan Mahasiswa Ketika Melakukan
Pembuktian Matematis Formal.
Kelompok 5 : Mingsheng Ying. 2006. Linguistic quantifiers modeled by Sugeno integrals.
1. TUJUAN TUGAS : Mengembangkan budaya membaca, kemampuan berpikir sistematis dan
kritis, kemampuan mengekspresikan pendapat dalam memandang
suatu buku yang akan direview, kemampuan berfikir logis,
kemampuan menulis karya ilmiah, dan kemampuan menyampaikan,
menggunakan dan mengaplikasikan ilmu mereview untuk menjadi
suatu sistem yang terdapat dalam pengembangan keilmuannya.
2. URAIAN TUGAS :
a. Objek garapan : Pengkajian secara kritis tentang ……………………
b. Yang harus dikerjakan : Mereview (semua komponen suatu laporan) riset atau jurnal secara
dan batasan-batasan kritis dengan tujuan utama menemukan keunggulan dan kelemahan
dari suatu riset/jurnal serta menampilkan saran yang relevan untuk
mempertahankan kekuatan dan mengatasi kelemahan riset/jurnal itu.
c. Metode/cara pengerjaan, : (a) Mahasiswa membentuk kelompok kerja sesuai dengan yang
acuan yang digunakan ditetapkan Dosen (8 orang/kelompok).
(b) Setiap kelompok meringkas satu artikel jurnal/laporan penelitian
yang berkaitan dengan …………………… yang ditugaskan oleh
dosen.
(c) Kemudian setiap mahasiswa melanjutkan analisis sesuai dengan
critical position masing-masing.
(d) Setiap Mahasiswa diperbolehkan menggunakan buku/jurnal
pendukung lainnya (jika diperlukan) untuk memperkuat analisis
argumen kritisnya.
(e) Sasaran yang harus dikaji didasarkan pada sistematika pelaporan
yang ditentukan di bawah ini.
(f) Laporan critical research/journal review dilakukan perorangan
(terutama pada isi bab I, III sd. VI).

d. Deskripsi luaran tugas : I. Pengantar

yang dikerjakan II. Ringkasan artikel/hasil penelitian
III. Keunggulan Artikel/hasil penelitian
(a) Kegayutan antar elemen
 (b) Originalitas temuan
(c) Kemutakhiran masalah
(d) Kohesi dan koherensi isi penelitian
IV. Kelemahan Artikel/hasil penelitian
(a) Kegayutan antar elemen
(b) Originalitas temuan
(c) Kemutakhiran masalah
(d) Kohesi dan koherensi isi penelitian
V. Implikasi terhadap:
(a) Teori/Konsep
(b) Program pembangunan di Indonesia
(c) Analisis mahasiswa (posisi kritis mahasiswa)
VI. Kesimpulan dan Saran
Kepustakaan

3. KRITERIA PENILAIAN :
1. Ringkasan latar belakang masalah penelitian
2. Mempertimbangkan Konteks dan Asumsi
3. Berkomunikasi perspektif sendiri, hipotesis, atau dugaan
4. Analisis Data Pendukung dan bukti
5. Menggunakan Perspektif dan posisi lainnya
6. Mengkaji kesimpulan, implikasi, dan konsekuensi
7. Berkomunikasi Efektif

KATEGORI/LEVEL PENILAIAN : Emerging (1-2), Developing (3-4), Mastering (5-6)

JADWAL PELAKSANAAN
Tugas diberikan : Minggu ke-...
Tugas dikumpulkan : Minggu ke-...
LAIN-LAIN
Bobot penilaian tugas ini adalah 3 % dari 100 % penilaian mata kuliah ini;
DAFTAR RUJUKAN
 KEMENTERIAN RISET, TEKNOLOGI, DAN PENDIDIKAN TINGGI
UNIVERSITAS NEGERI MEDAN
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
Jurusan : MATEMATIKA
Program Studi : Pendidikan Matematika
RENCANA TUGAS MAHASISWA
MATA KULIAH Himpunan dan Logika
KODE 3MAT48001 sks 3 SEMESTER 1
DOSEN PENGAMPU Drs. Yasifati Hia, M. Si
BENTUK TUGAS Rekayasa Ide (RI)
JUDUL TUGAS Tugas 13.c. : Membuat makalah tentang …………………
Sub CPMK
DESKRIPSI TUGAS :
Tulis artikel yang akan membahas ide-ide yang berkaitan dengan …………………….
Kelompok 1 : Menulis makalah menurut pendapat/ide sendiri tentang penggunaan logika predikat dalam
kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
Kelompok 2 : Menulis makalah menurut pendapat/ide sendiri tentang penggunaan pernyataan logika dalam
kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
Kelompok 3 : Menulis makalah / artikel menurut pendapat/ide sendiri tentang Himpunan dan
penggunaannya dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun
pendidikan.
Kelompok 4 : Menulis makalah menurut pendapat/ide sendiri tentang Relasi dan Fungsi dan penggunaannya
dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
Kelompok 5 : Menulis makalah menurut pendapat/ide sendiri tentang penggunaan metode pembuktian
dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
1. TUJUAN TUGAS : Mengembangkan budaya berpikir sistematis dan kritis, kemampuan
mengekspresikan pendapat dalam memandang suatu suatu topik
materi yang dipilih dengan menggunakan buku-buku referensi,
kemampuan berfikir logis, kemampuan menulis karya ilmiah, dan
kemampuan menyampaikan, menggunakan dan mengaplikasikan
materi yang dibahasnya menjadi suatu sistem yang terdapat dalam
pengembangan keilmuannya.

2. URAIAN TUGAS :
a. Objek garapan : Pengkajian secara kritis tentang ……………………
b. Yang harus dikerjakan : Menyusun karya ilmiah atau artikel ilmiah atau artikel populer secara
dan batasan-batasan tertulis tentang aplikasi muatan materi ………………… dengan daya
dukung
referensi (Buku, jurnal, karya ilmiah) 7 tahun terakhir. Kemampuan
yang diukur berupa keterampilan: a) Kemampuan melahirkan
gagasan b) Kemampuan mendeskripsikan gagasan c)
Kemampuan menulis d) Pemanfaatan referensi yang up to date.
c. Metode/cara pengerjaan, :(a) Mahasiswa membentuk kelompok kerja sesuai dengan yang
acuan yang digunakan ditetapkan Dosen (8 orang/kelompok).
(b) Setiap kelompok menentukan topik utama artikel yang akan
ditulis.
(c) Setiap Mahasiswa mengembangkan topik utama menjadi topik
artikel yang akan ditulisnya.
(d) Kembangkan topik artikel tersebut dengan format yang telah
ditentukan.
(e) Gunakan artikel lain untuk mengembangkan artikel Saudara.
(f) Artikel yang dilaporkan dilakukan perorangan.
 d. Deskripsi luaran tugas : I. Pendahuluan
yang dikerjakan II. Originalitas Ide dan koteks sosialnya
III. Perangkat yang dibutuhkan untuk melakukan inovasi
IV. Ide turunan dan konteks sosialnya
(a) Peluang keterwujudan
(b) Nilai-nilai inovasi
(c) Perkiraan dampak
V. Kesimpulan dan saran
Kepustakaan

3. KRITERIA PENILAIAN :
a. Kemampuan melahirkan gagasan.
b. Mendeskripsi gagasan
c. Menulis ide terekayasa
d. Menggunakan rujukan terkini
e. Keterampilan Integrasi

KATEGORI/LEVEL PENILAIAN : PERLU PERBAIKAN (1-2), KOMPETEN (3-4),

TELADAN (5-6)

JADWAL PELAKSANAAN
Tugas diberikan : Minggu ke-...
Tugas dikumpulkan : Minggu ke-...
LAIN-LAIN
Bobot penilaian tugas ini adalah 5 % dari 100 % penilaian mata kuliah ini;
DAFTAR RUJUKAN
 KEMENTERIAN RISET, TEKNOLOGI, DAN PENDIDIKAN TINGGI
UNIVERSITAS NEGERI MEDAN
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
Jurusan : MATEMATIKA
Program Studi : Pendidikan Matematika
RENCANA TUGAS MAHASISWA
MATA KULIAH Himpunan dan Logika
KODE 3MAT48001 sks 3 SEMESTER 1
DOSEN PENGAMPU Drs. Yasifati Hia, M. Si
BENTUK TUGAS Mini Research (MR)
JUDUL TUGAS Tugas 13.d. : Melakukan Penelitian tentang ………………………..
Sub CPMK
DESKRIPSI TUGAS
Kelompok 1 : Telitilah melalui pemberian soal-soal dan wawancara untuk mengidentifikasi kesalahan-
kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan metode
pembuktian dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
Kelompok 2 : Telitilah melalui pemberian soal-soal dan wawancara untuk mengidentifikasi kesalahan-
kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan logika
predikat dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
Kelompok 3 : Telitilah melalui pemberian soal-soal dan wawancara untuk mengidentifikasi kesalahan-
kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan pernyataan
logika dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
Kelompok 4 : Telitilah melalui pemberian soal-soal dan wawancara untuk mengidentifikasi kesalahan-
kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan Himpunan
dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
Kelompok 5 : Telitilah melalui pemberian soal-soal dan wawancara untuk mengidentifikasi kesalahan-
kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan Relasi dan
Fungsi dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
1. TUJUAN TUGAS : Mengembangkan budaya berpikir sistematis dan kritis, kemampuan
mengekspresikan pendapat melalui hasil riset dalam memandang
suatu suatu topik materi yang dipilih, kemampuan berfikir logis,
kemampuan melakukan riset, dan kemampuan menyampaikan,
menggunakan dan mengaplikasikan hasil riset menjadi suatu sistem
yang terdapat dalam pengembangan keilmuannya.
2. URAIAN TUGAS :
a. Objek garapan : Meneliti secara kritis tentang kesulitan siswa SD/SMP/ SMA dalam
menguasai ……………………
b. Yang harus dikerjakan : Melakukan Riset sederhana yang minimal terdiri atas pertanyaan
dan batasan-batasan (hipotesis, tujuan utama), teori, instrumen, pengumpulan data,
analisis data, dan simpulan
c. Metode/cara pengerjaan, : (a) Mahasiswa membentuk kelompok kerja sesuai dengan yang
acuan yang digunakan ditetapkan Dosen (8 orang/kelompok).
(b) Setiap kelompok menentukan topik riset yang akan dikerjakan
(c) Setiap Mahasiswa mengembangkan topik menjadi sub topik yang
akan dikerjakannya.
(d) Setiap Mahasiswa mengembangkan pertanyaan riset, teori-teori,
dan instrumen riset yang berkaitan dengan sub topik tersebut
dengan format yang telah ditentukan.
(e) Gunakan referensi lainnya untuk mengembangkan teori dan
 instrumen dan menganalisis hasil riset.
(f) Mahasiswa melakukan riset, analisis, dan memberi simpulan
terhadap hasil riset
(g) Laporan hasil riset dilakukan perorangan.
d. Deskripsi luaran tugas : I. Latar dan Rumusan Masalah
yang dikerjakan II. Konsep dan hipotesis
III. Teknik pengumpulan data
IV. Analisis Data
V. Kesimpulan dan saran
Kepustakaan

3. KRITERIA PENILAIAN :
a. Kemutakhiran dan originalitas
b. Kesesuaian Formulasi Tujuan
c. Kegayutan antar elemen
d. Kesesuaian Instrumentasi
e. Kesesuaian Teknik Analisis Data
f. Temuan Utama
g. Implikasi Hasil

KATEGORI/LEVEL PENILAIAN : PERBAIKAN (1-2), CUKUP MEMADAI(3-4),

MEMADAI (5-6)
JADWAL PELAKSANAAN
Tugas diberikan : Minggu ke - ...
Tugas dikumpulkan : Minggu ke - ...
LAIN-LAIN
Bobot penilaian tugas ini adalah 6 % dari 100 % penilaian mata kuliah ini;
DAFTAR RUJUKAN
 KEMENTERIAN RISET, TEKNOLOGI, DAN PENDIDIKAN TINGGI
UNIVERSITAS NEGERI MEDAN
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
Jurusan : MATEMATIKA
Program Studi : Pendidikan Matematika
RENCANA TUGAS MAHASISWA
MATA KULIAH Himpunan dan Logika
KODE 3MAT48001 sks 3 SEMESTER 1
DOSEN PENGAMPU Drs. Yasifati Hia, M. Si
BENTUK TUGAS Project (PR)
JUDUL TUGAS Tugas 13.e. : Meningkatkan / Memperbaiki
Sub CPMK
DESKRIPSI TUGAS
Kelompok 1 : Susun dan buatlah solusi alternatif yang dapat meningkatkan / memperbaiki / mengatasi
kesalahan-kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan
Relasi dan Fungsi dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun
pendidikan.
Kelompok 2 : Susun dan buatlah solusi alternatif yang dapat meningkatkan / memperbaiki / mengatasi
kesalahan-kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan
metode pembuktian dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun
pendidikan.
Kelompok 3 : Susun dan buatlah solusi alternatif yang dapat meningkatkan / memperbaiki / mengatasi
kesalahan-kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan
logika predikat dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
Kelompok 4 : Susun dan buatlah solusi alternatif yang dapat meningkatkan / memperbaiki / mengatasi
kesalahan-kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan
pernyataan logika dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun
pendidikan.
Kelompok 5 : Susun dan buatlah solusi alternatif yang dapat meningkatkan / memperbaiki / mengatasi
kesalahan-kesalahan yang dilakukan seseorang atau sekelompok orang dalam menggunakan
Himpunan dalam kehidupan sehari-hari, matematika, bidang lainnya, ataupun pendidikan.
1. TUJUAN TUGAS : Menerapkan transfer pengetahuan untuk pemecahan masalah
otentik melalui proses investigasi ide, proses inquiry, berpikir kritis
dan kreatif sehingga menghasilkan model, atau produk yang
memiliki nilai etika, estetika, sosial, budaya, ekonomi serta terampil
mengomunikasikan hasilnya.
2. URAIAN TUGAS :
a. Objek garapan : Pemecahan Masalah secara kritis terhadap masalah kemampuan siswa
SD/SMP/SMA dalam menguasai ……………………
b. Yang harus dikerjakan : Memecahkan masalah otentik yang diberikan melalui proses
dan batasan-batasan investigasi ide, proses inquiry, berpikir kritis dan kreatif, sehingga
menghasilkan model, atau produk yang memiliki nilai etika, estetika,
sosial, budaya, ekonomi.
c. Metode/cara pengerjaan, : (a) Mahasiswa membentuk kelompok kerja sesuai dengan yang
acuan yang digunakan ditetapkan Dosen (8 orang/kelompok).
(b) Setiap kelompok menentukan topik Projek yang akan dikerjakan
(c) Setiap Mahasiswa mengembangkan topik menjadi sub topik yang
akan dikerjakannya.
(d) Setiap Mahasiswa memecahkan masalah otentik yang berkaitan
 dengan sub topik tersebut melalui investigasi ide, proses inquiry,
berpikir kritis dan kreatif dengan format yang telah ditentukan.
(e) Gunakan referensi lainnya untuk menghasilkan model pemecahan
dalam melakukan investigasi ide.
(f) Model atau produk yang dihasilkan harus memiliki nilai etika,
estetika, sosial, budaya, ekonomi.
(g) Laporan hasil Projek dilakukan perorangan.

d. Deskripsi luaran tugas : I. Pengantar

yang dikerjakan II. Deskripsi Konteks Projek
III. Tujuan
IV. Prosedur dan Mekanisme
V. Hasil Projek
1) Deskripsi dari Hasil
2) Nilai Sosial, Budaya, dan Ekonomi dari Hasil
3) Manfaat terhadap Pembangunan
4) Konteks Masa depan dari Hasil
VI. Kesimpulan
Kepustakaan

3. KRITERIA PENILAIAN :
a. Kemampuan inquiry dalam mengivestigasi ide dan pertanyaan
b. Kemampuan aplikasi konsep dan prinsip ilmu yang dipelajari pada berbagai bidang ilmu yang
relevan
c. Kemampuan berpikir kreatif dalam pemecahan masalah (kefasihan, kefleksibelan, elaborasi,
dan kebaruan strategi pemecahan).
d. Kemampuan mengelola sumber daya untuk menyelesaikan tugas
e. Kemampuan pelaporan.
KATEGORI/LEVEL PENILAIAN : EMERGING (1-2), DEVELOPING (3-4), MASTERING
(5-6)
JADWAL PELAKSANAAN
Tugas diberikan : Minggu ke - ...
Tugas dikumpulkan : Minggu ke - ...
LAIN-LAIN
Bobot penilaian tugas ini adalah 9 % dari 100 % penilaian mata kuliah ini;
DAFTAR RUJUKAN