Buku ini disusun dalam delapan bab yang terstruktur secara progresif. BAB 1 meletakkan fondasi konseptual: definisi komputasi, pengantar model komputasi, konsep algoritma, dan notasi asimtotik yang menjadi bahasa universal analisis algoritma. BAB 2 mendalami model-model komputasi formal—Mesin Turing beserta variannya, Lambda Calculus, model komputasi paralel—beserta konsep fundamental tentang bahasa yang dapat diputuskan dan tidak dapat diputuskan. BAB 3 memfokuskan pada automata dan diagram transisi, menyajikan DFA, NFA, dan epsilon-NFA secara mendalam lengkap dengan algoritma konversi, minimalisasi, dan Pumping Lemma, disertai tujuh diagram automata berwarna yang dibuat khusus untuk buku ini. BAB 4 membangun teori kompleksitas formal: kelas TIME dan SPACE, notasi asimtotik, batas bawah, Master Theorem, dan analisis kompleksitas berbagai algoritma dan struktur data. BAB 5 menyajikan dua paradigma desain algoritma yang paling fundamental dan paling luas diterapkan: Greedy dan Dynamic Programming, dengan lebih dari lima belas algoritma konkret yang dianalisis secara mendalam. BAB 6 mengimplementasikan tiga studi kasus utama dalam Python dengan kode yang lengkap, teruji, dan disertai output aktual: Huffman Coding, LCS, dan Edit Distance, masing-masing dengan aplikasi nyata. BAB 7 membawa kita ke puncak teori kompleksitas melalui pembahasan P, NP, NP-Completeness, Teorema Cook-Levin, dan strategi praktis menghadapi masalah NP-Complete. BAB 8 menutup perjalanan dengan refleksi, sintesis, koneksi antar bidang ilmu, frontier penelitian, dan panduan studi lanjut.

Penulis : Munawaroh, S.Kom., M.Kom & Niki Ratama, S.Kom., M.Kom

Halaman buku : 189

DOWNLOAD

PRE-ORDER | Rp 68.000