| ÖÇ1 | Önermeler mantığının temel kurallarını kullanarak karmaşık ifadelerin doğruluk değerlerini çözümleyebilir., |
| ÖÇ2 | Mantıksal operatörleri ve kapıları kullanarak dijital sistemlerin ve algoritmaların karar mekanizmalarını modelleyebilir. |
| ÖÇ3 | Doğrudan ispat, çelişkiyle ispat ve tümevarım gibi teknikleri uygulayarak matematiksel savların doğruluğunu bilimsel olarak kanıtlayabilir. |
| ÖÇ4 | Küme teorisi kavramlarını ve işlemlerini kullanarak verileri gruplandırabilir ve nesneler arası temel üyelik ilişkilerini tanımlayabilir. |
| ÖÇ5 | Nesneler arasındaki ilişkileri yansıma, simetri ve geçişme gibi özellikler üzerinden analiz ederek veritabanı ve ağ yapılarını anlamlandırabilir. |
| ÖÇ6 | Girdi ve çıktı setleri arasındaki eşleşmeleri birebir, örten ve ters fonksiyon kavramlarıyla matematiksel bir disiplin içinde kurabilir. |
| ÖÇ7 | Sayı dizilerinin genel terimlerini belirleyebilir ve ardışık terimler arasındaki matematiksel örüntüleri tanımlayabilir. |
| ÖÇ8 | Karmaşık problemleri kendi içinde tekrarlayan daha küçük alt problemlere bölerek özyinelemeli çözüm algoritmaları geliştirebilir. |
| ÖÇ9 | Düğümler ve kenarlar arasındaki bağlantıları modelleyerek ağ topolojileri ve rota optimizasyonu gibi karmaşık ilişkisel sorunlara algoritmik çözümler üretmek. |