Kemampuan berpikir logis, abstrak dan terstruktur adalah modal utama untuk menguasai teknologi, khususnya teknologi komputer. Kemampuan ini dapat dibentuk melalui serangkaian latihan dan kebiasaan menyelesaikan soal. Otak menjadi terbiasa menyelesaikan masalah secara logis, terstruktur, dengan selalu mencari abstraksi intisari permasalahan. Buku ini merupakan sarana untuk melatih otak agar memiliki pola pikir yang demikian. Mengingat pentingnya kemampuan pola pikir yang logis, di setiap kurikulum perguruan tinggi jurusan informatika/komputer pasti memuat kuliah logika. Buku ini disusun untuk membantu mahasiswa/dosen untuk mendalaminya Apa yang ada dalam buku ini? 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.