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
Daftar Isi: Bab 1: Pendahuluan Bab 2: Kalimat deklaratif Bab 3: Tautologi dan prinsip-prinsip pembuktian Bab 4. Kuantor Bab 5: Himpunan Bab 6: Relasi Bab 8: Fungsi Bab 7: Fungsi Bab 8: Himpunan terhitung dan himpunan tak terhitung Bab 9: Aritmatika bilangan kardinal
Daftar Iis : Bab 1: Himpunan Bab 2: Relasi dan fungsi Bab 3: Induksi matematika Bab 4: aljabar boolean Bab 5: Teori bilangan Bab 6: Kombinatorial Bab 7: Teori graf Bab 8: Pohon Bab 9: Kompleksitas algoritma