Buku ini memuat materi tentang logika matematika, teori himpunan, relasi dan fungsi. Semua materi tersebut berguna untuk melatih daya pikir logis, abstrak dan terstruktur. Oleh karenanya, materi dalam buku ini diajarkan di tahun pertama sebagai bagian dari kurikulum wajib mahasiswa jurusan informatika/komputer oleh mayoritas akademi/universitas di Indonesia. serta memuat lebih dati 100 soal tam…
Pokok bahasan buku ini adalah; Logika, Logika kuantor, himpunan, relasi, fungsi, metode pembuktian, induksi matematika, kombinatorika, teori graf, aljabar boole, analisa algoritma, serta relasi rekurensi dan truktur aljabar.