.Ayrık matematik, bilgisayar
bilimleri ve bilgisayar mühendisliği
bilim dalları içerisinde önemli bir
yere sahiptir. Ayrık matematik,
bilgisayarların donanımının temel
çalışma prensiplerinin açıklanması,
programlama dilleri, otomata ve
sonlu makineler, veri yapıları ve
veri tabanları, şifreleme, şifre
çözme gibi konular için temel ve
başlangıç bilgilerini içermektedir.
Ayrık matematik (Discrete
Mathematics) bilim dalı içerisinde,
mantıksal önermeler konusu oldukça
önemli bir yer tutmaktadır.
Mantıksal önermeler, özellikle,
matematiksel çıkarsama konusunu
anlamakta, bilgisayar devrelerinin
tasarımının ve çalışmasının
öğrenilmesinde, bilgisayar
programlarının doğruluğunun
denetlenmesinde önemli bir yer
tutmaktadır.
Bu kitap, matematik becerisi isteyen
bilgisayar alanlarında gerekli
matematik bilgisini pekiştirmeyi
amaçlamaktadır. Bilgisayar ve
bilgisayar uygulamalarında bilinmesi
gereken ayrık matematik konularını
öğrencilere sunmaktadır.