Modul interaktif pembelajaran Struktur Diskrit berbasis Google Colab dan visualisasi web interaktif. Dirancang untuk mahasiswa, dosen, dan praktisi yang ingin memahami konsep dasar matematika diskrit secara praktis, eksploratif, dan visual.
🎮 Visualisasi Interaktif Online: 🔗 faruq1997.github.io/struktur-diskrit
Repository ini berisi kumpulan notebook interaktif (Colab) dan halaman web visualisasi yang mendukung perkuliahan Struktur Diskrit. Pendekatan yang digunakan bersifat eksperiensial (learning by doing), dengan integrasi antara teori, contoh kasus, dan eksplorasi interaktif berbasis JavaScript.
Setiap topik disusun dengan:
- Penjelasan konseptual singkat
- Ilustrasi visual atau simulasi sederhana
- Contoh kode di Python/JavaScript
- Latihan atau eksperimen interaktif
- Operasi dasar himpunan dan diagram Venn
- Representasi himpunan (list, grafik, tabel)
- Relasi dan sifat-sifatnya (refleksif, simetris, transitif)
- Fungsi: definisi, domain, range, injektif, surjektif, bijektif
- Kuantor universal (∀) dan eksistensial (∃)
- Logika predikat dan variabel terikat
- Pembuktian dengan induksi matematis
- Aplikasi induksi pada algoritma rekursif
- Prinsip dasar pencacahan
- Permutasi, kombinasi, dan variasinya
- Penerapan kombinatorial dalam peluang dan algoritma brute force
- Pernyataan dan nilai kebenaran
- Pernyataan majemuk dan tabel kebenaran
- Kesetaraan logis dan hukum aljabar proposisi
- Implikasi, biimplikasi, dan argumentasi logis
- Visualisasi interaktif: truth table builder, logic circuit, dan game logic trainer
- Gerbang logika dasar (AND, OR, NOT, XOR, NAND, NOR)
- Hukum aljabar Boolean dan penyederhanaan ekspresi
- Peta Karnaugh untuk optimasi fungsi Boolean
- Aplikasi dalam rangkaian digital dan pemrograman
- Bentuk kanonik (SOP dan POS)
- Penyederhanaan fungsi Boolean dengan metode Quine-McCluskey
- Implementasi dalam jaringan pensaklaran dan rangkaian digital
- Aplikasi dalam desain sistem digital
- Konsep dasar algoritma dan kompleksitas waktu (Big O)
- Algoritma pencarian (linear, binary) dan pengurutan (bubble, selection, merge, quick)
- Hubungan rekurensi dan penyelesaiannya
- Visualisasi algoritma dengan animasi interaktif
- Terminologi graf (simpul, sisi, derajat, lintasan, siklus)
- Jenis graf (sederhana, lengkap, bipartit, berarah, tak berarah)
- Representasi graf (matriks ketetanggaan, matriks insidensi)
- Algoritma graf (DFS, BFS, Dijkstra, Prim, Kruskal)
- Visualisasi graf interaktif dengan D3.js
- Definisi dan sifat pohon
- Pohon biner dan traversal (preorder, inorder, postorder)
- Pohon rentang minimum (algoritma Prim dan Kruskal)
- Aplikasi pohon dalam struktur data dan algoritma
- Bahasa formal vs bahasa natural
- Tata bahasa bebas konteks (CFG) dan pohon penurunan
- Hierarki Chomsky (tipe 0-3)
- Finite Automata (DFA, NFA) dan aplikasinya
- Mesin Turing dan konsep komputabilitas
- Visualisasi automata dan simulator
- Kuis interaktif dengan auto-correction untuk pertemuan 9-14
- 60 soal pilihan ganda dengan penjelasan jawaban
- Fitur highlight jawaban benar/salah
- Progress bar dan statistik skor
- Responsif dan mobile-friendly
Proyek ini juga menyediakan berbagai game sederhana dan simulasi interaktif untuk memperkuat pemahaman konsep:
- Truth Table Builder: Bangun tabel kebenaran interaktif
- Logic Circuit Simulator: Rancang rangkaian logika dengan gerbang AND, OR, NOT
- Logic Puzzle Game: Selesaikan puzzle logika dengan aturan proposisi
- Karnaugh Map Solver: Visualisasi penyederhanaan fungsi Boolean
- Logic Gate Challenge: Susun gerbang logika untuk mencapai output tertentu
- Boolean Expression Simplifier: Game tebak bentuk sederhana dari ekspresi Boolean
- Graph Builder: Buat graf kustom dan eksplorasi propertinya
- Path Finder: Temukan lintasan terpendek dengan algoritma Dijkstra
- Euler/Hamilton Game: Cari lintasan Euler dan Hamilton dalam graf
- Binary Tree Visualizer: Visualisasi traversal pohon biner
- Minimum Spanning Tree Game: Bangun pohon rentang minimum
- Tree Balance Challenge: Seimbangkan pohon biner pencarian
- Finite Automata Simulator: Jalankan DFA/NFA dengan input kustom
- Regular Expression Tester: Uji ekspresi reguler dengan string contoh
- CFG Parser Game: Parse kalimat dengan tata bahasa bebas konteks
- Permutation Calculator: Hitung permutasi dan kombinasi
- Probability Simulator: Simulasi peluang dengan visualisasi
- Pascal's Triangle Explorer: Eksplorasi segitiga Pascal interaktif
- Interactive Quiz: 60+ soal dengan auto-correction
- Timed Challenge: Kuis dengan batas waktu
- Progress Tracker: Lacak perkembangan belajar dengan statistik
Akses semua game di: faruq1997.github.io/struktur-diskrit
Kontribusi sangat terbuka untuk siapa pun yang ingin memperkaya materi. Anda dapat menambahkan:
- ✏️ Contoh latihan dan soal
- 📘 Penjelasan tambahan konsep
- 🎨 Visualisasi atau simulasi interaktif baru
Silakan lakukan fork repository ini dan kirim pull request setelah perubahan Anda stabil.
Proyek ini menggunakan lisensi Creative Commons Attribution–NonCommercial–ShareAlike 4.0 International (CC BY-NC-SA 4.0)
✅ Diperbolehkan: digunakan dan dimodifikasi untuk keperluan pembelajaran
❌ Dilarang: penggunaan untuk tujuan komersial
🔗 Wajib: mencantumkan atribusi dan menjaga lisensi turunan tetap sama
📄 Detail lisensi: Creative Commons BY-NC-SA 4.0
© 2025 — Disusun untuk tujuan edukasi. Kontributor utama: @faruq1997 Kolaborator & pengembang interaktif: Open Learning Contributors Team