Matdis
Referensi & Textbook
Buku-buku Matematika Diskrit standar universitas terkemuka dunia — dari MIT, Stanford, hingga ITB.
Discrete Mathematics and Its Applications
Rosen, Kenneth H. (2019) — McGraw-Hill, 8th ed.
Dipakai di: MIT (6.042), Stanford (CS103), Caltech, ETH Zurich, NUS, KAIST, 500+ universitas global
Standar emas matdis dunia. 650+ contoh, Python code, ecosystem lengkap (YouTube, solution wikis). Bab 4 (Number Theory) dan Bab 10 (Graphs) paling relevan untuk kriptografi. Hampir semua dosen matdis di dunia merujuk buku ini.
Discrete Mathematics with Applications
Epp, Susanna S. (2019) — Cengage, 5th ed.
Dipakai di: UC Berkeley, University of Washington, University of Michigan, banyak univ US
Terbaik untuk belajar proof techniques. Approach gradual: logika dulu, lalu direct proof, kontradiksi, induksi — masing-masing dengan scaffolding yang sangat baik. Ideal jika Anda merasa lemah di pembuktian formal.
Discrete Mathematics
Johnsonbaugh, Richard (2017) — Pearson, 8th ed.
Dipakai di: Purdue, Georgia Tech, many engineering schools
Pendekatan "learn by example" — 650 worked examples. Paling banyak contoh soal dibanding kompetitor. Bagus untuk yang suka belajar dari pattern recognition soal.
Matematika Diskrit
Munir, Rinaldi (2020) — Penerbit Informatika, Bandung, Rev. ed.
Dipakai di: ITB, UI, UGM, ITS, Telkom University, hampir semua prodi Informatika Indonesia
Textbook standar matdis Indonesia. Bahasa Indonesia, contoh-contoh lokal. Sangat erat dengan kurikulum S1 Informatika. Wajib dimiliki mahasiswa Indonesia.
Concrete Mathematics
Graham, R. L., Knuth, D. E., & Patashnik, O. (1994) — Addison-Wesley, 2nd ed.
Dipakai di: Stanford (CS 161/261), MIT, CMU — advanced courses
Dari Donald Knuth (pencipta TeX). Fokus pada teknik penghitungan dan rekurensi yang digunakan di analisis algoritma. Level graduate. Sangat matematis tapi jenius.
Mathematics for Computer Science
Lehman, E., Leighton, F. T., & Meyer, A. R. (2018) — MIT OpenCourseWare, 2018 ed.
Dipakai di: MIT (6.042J) — required course for CS undergrad
Textbook MIT 6.042J gratis. 900+ halaman. Proof techniques, number theory, graphs, counting, probability. Problem sets dari MIT disertakan. Best free resource.
Discrete Mathematics: An Open Introduction
Levin, Oscar (2021) — Open Source, 3rd ed.
Dipakai di: University of Northern Colorado, many small colleges
Open source dan gratis. Pendekatan ringan tapi rigorous. Cocok untuk self-study awal sebelum masuk Rosen atau Epp.
Discrete and Combinatorial Mathematics: An Applied Introduction
Grimaldi, Ralph P. (2013) — Pearson, 5th ed.
Dipakai di: Rose-Hulman, banyak program S1 Informatika
Sangat kuat di kombinatorika dan fungsi pembangkit — bagian yang biasanya paling tipis di buku lain. Contoh soalnya bertingkat, cocok untuk latihan sebelum ujian seleksi.
The Art of Computer Programming, Vol. 1: Fundamental Algorithms
Knuth, Donald E. (1997) — Addison-Wesley, 3rd ed.
Dipakai di: Stanford, CMU, MIT — graduate-level algoritma dan matematika diskrit lanjut
Karya monumental Knuth. Volume 1 mencakup matematika dasar (induksi, kombinatorika, asimptotik), struktur data linear, dan analisis matematis algoritma yang sangat dalam. Wajib referensi untuk peneliti CS senior.
Pemetaan Referensi per Bab
| Bab | Rosen (8th) | Epp (5th) | Munir | Tambahan |
|---|---|---|---|---|
| Logika | Ch. 1: Logic and Proofs | Ch. 1-3: Logic, Proof Techniques | Bab 1: Logika | MIT 6.042 Lecture 1-3 |
| Himpunan | Ch. 2: Sets, Functions | Ch. 6: Set Theory | Bab 2: Himpunan | Levin Ch. 4 |
| Relasi & Fungsi | Ch. 9: Relations | Ch. 7-8: Functions, Relations | Bab 3: Relasi dan Fungsi | — |
| Induksi | Ch. 5: Induction & Recursion | Ch. 5: Sequences, Induction | Bab 4: Induksi Matematika | MIT 6.042 Lecture 4-5 |
| Boolean | Ch. 12: Boolean Algebra | (not covered separately) | Bab 5: Aljabar Boolean | Mano: Digital Logic Design |
| Barisan | Ch. 2.4, 5.1-5.3 | Ch. 5: Sequences | Bab 6 (partial) | Concrete Mathematics Ch. 1-2 |
| Graf | Ch. 10-11: Graphs, Trees | Ch. 10: Graphs | Bab 7: Teori Graf | Levin Ch. 3 |
| Pohon | Ch. 11: Trees | Ch. 10.5: Trees | Bab 9: Pohon | CLRS Ch. 12, 21 |
| Kombinatorika | Ch. 6-8: Counting | Ch. 9: Counting | Bab 6: Kombinatorika | Concrete Mathematics Ch. 5 |
| Peluang Diskrit | Ch. 7: Discrete Probability | Ch. 9.8-9.9 | Bab 10: Peluang | MIT 6.042 Ch. 17-19 |
| Teori Bilangan | Ch. 4: Number Theory & Crypto | Ch. 4: Number Theory | Bab 8: Teori Bilangan | Hoffstein Ch. 1-3 (crypto focus) |
| Kompleksitas Algoritma | Ch. 3: Algorithms (asymptotic) | Ch. 11: Analysis of Algorithms | Bab 11: Kompleksitas | CLRS Ch. 3-4; Sipser Ch. 7 |
| Otomata | Ch. 13: Languages & Grammars | (not covered) | Bab 13: Otomata | Sipser Ch. 1-5; Hopcroft-Motwani-Ullman |
Rekomendasi jalur belajar: Mulai dengan Munir (bahasa Indonesia, familiar). Perdalam dengan Rosen (standar global, banyak soal). Untuk proof skills, baca Epp. Untuk koneksi ke kriptografi, baca Hoffstein. Untuk free resource, gunakan MIT 6.042.