Membangun Nalar Komputasional Melalui Matematika Diskrit
Setiap calon sarjana Sistem Informasi, sebelum mampu merancang basis data yang efisien, menulis algoritma yang terbukti benar, atau membangun sistem yang aman bagi penggunanya, sesungguhnya lebih dulu memerlukan sebuah kerangka berpikir: berpikir komputasional (computational thinking). Tanpa penguasaan kerangka ini, logika program hanya menjadi rangkaian instruksi yang sulit dibuktikan kebenarannya secara formal, dan struktur data hanya menjadi kumpulan nilai tanpa dasar pemodelan yang sahih. Matematika Diskrit hadir sebagai jembatan yang menghubungkan gagasan komputasional dengan struktur formal yang presisi.
Naskah ini disusun sebagai bahan acuan bagi mahasiswa Program Studi Sistem Informasi jenjang Sarjana (S1), khususnya dalam mengikuti mata kuliah Matematika Diskrit (kode SI1103, bobot 3 sks teori) yang termasuk rumpun Matematika & Logika Komputasi pada Semester 1. Mata kuliah ini tidak memiliki prasyarat, namun menjadi fondasi berpikir logis-formal yang akan terus digunakan di sepanjang mata kuliah inti keilmuan Sistem Informasi berikutnya, mulai dari basis data, struktur data dan algoritma, hingga keamanan sistem.
Pembahasan disusun mengikuti lima klaster kemampuan yang membangun satu sama lain secara progresif — logika & inferensi, himpunan/relasi/fungsi/induksi/rekursi, kombinatorika & peluang diskrit, teori graf & pohon, hingga aljabar Boolean & teori bilangan — sebagaimana ditekankan dalam Capaian Pembelajaran Mata Kuliah (CPMK 1–5) yang berlaku, dan disatukan dalam sebuah proyek integratif (CPMK 6) pada pekan-pekan terakhir perkuliahan. Sejalan dengan Deskripsi Singkat Mata Kuliah dalam RPS, naskah ini secara sengaja memadukan tiga ranah pembelajaran: (1) penyelarasan dengan standar kompetensi internasional ACM/AIS IS2020 — Foundations Competency Realm; (2) praktik penilaian Outcome-Based Education (OBE) yang lazim dalam standar internasional; serta (3) apresiasi khazanah keilmuan Islam klasik (ilmu mantiq, faraidh, sanad, dan hisab) serta nilai-nilai adab keilmuan ala Aswaja An-Nahdliyah, sebagai fondasi karakter calon sarjana Sistem Informasi yang utuh — bukan sekadar terampil berlogika dan berhitung, melainkan juga berkarakter moderat (tawassuth), toleran (tasamuh), seimbang (tawazun), adil (i'tidal), dan bermusyawarah (tasyawur).
Matematika diskrit bagi calon sarjana Sistem Informasi bukan sekadar kumpulan rumus abstrak untuk dihafal, melainkan bahasa formal untuk membuktikan bahwa sebuah sistem bekerja benar, aman, dan adil bagi penggunanya.
— Refleksi Pedagogis
Peta Materi Matematika Diskrit: Lima Klaster Kemampuan
Secara konseptual, materi Matematika Diskrit dapat dipetakan ke dalam lima klaster kemampuan utama yang saling berkaitan dan membentuk satu kesatuan alat berpikir komputasional. Klaster logika menyediakan kosakata formal untuk menilai kebenaran pernyataan; klaster himpunan, relasi, fungsi, induksi, dan rekursi memodelkan struktur data dan proses berulang; klaster kombinatorika dan peluang diskrit menghitung kemungkinan dan menilai keamanan; klaster graf dan pohon merepresentasikan jaringan dan hierarki; dan klaster aljabar Boolean serta teori bilangan menyatukan seluruhnya ke dalam rangkaian digital dan kriptografi dasar, sebelum bermuara pada proyek integratif Sistem Informasi.
![]() |
| Gambar 1. Lima klaster materi Matematika Diskrit sebagai satu kesatuan alat berpikir komputasional, bermuara pada proyek integratif. |
Tabel 1. Fungsi utama lima klaster materi Matematika Diskrit.
| Klaster | Pertanyaan Kunci | Fungsi Utama |
|---|---|---|
| Logika, Proposisi & Inferensi | Bagaimana menilai kebenaran dan keabsahan suatu pernyataan/argumen secara formal? | Menyediakan bahasa dasar logika untuk validasi kondisional & aturan bisnis |
| Himpunan, Relasi, Fungsi, Induksi & Rekursi | Bagaimana memodelkan struktur data dan proses yang berulang? | Mendasari desain basis data, struktur data, dan algoritma rekursif |
| Kombinatorika & Peluang Diskrit | Bagaimana menghitung kemungkinan dan menilai risiko keamanan? | Menghitung kombinasi data & mengevaluasi keamanan sistem |
| Teori Graf & Pohon | Bagaimana merepresentasikan jaringan dan struktur berjenjang? | Memodelkan topologi jaringan & struktur data hierarkis |
| Aljabar Boolean & Teori Bilangan | Bagaimana menyusun rangkaian digital dan mengamankan data? | Mendasari rangkaian digital & kriptografi dasar |
Klaster 1: Logika, Proposisi, dan Inferensi sebagai Bahasa Formal Sistem Informasi
Klaster pertama menopang CPMK 1: mahasiswa mampu menerapkan logika proposisional dan predikat untuk memformalkan, merepresentasikan, dan menilai keabsahan argumen atau pernyataan dalam konteks sistem informasi. Klaster ini dibangun melalui dua kemampuan akhir tahapan belajar (Sub-CPMK 1–2) pada pekan pertama dan kedua perkuliahan.
Proposisi, Konektif Logika, dan Tabel Kebenaran
Pada pekan pertama, mahasiswa menyusun tabel kebenaran serta mengidentifikasi jenis pernyataan — konjungsi, disjungsi, implikasi, dan biimplikasi — sebagai keterampilan dasar sebelum masuk ke logika predikat. Materi ini sekaligus menjadi pintu pengenalan ilmu Mantiq dalam tradisi pesantren sebagai akar historis penalaran sahih, sekaligus orientasi kontrak belajar dan nilai Aswaja An-Nahdliyah dalam berpikir ilmiah.
Logika Predikat, Kuantor, dan Aturan Inferensi
Mahasiswa memformalkan kalimat ke dalam logika predikat serta menilai validitas argumen melalui aturan inferensi. Metode qiyas (analogi) dalam ushul fiqh diperkenalkan sebagai ilustrasi inferensi logis yang telah lama dipraktikkan dalam tradisi keilmuan Islam, sekaligus melatih diskusi kelompok secara musyawarah (tasyawur).
Tabel 2. Ringkasan sub-materi Klaster 1 dan kaitannya dengan khazanah keilmuan Islam serta Sistem Informasi.
| Sub-materi | Konteks Keilmuan Islam | Konsep Inti | Kaitan dengan Sistem Informasi |
|---|---|---|---|
| Proposisi & tabel kebenaran | Ilmu Mantiq (tradisi pesantren) | Konjungsi, disjungsi, implikasi, biimplikasi | Struktur kondisional & validasi logis dalam algoritma |
| Logika predikat & inferensi | Qiyas dalam Ushul Fiqh | Kuantor, aturan inferensi, validitas argumen | Penilaian keabsahan aturan bisnis & query logis |
Klaster 2: Himpunan, Relasi, Fungsi, Induksi, dan Rekursi — Memodelkan Struktur Data
Klaster kedua menopang CPMK 2: mahasiswa mampu menerapkan konsep himpunan, relasi, fungsi, induksi, dan rekursi untuk memodelkan struktur data, basis data, dan algoritma. Klaster ini dibangun melalui Sub-CPMK 3–5 pada pekan ketiga hingga kelima perkuliahan.
Himpunan dan Operasi Himpunan
Mahasiswa menjelaskan dan mengoperasikan konsep himpunan — operasi, sifat, dan diagram Venn — untuk memodelkan struktur berjenjang. Struktur kelembagaan Nahdlatul Ulama (PBNU–Wilayah–Cabang–MWC–Ranting) diperkenalkan sebagai ilustrasi himpunan bersarang yang konkret dan relevan bagi mahasiswa.
Relasi dan Fungsi
Mahasiswa menganalisis sifat relasi (refleksif, simetris, transitif) dan klasifikasi fungsi (injektif, surjektif, bijektif) melalui studi kasus relasi antar-entitas pada basis data Sistem Informasi — kompetensi inti yang kelak langsung digunakan dalam mata kuliah Basis Data.
Induksi Matematika dan Rekursi
Klaster ini ditutup dengan pembuktian pernyataan matematis menggunakan induksi matematika serta penjelasan konsep rekursi. Struktur sanad periwayatan ilmu — rantai transmisi keilmuan bertingkat dalam tradisi Islam — diperkenalkan sebagai analogi konkret dari rekursi dan rantai proses bertingkat yang mendasari algoritma rekursif.
Tabel 3. Ringkasan sub-materi Klaster 2 dan kaitannya dengan khazanah keilmuan Islam serta Sistem Informasi.
| Sub-materi | Konteks Keilmuan Islam | Konsep Inti | Kaitan dengan Sistem Informasi |
|---|---|---|---|
| Himpunan & operasi himpunan | Struktur kelembagaan NU (PBNU–Ranting) | Diagram Venn, himpunan bersarang | Pemodelan struktur data & hierarki organisasi |
| Relasi & fungsi | Relasi antar-entitas (analogi umum) | Sifat relasi, fungsi injektif/surjektif/bijektif | Desain skema basis data relasional |
| Induksi matematika & rekursi | Sanad periwayatan ilmu | Pembuktian induktif, fungsi rekursif | Analisis kompleksitas algoritma rekursif |
Klaster 3: Kombinatorika dan Peluang Diskrit — Menghitung Kemungkinan dan Menilai Keamanan
Klaster ketiga menopang CPMK 3: mahasiswa mampu menyelesaikan masalah kombinatorial (kaidah pencacahan, permutasi, kombinasi, prinsip pigeonhole) dan peluang diskrit dalam analisis data dan keamanan sistem. Klaster ini dibangun melalui Sub-CPMK 6–7 pada pekan keenam dan ketujuh, sebelum Evaluasi Tengah Semester pada pekan kedelapan.
Kaidah Pencacahan, Permutasi, dan Kombinasi
Mahasiswa menerapkan kaidah pencacahan, permutasi, dan kombinasi untuk menyelesaikan masalah nyata, termasuk studi kasus ilmu faraidh — perhitungan bagian waris dalam fikih Islam yang menuntut ketepatan dan keadilan hitung (i'tidal). Studi kasus ini dikerjakan secara kelompok, dengan proses bermusyawarah dan presentasi singkat.
Prinsip Pigeonhole dan Peluang Diskrit
Klaster ditutup dengan penerapan prinsip pigeonhole dan konsep dasar peluang diskrit dalam analisis data dan keamanan sistem, melalui studi kasus keamanan kata sandi dan hashing — kompetensi yang menjadi dasar penting bagi mata kuliah keamanan sistem informasi di semester lanjutan.
Tabel 4. Ringkasan sub-materi Klaster 3 dan kaitannya dengan khazanah keilmuan Islam serta Sistem Informasi.
| Sub-materi | Konteks Keilmuan Islam | Konsep Inti | Kaitan dengan Sistem Informasi |
|---|---|---|---|
| Pencacahan, permutasi & kombinasi | Ilmu Faraidh (pembagian waris) | Perhitungan sistematis & keadilan hitung (i'tidal) | Analisis kombinatorial data & penjadwalan |
| Prinsip pigeonhole & peluang diskrit | Studi kasus keamanan kata sandi/hashing | Prinsip sarang merpati, peluang diskrit | Evaluasi keamanan sistem & risiko kolisi hash |
Klaster 4: Teori Graf dan Pohon — Merepresentasikan Jaringan dan Struktur Berjenjang
Klaster keempat menopang CPMK 4: mahasiswa mampu memodelkan dan menganalisis permasalahan menggunakan teori graf dan pohon untuk kebutuhan jaringan, basis data, dan optimasi algoritma. Klaster ini dibangun melalui Sub-CPMK 8–10 pada pekan kesembilan hingga kesebelas, setelah Evaluasi Tengah Semester.
Dasar Teori Graf dan Representasi Graf
Mahasiswa menjelaskan konsep dasar graf, jenis-jenis graf, dan cara merepresentasikannya untuk memodelkan jaringan. Jejaring silaturahmi dan struktur jam'iyyah Nahdlatul Ulama diperkenalkan sebagai ilustrasi konkret bagaimana relasi sosial dan kelembagaan dapat direpresentasikan sebagai graf, dibantu simulasi graf interaktif.
Graf Euler, Hamilton, dan Lintasan Terpendek
Mahasiswa menganalisis sirkuit Euler dan Hamilton serta menerapkan algoritma lintasan terpendek (misalnya Dijkstra sederhana) untuk optimasi jaringan — kompetensi yang menjadi dasar penting bagi perancangan rute dan jaringan komputer.
Pohon (Tree) dan Pohon Merentang Minimum
Klaster ditutup dengan penjelasan konsep pohon dan pohon merentang minimum (spanning tree) melalui algoritma Kruskal atau Prim. Struktur sanad hadits — rantai periwayatan yang bercabang dari seorang guru ke banyak murid — diperkenalkan sebagai analogi historis dari pohon berakar (rooted tree).
Tabel 5. Ringkasan sub-materi Klaster 4 dan kaitannya dengan khazanah keilmuan Islam serta Sistem Informasi.
| Sub-materi | Konteks Keilmuan Islam | Konsep Inti | Kaitan dengan Sistem Informasi |
|---|---|---|---|
| Dasar teori graf & representasi | Jejaring jam'iyyah/silaturahmi NU | Jenis graf, representasi graf | Pemodelan topologi jaringan komputer |
| Graf Euler, Hamilton & lintasan terpendek | Studi kasus optimasi rute (analogi umum) | Algoritma lintasan terpendek (mis. Dijkstra) | Optimasi rute distribusi & jaringan |
| Pohon & spanning tree | Sanad hadits (pohon berakar) | Minimum Spanning Tree (Kruskal/Prim) | Struktur data hierarkis & optimasi jaringan minimum |
Klaster 5: Aljabar Boolean, Teori Bilangan, dan Proyek Integratif Sistem Informasi
Klaster kelima menopang CPMK 5: mahasiswa mampu menerapkan aljabar Boolean, gerbang logika, dan teori bilangan dalam perancangan rangkaian digital dan aritmetika komputasi dasar; serta CPMK 6: mahasiswa mampu mengintegrasikan konsep matematika diskrit dalam proyek studi kasus Sistem Informasi sambil menunjukkan sikap tawassuth, tasamuh, dan tasyawur dalam kerja tim. Klaster ini dibangun melalui Sub-CPMK 11–14 pada pekan kedua belas hingga kelima belas, menjadi puncak integratif seluruh klaster sebelumnya.
Aljabar Boolean dan Gerbang Logika
Mahasiswa mengoperasikan aljabar Boolean dan merancang rangkaian gerbang logika sederhana, dibantu praktik simulasi gerbang logika daring. Sejarah kontribusi ilmuwan Muslim klasik seperti Al-Khawarizmi dalam matematika dan logika diperkenalkan sebagai konteks historis akar keilmuan yang mendasari logika komputasi modern.
Peta Karnaugh: Penyederhanaan Fungsi Boolean
Mahasiswa menyederhanakan fungsi Boolean menggunakan peta Karnaugh demi efisiensi rangkaian digital, dilatih melalui latihan soal dan kerja kelompok.
Teori Bilangan dan Aritmetika Modular
Mahasiswa menerapkan konsep teori bilangan dan aritmetika modular pada studi kasus hisab kalender Hijriah dan kriptografi sederhana. Ilmu Hisab (ilmu falak) — yang menuntut perhitungan presisi atas siklus bulan dan matahari — diperkenalkan sebagai jejak historis penerapan aritmetika modular jauh sebelum era komputer.
Proyek Integratif: Menyatukan Matematika Diskrit untuk Sistem Informasi
Sebagai puncak integratif, mahasiswa secara berkelompok (4–5 orang) memilih satu studi kasus Sistem Informasi — misalnya optimasi rute distribusi zakat, pemodelan jaringan silaturahmi pesantren/ranting, sistem antrean berbasis graf, atau penjadwalan berbasis kombinatorika — lalu menerapkan minimal tiga konsep matematika diskrit yang telah dipelajari. Pengerjaan dilakukan bertahap dengan bimbingan dosen, diselesaikan secara musyawarah (tasyawur), dan menghargai perbedaan pendekatan antaranggota (tasamuh). Hasilnya berupa laporan tertulis, slide presentasi, dan video presentasi kelompok yang diunggah ke LMS serta dipresentasikan pada pekan kelima belas.
Tabel 6. Ringkasan sub-materi Klaster 5 dan kaitannya dengan khazanah keilmuan Islam serta Sistem Informasi.
| Sub-materi | Konteks Keilmuan Islam | Konsep Inti | Kaitan dengan Sistem Informasi |
|---|---|---|---|
| Aljabar Boolean & gerbang logika | Sejarah Al-Khawarizmi & logika matematika Islam | Operasi Boolean, gerbang logika dasar | Perancangan rangkaian digital sederhana |
| Peta Karnaugh | (Penyederhanaan lanjutan aljabar Boolean) | Penyederhanaan fungsi Boolean | Efisiensi desain rangkaian digital |
| Teori bilangan & aritmetika modular | Ilmu Hisab (kalender Hijriah) | Aritmetika modular | Dasar kriptografi sederhana |
| Proyek integratif Sistem Informasi | Tawassuth, tasamuh, tasyawur | Integrasi minimal tiga konsep matematika diskrit | Studi kasus nyata Sistem Informasi berbasis komunitas |
Khazanah Keilmuan Islam Klasik dan Tradisi Aswaja dalam Matematika Diskrit
Salah satu keunikan mata kuliah Matematika Diskrit di Program Studi Sistem Informasi UNU Cirebon adalah dimasukkannya analogi dari khazanah keilmuan Islam klasik dan tradisi kelembagaan Nahdlatul Ulama pada hampir setiap pekan perkuliahan, agar mahasiswa memahami bahwa struktur berpikir logis-formal yang kini dipelajari memiliki akar yang panjang dalam tradisi intelektual Islam — mulai dari ilmu mantiq, ushul fiqh, faraidh, sanad, hingga ilmu hisab.
Rentang khazanah yang dirujuk ini membentang dari tradisi penalaran ilmu mantiq dan ushul fiqh, praktik hitung faraidh dan hisab, hingga tradisi transmisi keilmuan lewat sanad — menunjukkan bahwa struktur berpikir diskrit dan formal bukan sesuatu yang asing bagi tradisi keilmuan pesantren, melainkan telah lama dipraktikkan dalam bentuknya yang khas.
![]() |
| Gambar 2. Analogi khazanah keilmuan Islam klasik dan tradisi Aswaja yang dirujuk dalam materi mingguan Matematika Diskrit. |
Tabel 7. Konteks keilmuan Islam klasik/Aswaja dan kaitannya dengan materi mingguan Matematika Diskrit.
| Konteks Keilmuan/Kelembagaan | Konsep Inti | Materi Terkait (Minggu) |
|---|---|---|
| Ilmu Mantiq (tradisi pesantren) | Dasar penalaran sahih & tabel kebenaran | Proposisi & Konektif Logika (Mgg 1) |
| Qiyas (Ushul Fiqh) | Analogi & inferensi logis | Logika Predikat & Inferensi (Mgg 2) |
| Struktur kelembagaan NU (PBNU–Ranting) | Hierarki & pengelompokan (himpunan bersarang) | Himpunan (Mgg 3) |
| Sanad periwayatan ilmu | Rantai bertingkat (rekursi) | Induksi & Rekursi (Mgg 5) |
| Ilmu Faraidh | Kaidah pencacahan & keadilan hitung (i'tidal) | Kombinatorika (Mgg 6) |
| Jejaring jam'iyyah/silaturahmi NU | Representasi relasi sosial sebagai graf | Teori Graf (Mgg 9) |
| Sanad hadits | Pohon berakar (rooted tree) | Pohon & Spanning Tree (Mgg 10) |
| Al-Khawarizmi & sejarah matematika Islam | Akar historis aljabar & logika komputasi | Aljabar Boolean (Mgg 12) |
| Ilmu Hisab (falak) | Aritmetika presisi & modular | Teori Bilangan & Kriptografi (Mgg 14) |
Rentang khazanah yang dirujuk ini membentang dari tradisi penalaran ilmu mantiq dan ushul fiqh, praktik hitung faraidh dan hisab, hingga tradisi transmisi keilmuan lewat sanad — menunjukkan bahwa struktur berpikir diskrit dan formal bukan sesuatu yang asing bagi tradisi keilmuan pesantren, melainkan telah lama dipraktikkan dalam bentuknya yang khas.
Nilai-Nilai Aswaja An-Nahdliyah dalam Belajar Matematika Diskrit
Sebagai institusi pendidikan tinggi di bawah naungan Nahdlatul Ulama, UNU Cirebon menempatkan internalisasi nilai-nilai Aswaja sebagai bagian tidak terpisahkan dari penguasaan konten keilmuan, termasuk matematika diskrit. CPL 2 secara eksplisit menautkan penguasaan konten dengan penginternalisasian nilai, norma, dan etika akademik sebagaimana termaktub dalam Qonun Asasi KH. Hasyim Asy'ari dan Khittah Nahdliyah, sementara CPMK 6 dan CPL 9 menautkannya secara langsung dengan kerja proyek integratif.
- Tawassuth (moderat): sikap ilmiah moderat dalam menimbang berbagai metode penyelesaian masalah logis, tidak berlebihan dalam mempertahankan satu pendekatan semata.
- Tasamuh (toleran): menghargai keragaman pendekatan dan metode penyelesaian dalam kerja kelompok, termasuk menerima perbedaan pendapat saat presentasi proyek integratif pada pekan kelima belas.
- Tawazun (seimbang): keseimbangan antara penguasaan konsep teoretis matematika diskrit dan penerapannya pada studi kasus praktis maupun khazanah keislaman.
- I'tidal (adil dan tepat): ketepatan dan keadilan hitung, tercermin nyata pada studi kasus perhitungan bagian waris dalam Ilmu Faraidh di pekan keenam.
- Tasyawur (musyawarah): kerja kelompok dan diskusi musyawarah dalam menyelesaikan studi kasus qiyas (Mgg 2), tugas kelompok faraidh (Mgg 6), maupun proyek integratif (Mgg 15).
Kelima nilai ini secara konsisten dipertautkan dengan pembentukan sikap sesuai CPL 2 dan CPL 9, sehingga penguasaan matematika diskrit tidak berdiri sendiri sebagai kemampuan kognitif semata, melainkan menyatu dengan pembentukan karakter calon sarjana Sistem Informasi yang berpikir logis sekaligus berakhlak mulia.
Penyelarasan dengan Standar Kompetensi Internasional: ACM/AIS IS2020
Penguasaan matematika diskrit yang kokoh menjadi semakin relevan ketika diselaraskan dengan standar kompetensi internasional bagi program studi Sistem Informasi. Penyampaian materi pada mata kuliah ini secara sengaja diselaraskan dengan ACM/AIS IS2020 — A Competency Model for Undergraduate Programs in Information Systems — khususnya pada Foundations Competency Realm, yang menekankan penguasaan konsep teoretis matematika diskrit, logika, dan struktur data sebagai landasan berpikir komputasional bagi pemodelan dan penyelesaian masalah di bidang Sistem Informasi.
Sejalan dengan semangat tersebut, mata kuliah Matematika Diskrit UNU Cirebon memanfaatkan media pembelajaran yang mendekatkan mahasiswa pada praktik komputasional berbasis teknologi — LMS institusi (Spada/Moodle), Google Classroom, simulator graf dan logic gate daring, serta perangkat presentasi digital — selain metode konvensional papan tulis dan proyektor. Modul Ajar Matematika Diskrit Terintegrasi Nilai Aswaja An-Nahdliyah yang dikembangkan oleh dosen pengampu menjadi rujukan utama yang memadukan kedua standar tersebut: kompetensi internasional dan nilai keislaman-kebangsaan lokal.
Integrasi Matematika Diskrit dalam Praktik Sistem Informasi
Bagian penting dari mata kuliah ini adalah menjembatani kelima klaster materi dengan praktik nyata pengembangan sistem informasi. Integrasi ini menentukan apakah matematika diskrit hanya menjadi pengetahuan simbolik yang terpisah, atau benar-benar menjadi alat berpikir yang menjiwai penalaran komputasional mahasiswa.
- Logika proposisional dan predikat menjadi dasar penulisan struktur kondisional, validasi query basis data, dan penilaian keabsahan aturan bisnis.
- Himpunan, relasi, dan fungsi mendasari desain skema basis data relasional serta proses normalisasi data.
- Induksi matematika dan rekursi mendasari analisis kompleksitas algoritma rekursif dan struktur data dinamis.
- Kombinatorika dan peluang diskrit mendasari analisis kombinatorial data serta evaluasi keamanan sistem, termasuk kekuatan kata sandi dan risiko kolisi hash.
- Teori graf dan pohon mendasari pemodelan topologi jaringan komputer serta struktur data hierarkis seperti pohon direktori dan pohon keputusan.
- Aljabar Boolean dan teori bilangan mendasari perancangan rangkaian digital sederhana serta dasar-dasar kriptografi dalam pengamanan data.
Keenam integrasi ini menegaskan bahwa Matematika Diskrit bukan mata kuliah yang berdiri sendiri, melainkan fondasi yang akan terus digunakan sepanjang studi Sistem Informasi, khususnya pada mata kuliah lanjutan Basis Data, Struktur Data dan Algoritma, serta Keamanan Sistem Informasi.
Literasi Komputasional Inklusif dan Berkelanjutan
Penguasaan matematika diskrit dan berpikir komputasional semestinya dapat diakses secara merata oleh seluruh mahasiswa, terlepas dari latar belakang kesiapan logis-matematis mereka sebelum masuk perguruan tinggi. Kesadaran ini mendorong dosen pengampu untuk menyediakan beragam kanal belajar dan mengaitkan proyek integratif mahasiswa dengan kebutuhan nyata komunitas di lingkungan NU.
- Penggunaan simulator graf dan logic gate daring, LMS (Spada/Moodle), dan Google Classroom untuk mengakomodasi kecepatan belajar yang berbeda-beda.
- Forum diskusi dan kuis daring sebagai ruang bertanya tanpa tekanan sosial di kelas, khususnya untuk materi yang bersifat abstrak seperti logika predikat dan aljabar Boolean.
- Proyek integratif mahasiswa pada pekan kelima belas diarahkan menjadi embrio riset terapan, misalnya pemodelan graf jaringan kelembagaan pesantren/ranting NU atau analisis kombinatorial data kelembagaan.
- Luaran proyek terpilih dapat diarahkan mendukung digitalisasi data kelembagaan NU/pesantren mitra, sebagai bentuk pengabdian nyata dosen dan mahasiswa kepada masyarakat sekitar kampus.
Struktur Perkuliahan: Peta 16 Minggu
Sebagai acuan praktis bagi mahasiswa, berikut disajikan capaian pembelajaran lulusan (CPL), capaian pembelajaran mata kuliah (CPMK), kemampuan akhir tiap tahapan belajar (Sub-CPMK) secara utuh, korelasi bobotnya, serta peta lengkap 16 minggu perkuliahan sebagaimana tercantum dalam Rencana Pembelajaran Semester (RPS) berbasis Outcome-Based Education (OBE).
Capaian Pembelajaran Lulusan (CPL) yang Dibebankan pada Mata Kuliah
Menginternalisasi nilai, norma, dan etika akademik, serta menjunjung tinggi semangat moderasi beragama (tawassuth), toleransi (tasamuh), dan keseimbangan (tawazun) sebagaimana termaktub dalam Qonun Asasi KH. Hasyim Asy'ari dan Khittah Nahdliyah, dalam berpikir, bersikap, dan berkarya secara ilmiah.
— CPL-2 (Sikap) —
Menguasai konsep teoretis matematika diskrit, logika, dan struktur data sebagai landasan berpikir komputasional (computational thinking) untuk pemodelan dan penyelesaian masalah di bidang Sistem Informasi, selaras dengan Foundations Competency Realm ACM/AIS IS2020.
— CPL-4 (Pengetahuan) —
Mampu merancang, memodelkan, dan menganalisis struktur diskrit (himpunan, relasi, graf, pohon, aljabar Boolean) untuk mendukung perancangan dan pengembangan sistem informasi.
— CPL-8 (Ket. Khusus) —
Mampu bekerja sama dan berkomunikasi secara musyawarah (tasyawur) dalam tim untuk menyelesaikan masalah berbasis penalaran logis dan data secara bertanggung jawab dan adil (i'tidal).
— CPL-9 (Ket. Khusus) —
Capaian Pembelajaran Mata Kuliah (CPMK)
Mahasiswa mampu menerapkan logika proposisional dan predikat untuk memformalkan, merepresentasikan, dan menilai keabsahan argumen/pernyataan dalam konteks sistem informasi.
— CPMK 1
Mahasiswa mampu menerapkan konsep himpunan, relasi, fungsi, induksi, dan rekursi untuk memodelkan struktur data, basis data, dan algoritma.
— CPMK 2
Mahasiswa mampu menyelesaikan masalah kombinatorial (kaidah pencacahan, permutasi, kombinasi, prinsip pigeonhole) dan peluang diskrit dalam analisis data dan keamanan sistem.
— CPMK 3
Mahasiswa mampu memodelkan dan menganalisis permasalahan menggunakan teori graf dan pohon untuk kebutuhan jaringan, basis data, dan optimasi algoritma.
— CPMK 4
Mahasiswa mampu menerapkan aljabar Boolean, gerbang logika, dan teori bilangan dalam perancangan rangkaian digital dan aritmetika komputasi dasar.
— CPMK 5
Mahasiswa mampu menunjukkan sikap ilmiah moderat (tawassuth), toleran terhadap keragaman metode penyelesaian masalah (tasamuh), dan bekerja sama secara musyawarah (tasyawur) dalam menyelesaikan proyek integratif berbasis matematika diskrit.
— CPMK 6
Kemampuan Akhir Tiap Tahapan Belajar (Sub-CPMK)
Tabel 8 berikut menghimpun keempat belas Sub-CPMK sebagaimana tercantum dalam RPS, dikelompokkan menurut CPMK yang dibebaninya.
Tabel 8. Uraian keempat belas Sub-CPMK mata kuliah Matematika Diskrit.
| Sub-CPMK | Uraian Lengkap Kemampuan Akhir Tiap Tahapan Belajar | CPMK Induk |
|---|---|---|
| Sub-CPMK 1 | Menjelaskan konsep dasar matematika diskrit & menerapkan logika proposisi untuk merepresentasikan pernyataan serta menentukan nilai kebenarannya | CPMK 1 |
| Sub-CPMK 2 | Memformalkan argumen dalam logika predikat & menilai keabsahan inferensi secara berimbang (tawassuth) | CPMK 1 |
| Sub-CPMK 3 | Menjelaskan & mengoperasikan konsep himpunan (operasi, sifat, diagram Venn) untuk memodelkan struktur berjenjang | CPMK 2 |
| Sub-CPMK 4 | Menganalisis relasi (refleksif, simetris, transitif) & fungsi (injektif, surjektif, bijektif) serta penerapannya pada basis data | CPMK 2 |
| Sub-CPMK 5 | Membuktikan pernyataan matematis menggunakan induksi matematika & menjelaskan konsep rekursi | CPMK 2 |
| Sub-CPMK 6 | Menerapkan kaidah pencacahan, permutasi, & kombinasi untuk masalah nyata, termasuk studi kasus ilmu faraidh | CPMK 3 |
| Sub-CPMK 7 | Menerapkan prinsip pigeonhole & konsep dasar peluang diskrit dalam analisis data & keamanan sistem | CPMK 3 |
| Sub-CPMK 8 | Menjelaskan konsep dasar graf, jenis-jenis graf, & merepresentasikannya untuk memodelkan jaringan | CPMK 4 |
| Sub-CPMK 9 | Menganalisis graf Euler & Hamilton serta algoritma lintasan terpendek untuk optimasi jaringan | CPMK 4 |
| Sub-CPMK 10 | Menjelaskan konsep pohon (tree) & pohon merentang minimum (spanning tree) | CPMK 4 |
| Sub-CPMK 11 | Menerapkan aljabar Boolean & gerbang logika dasar dalam perancangan rangkaian digital sederhana | CPMK 5 |
| Sub-CPMK 12 | Menyederhanakan fungsi Boolean menggunakan peta Karnaugh untuk efisiensi rangkaian digital | CPMK 5 |
| Sub-CPMK 13 | Menerapkan konsep teori bilangan & aritmetika modular pada studi kasus hisab & kriptografi dasar. | CPMK 5 |
| Sub-CPMK 14 | Mengintegrasikan konsep matematika diskrit dalam proyek studi kasus sistem informasi, serta menunjukkan sikap tawassuth, tasamuh, & tasyawur dalam kerja tim. | CPMK 6 |
Korelasi Bobot CPL terhadap Sub-CPMK
Tabel berikut menyajikan proporsi kontribusi (%) setiap Sub-CPMK terhadap CPL-2, CPL-4, CPL-8, dan CPL-9, beserta bobot penilaian dan alokasi minggu perkuliahan, sebagaimana tercantum dalam RPS.
Tabel 9. Korelasi bobot CPL terhadap Sub-CPMK mata kuliah Matematika Diskrit.
| Sub-CPMK | CPL-1 (%) | CPL-5 (%) | CPL-5 (%) | CPL-5 (%) | Bobot Penilaian (%) | Jml. Minggu |
|---|---|---|---|---|---|---|
| Sub-CPMK 1 | 0 | 15 | 0 | 0 | 7 | 1 |
| Sub-CPMK 2 | 10 | 15 | 0 | 10 | 7 | 1 |
| Sub-CPMK 3 | 10 | - | 10 | 0 | 7 | 1 |
| Sub-CPMK 4 | - | - | 15 | - | 7 | 1 |
| Sub-CPMK 5 | - | 15 | 10 | - | 7 | 1 |
| Sub-CPMK 6 | 15 | - | 10 | 20 | 7 | 1 |
| Sub-CPMK 7 | - | - | 15 | - | 7 | 1 |
| Sub-CPMK 8 | 10 | - | 10 | 5 | 7 | 1 |
| Sub-CPMK 9 | - | - | 10 | 15 | 7 | 1 |
| Sub-CPMK 10 | 10 | - | 10 | - | 7 | 1 |
| Sub-CPMK 11 | 10 | 20 | - | - | 7 | 1 |
| Sub-CPMK 12 | - | 20 | - | - | 7 | 1 |
| Sub-CPMK 13 | 10 | 15 | 10 | - | 7 | 1 |
| Sub-CPMK 14 | 25 | - | - | 15 | 40 | 1 |
| Total | 100 | 100 | 100 | 100 | 100 | 14 |
Struktur ini menunjukkan bahwa capaian pembelajaran mata kuliah bertumpu secara proporsional pada keempat CPL yang dibebankan, dengan Sub-CPMK 14 (proyek integratif) memiliki bobot penilaian tertinggi (9%) sebagai puncak integratif yang menggabungkan seluruh capaian sikap (CPL-2) dan keterampilan kerja sama (CPL-9).
Peta Lengkap 16 Minggu Perkuliahan
Tabel berikut adalah peta lengkap 16 minggu perkuliahan memuat indikator, kriteria & teknik penilaian, materi pembelajaran beserta rujukannya, dan bobot penilaian — seluruhnya disajikan sebagaimana RPS.
Tabel 10. Peta 16 minggu perkuliahan mata kuliah Matematika Diskrit (SI1103), lengkap dengan indikator dan kriteria penilaian.
| Mgg | Sub-CPMK | Indikator | Kriteria & Teknik Penilaian | Materi Pembelajaran & Rujukan | Bobot (%) |
|---|---|---|---|---|---|
| 1 | Sub-CPMK-1 | Ketepatan menyusun tabel kebenaran; ketepatan mengidentifikasi jenis pernyataan (konjungsi, disjungsi, implikasi, biimplikasi). | Tes tertulis, tanya jawab; kriteria ketepatan & kelengkapan. | Pengantar Matematika Diskrit; Proposisi & Konektif Logika; kaitan ilmu Mantiq. [Utama 1,2] | 7 |
| 2 | Sub-CPMK-2 | Ketepatan translasi kalimat ke logika predikat; ketepatan menilai validitas argumen. | Tes tertulis, rubrik tugas; kriteria ketepatan penalaran. | Logika Predikat, Kuantor, Aturan Inferensi, Analogi Qiyas. [Utama 1,2; Pendukung 1] | 7 |
| 3 | Sub-CPMK-3 | Ketepatan operasi himpunan; ketepatan pemodelan struktur berjenjang sebagai himpunan. | Tes tertulis, rubrik tugas; kriteria ketepatan operasi & pemodelan. | Himpunan, Operasi Himpunan, Diagram Venn. [Utama 1,2] | 7 |
| 4 | Sub-CPMK-4 | Ketepatan identifikasi sifat relasi; ketepatan klasifikasi fungsi. | Tes tertulis, tugas studi kasus; kriteria ketepatan analisis. | Relasi, Sifat Relasi, Fungsi, Aplikasi pada Basis Data. [Utama 1,2] | 7 |
| 5 | Sub-CPMK-5 | Ketepatan langkah pembuktian induksi; ketepatan penulisan fungsi rekursif. | Tes tertulis, rubrik pembuktian; kriteria ketepatan pembuktian. | Induksi Matematika, Rekursi, Analogi Sanad Keilmuan. [Utama 1,2; Pendukung 2] | 7 |
| 6 | Sub-CPMK-6 | Ketepatan perhitungan permutasi/kombinasi; ketepatan analisis studi kasus faraidh sederhana. | Tes tertulis, rubrik tugas kelompok; kriteria ketepatan & keadilan hitung (i'tidal). | Kaidah Pencacahan, Permutasi, Kombinasi, Studi Kasus Ilmu Faraidh. [Utama 1,2; Pendukung 1] | 7 |
| 7 | Sub-CPMK-7 | Ketepatan penerapan prinsip pigeonhole; ketepatan perhitungan peluang diskrit. | Tes tertulis; kriteria ketepatan analisis. | Prinsip Pigeonhole, Peluang Diskrit. [Utama 1,2] | 7 |
| 8 | — | Evaluasi Tengah Semester / Ujian Tengah Semester — menilai capaian Sub-CPMK 1 s.d. 7 secara komprehensif (bobot telah terdistribusi pada Sub-CPMK 1–7). | — | — | — |
| 9 | Sub-CPMK-8 | Ketepatan representasi graf; ketepatan identifikasi jenis graf. | Tes tertulis, tugas pemodelan; kriteria ketepatan pemodelan. | Dasar Teori Graf, Jenis Graf, Representasi Graf. [Utama 1,2] | 7 |
| 10 | Sub-CPMK-9 | Ketepatan identifikasi sirkuit Euler/Hamilton; ketepatan penerapan algoritma lintasan terpendek. | Tes tertulis, tugas praktik; kriteria ketepatan algoritmik. | Graf Euler & Hamilton, Lintasan Terpendek. [Utama 1,2] | 7 |
| 11 | Sub-CPMK-10 | Ketepatan identifikasi struktur pohon; ketepatan penerapan algoritma pohon merentang minimum. | Tes tertulis, tugas kelompok; kriteria ketepatan algoritmik. | Pohon (Tree), Spanning Tree, Analogi Sanad Keilmuan. [Utama 1,2; Pendukung 2] | 7 |
| 12 | Sub-CPMK-11 | Ketepatan operasi aljabar Boolean; ketepatan perancangan rangkaian gerbang logika sederhana. | Tes tertulis, praktik simulasi; kriteria ketepatan rancangan. | Aljabar Boolean, Gerbang Logika, Sejarah Matematika Islam. [Utama 1,2; Pendukung 1] | 7 |
| 13 | Sub-CPMK-12 | Ketepatan penyederhanaan fungsi Boolean; ketepatan pembacaan peta Karnaugh. | Tes tertulis, tugas praktik; kriteria ketepatan penyederhanaan. | Peta Karnaugh, Penyederhanaan Fungsi Boolean. [Utama 1,2] | 7 |
| 14 | Sub-CPMK-13 | Ketepatan operasi aritmetika modular; ketepatan penerapan pada studi kasus hisab/kriptografi. | Tes tertulis, tugas studi kasus; kriteria ketepatan hitung & analisis. | Teori Bilangan, Aritmetika Modular, Studi Kasus Ilmu Hisab & Kriptografi. [Utama 1,2; Pendukung 1,2] | 7 |
| 15 | Sub-CPMK-14 | Kualitas laporan & presentasi proyek; kualitas kerja sama tim; sikap tasamuh terhadap perbedaan pendapat. | Penilaian produk, observasi, peer assessment; rubrik proyek & sikap. | Proyek Integratif Matematika Diskrit untuk Sistem Informasi. [Seluruh Pustaka] | 9 |
| 16 | — | Evaluasi Akhir Semester / Ujian Akhir Semester — menilai capaian Sub-CPMK 8 s.d. 14 secara komprehensif (bobot telah terdistribusi pada Sub-CPMK 8–14). | — | — | — |
Penutup: Merajut Landasan menjadi Praktik
Menguasai Matematika Diskrit bukanlah tujuan akhir, melainkan titik berangkat bagi calon sarjana Sistem Informasi untuk mengembangkan kemampuan bernalar komputasional yang utuh. Kelima klaster materi — logika & inferensi, himpunan/relasi/fungsi/induksi/rekursi, kombinatorika & peluang diskrit, teori graf & pohon, serta aljabar Boolean & teori bilangan — bukan kotak-kotak terpisah, melainkan satu rangkaian alat berpikir yang saling melengkapi dalam memandang satu realitas yang sama: sistem informasi yang harus terbukti benar, efisien, dan aman.
Bagi mahasiswa Sistem Informasi UNU Cirebon, penguasaan matematika diskrit ini menjadi fondasi bagi seluruh mata kuliah inti keilmuan berikutnya, sekaligus modal awal untuk merancang, membangun, dan mengevaluasi sistem informasi yang tidak hanya berorientasi pada ketepatan logis, tetapi juga pada penghargaan terhadap khazanah keilmuan Islam dan penanaman nilai-nilai Aswaja An-Nahdliyah — tawassuth, tasamuh, tawazun, i'tidal, dan tasyawur.
Penguasaan matematika diskrit yang kokoh adalah prasyarat bagi lahirnya sarjana Sistem Informasi yang bukan hanya mampu membangun sistem yang berjalan, tetapi juga memahami mengapa dan bagaimana sistem itu benar secara logis dan adil secara sosial.
— Penutup
Daftar Pustaka
- Rosen, K.H. (2019). Discrete Mathematics and Its Applications (8th ed.). New York: McGraw-Hill.
- Munir, R. (2021). Matematika Diskrit (Edisi Revisi). Bandung: Informatika.
- Epp, S.S. (2019). Discrete Mathematics with Applications (5th ed.). Boston: Cengage Learning.
- Modul Ajar Matematika Diskrit Terintegrasi Nilai Aswaja An-Nahdliyah (dikembangkan oleh dosen pengampu).
- Tim Aswaja NU Center PBNU. Qanun Asasi dan Khittah Nahdliyah: Pedoman Bersikap dan Berpikir Ahlussunnah wal Jama'ah An-Nahdliyah.
- Lembaga Falakiyah PBNU. Pedoman Ilmu Falak dan Hisab (untuk studi kasus teori bilangan).
- ACM & AIS. (2020). IS2020: A Competency Model for Undergraduate Programs in Information Systems.
Disusun sebagai bahan acuan mahasiswa Sistem Informasi S1 — Universitas Nahdlatul Ulama Cirebon.
| Minggu ke- | Materi Pembelajaran | Tugas |
|---|---|---|
| 1 | Pengantar Matematika Diskrit; Proposisi & Konektif Logika; kaitan ilmu Mantiq. | Penilaian 1 - MatDiskrit SI 2627 |
| 2 | Logika Predikat, Kuantor, Aturan Inferensi, Analogi Qiyas. | Penilaian 2 - MatDiskrit SI 2627 |
| 3 | Himpunan, Operasi Himpunan, Diagram Venn. | Penilaian 3 - MatDiskrit SI 2627 |
| 4 | Relasi, Sifat Relasi, Fungsi, Aplikasi pada Basis Data. | Penilaian 4 - MatDiskrit SI 2627 |
| 5 | Induksi Matematika, Rekursi, Analogi Sanad Keilmuan. | Penilaian 5 - MatDiskrit SI 2627 |
| 6 | Kaidah Pencacahan, Permutasi, Kombinasi, Studi Kasus Ilmu Faraidh. | Penilaian 6 - MatDiskrit SI 2627 |
| 7 | Prinsip Pigeonhole, Peluang Diskrit. | Penilaian 7 - MatDiskrit SI 2627 |
| 9 | Dasar Teori Graf, Jenis Graf, Representasi Graf. | Penilaian 9 - MatDiskrit SI 2627 |
| 10 | Graf Euler & Hamilton, Lintasan Terpendek. | Penilaian 10 - MatDiskrit SI 2627 |
| 11 | Pohon (Tree), Spanning Tree, Analogi Sanad Keilmuan. | Penilaian 11 - MatDiskrit SI 2627 |
| 12 | Aljabar Boolean, Gerbang Logika, Sejarah Matematika Islam. | Penilaian 12 - MatDiskrit SI 2627 |
| 13 | Peta Karnaugh, Penyederhanaan Fungsi Boolean. | Penilaian 13 - MatDiskrit SI 2627 |
| 14 | Teori Bilangan, Aritmetika Modular, Studi Kasus Ilmu Hisab & Kriptografi. | Penilaian 14 - MatDiskrit SI 2627 |
| 15 | Proyek Integratif Matematika Diskrit untuk Sistem Informasi. | Penilaian 15 - MatDiskrit SI 2627 |
Download RPS OBE MK Matematika Diskrit.
Update 25 September 2026


Gabung dalam percakapan