Masalah Jenderal Bizantium dan Kedalaman Algoritma Konsensus: Mekanisme Paxos, Raft, dan BFT
Kategori
74 halaman
Ilmu komputer
Teori B-Tree dan Indeks Basis Data (Mengapa DB Memilih B-Tree?)
Teori Graf dan Algoritma Dijkstra & A*: Dasar Matematis dan Implementasi Pencarian Jalur
Teori Informasi dan Entropi Shannon: Mengeksplorasi Batasan Kompresi Data dan Komunikasi
Automata dan Teori Bahasa Formal: Di Balik Ekspresi Reguler dan Hierarki Chomsky
Gambaran Lengkap 'Masalah P vs NP' dan Kelas Kompleksitas Komputasi: Penjelasan Masalah Hadiah Milenium dan Signifikansi Pemrograman
Kalkulus Lambda (Lambda Calculus) dan Asal-usul Pemrograman Fungsional: Dari Teori Alonzo Church ke Lisp dan Haskell
Mesin Turing dan Teori Komputabilitas: Eksperimen Pemikiran Alan Turing dan "Masalah Penghentian"
Game of Life Conway: Cellular Automaton Tempat Kompleksitas Seperti Kehidupan Muncul dari Aturan Sederhana
Teorema Empat Warna (Four Color Theorem) - Apakah peta apa pun dapat diwarnai dengan 4 warna?
Masalah Penghentian (Halting Problem): Program Terkuat yang Mustahil Dibuat
Teorema Ketidaklengkapan Gödel: Bukti Matematis dari 'Kebenaran yang Sama Sekali Tidak Dapat Dibuktikan'
Algoritma Deteksi Siklus Robert Floyd (Algoritma Kura-kura dan Kelinci)
Batas Faktorisasi Prima dan Penjelasan Notasi Big O (\mathcal{O}) pada Kompleksitas Waktu
