Önermeler mantığı, ispat teknikleri ve tümevarımı uygular; sayılar teorisi ile kriptografik yapıları biçimsel olarak çözümler ve matematiksel ispatlar geliştirir.
Çizge kuramı, sayma yöntemleri ile sayılabilirlik/hesaplanabilirlik kavramlarını analiz eder ve bunları ayrık yapı problemlerinin modellenmesinde kullanır.
Ayrık ve sürekli olasılık modellerini; rastgele değişkenleri, beklenen değer ve varyansı, koşullu/toplam beklentiyi ve Markov zincirlerini çözümler ve uygun olasılıksal modellerle ifade eder.
Bu kavramları bilgisayar bilimi, yapay zekâ ve mühendislik problemlerine uygular; ilgili güncel literatürü eleştirel olarak değerlendirir ve sonuçlarını akademik standartlara uygun biçimde yazılı/sözlü olarak sunar.
Katkı Düzeyi : (1) Çok Düşük, (2) Düşük, (3) Orta, (4) Yüksek, (5) Çok Yüksek
