Bu kitap bilgisayar alanında kullanılabilecek matematiğin; mantık ispat yöntemleri küme işlem gibi temel konuları yanı sıra indirgeme bağıntıları matrisler graflar ağaçlar ve algoritmalar gibi konularını da ele almaktadır. 

Kitap öğrencilere bazı matematiksel gerçekleri öğreterek bunları nasıl uygulayacakları ile ilgili bilgiler vermektedir. Ayrıca her bir bölüm sonunda verilen konu sonu çoktan seçmeli sorular ile "Neler öğrendik?" sorusunun cevabı aranacaktır.

Kitabın; Bilgisayar Mühendisliği ve Matematik bölümlerinde okutulan Ayrık Matematik dersi yanı sıra Bilgisayar ve Öğretim Teknolojileri Eğitimi bölümünün Bilişim ve Matematik dersini alan öğrencilere yardımcı olacağını ümit ediyoruz.