Ayrık Matematik dersinin amacı, matematiksel mantığın temellerini kavrayarak ispat yöntemlerini öğretmek ve bilgisayar bilimleri için gerekli matematiksel yapılar hakkında bilgi kazandırmaktır. Bu ders, öğrencilere matematiksel düşünme becerileri kazandırmayı ve bu becerileri bilgisayar bilimlerinde uygulayabilmelerini sağlamayı hedefler.

Matematiksel Mantık, İspat Yöntemleri, Aksiyomatik Kümeler Teorisi, Bağıntı, Fonksiyon, Cebirsel Yapılar Sayılar Teorisine Giriş, Kombinatorik, Graf Teoriye Giriş, Sayı Sistemleri, Karar Ağaçları.

Teorik ders anlatımı, sunum yapılarak öğretim, tartışma

1) Rosen, Kenneth H., Discrete mathematics and its applications / Kenneth H. Rosen. — 7th ed. p. cm. Includes index. ISBN 0–07–338309–0. 2) Gürçay, H. (2019). Kesikli Matematik,Nobel Akademik Yayıncılık,9786057895714. 3) Bajnok, B. (2020). An Invitation to Abstract Mathematics. Undergraduate Texts in Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-030-56174-1_1 4) Vince, J. (2023). Foundation Mathematics for Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-031-17411-7_8. 5) Liben-Nowell, D. (2022). Connecting Discrete Mathematics and Computer Science (2nd ed.). Cambridge: Cambridge University Press.