Genel Bilgi Konu Başlıkları Yeterlilik İlişkisi Değerlendirme Sistemi Öğrenme Çıktıları Özgü Ölçüt Matrisi

Öğrenme Çıktıları	PY.1	PY.2	PY.3	PY.4	PY.5	PY.6	PY.7	PY.8	PY.9	PY.10	PY.11
Ö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.	2	1		5			2	2
Çizge kuramı, sayma yöntemleri ile sayılabilirlik/hesaplanabilirlik kavramlarını analiz eder ve bunları ayrık yapı problemlerinin modellenmesinde kullanır.	2		1	5			2	2
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.	2			5	1		2	2
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.	1	3	2	3	1	4	1			1