1 | Sembolik mantık ve kanıt tekniklerini bilir ve farklı ispat uygulamaları yapar. |
2 | Kümeyi, kümeler cebirini, küme takımlarını, küme takımlarının parçalanışlarını, çarpım kümelerini kavrar, farklı uygulamalar yapar ve bunlarla ilgili teoremleri ispat eder. |
3 | Bağıntı, bağıntının tersi, bağıntıların bileşkesini kavrar ve farklı uygulamalar yapar. |
4 | Denklik ve sıralama bağıntısını tanımlar ve kısmi sıralı küme, tam sıralı küme gibi bazı temel kavramları açıklar ve örnekler. |
5 | Özel bir bağıntı olan fonksiyon kavramını ve bunun yanı sıra örten, bire bir fonksiyon gibi bazı özel kavramlarını bilir ve bunlarla ilgili teoremleri ispat eder. |
6 | Fonksiyonlarda bileşke işlemi ve bir fonksiyonun tersinin alınması kavramsal olarak anlar, farklı uygulamalar yapar ve bunlarla ilgili teoremleri ispat eder. |
7 | Permütasyon kavramını açıklar, farklı uygulamalar yapar ve bunlarla ilgili teoremleri ispat eder. |
8 | İşlem kavramını açıklar, farklı uygulamalar yapar ve bunlarla ilgili teoremleri ispat eder. |
9 | Matrislerle ilgili toplama, çarpma işlemlerini yapmak. |