Bilgi Teknolojileri İçin Ayrık Matematik (MATH134)
Küme kuramı, kümeler üzerinde işlemler. Bağıntılar ve fonksiyonlar. Boole fonksiyonları, Dijital mantık geçitleri, minterm ve maxterm uzanımları. Boole cebirinin temel teoremleri. Boole fonksiyonlarının Karnaugh tasvirleri ile basitleştirilmesi. Matematiksel tümevarım. Tekrarlanabilir bağıntıları, karakteristik polinom. İçerme ve dışlama prensibi. Toplama ve çarpma yoluyla sayma kuralları. Güvercin yuvası prensibi. Permütasyon, kombinasyon. Permütasyonda düzensizlik. Binom teoremi. Graflarin temel tanımları ve özellikleri. Denkşekillilik, Euler çemberi, Hamilton çemberi, komşu matrisi. Ağaçlar ve onların özellikleri, uzanımlı ağaçlar, mimimal uzanımlı ağaçlar. Kruskal ve Prim algoritmaları.