| 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. |