Daftar Isi: Bab 1: Logika Bab 2: Teori himpunan dan aljabar boolean Bab 3: Relasi dan fungsi Bab 4: Dasar pembuktian matematis Bab 5: Analisis algoritma Bab 6: Teori grah, graf pohon, dan aplikasinya Bab 7: Sistem aljabar dan contoh aplikasinya Bab 8: Finite-state machines