Buku ini membahas konsep logika, himpunan, relasi, fungsi, teori graf, hingga aplikasinya dalam pemrograman dan ilmu komputer.
Buku ini dirancang untuk melatih pola pikir yang algoritmis dan terstruktur bagi mahasiswa komputer. Pokok bahasan meliputi Logika, Himpunan, Relasi, Fungsi, Kombinatorika, Teori Graf, dan Aljabar Boole.