1.Aksiyom ve önerme kavramlarını açıklar.
2. Aksiyom sistemleri hakkında bilgi sahibi olur. Verilen bir aksiyom sisteminin tutarlı ve bağımsız olup olmadığını belirleyebilir.
3.Direkt ve dolaylı ispat yöntemlerini açıklar.
4.Sembolik mantık bağlaçlarını kullanarak aksiyom ve teoremleri ifade eder. Verilen bir teoremin ispatında sembolik mantık kurallarını uygulayabilir.
5.Evrensel ve varlıksal niceleyicileri açıklar.
6.Küme kavramı hakkında bilgi sahibi olur.
7. Temel küme işlemlerini bilir ve uygular.
8. Küme aileleri ve özelikleri hakkında bilgi sahibi olur.
9.Kartezyen çarpım kavramını açıklar ve özeliklerini bilir.
10. Bağıntı kavramını açıklar. Bağıntı özelikleri ve çeşitleri hakkında bilgi sahibi olur.
11. Sıralı küme ve karşılaştırılabilir elemanlar kavramını açıklar.
12.Sıralı kümelerin en büyük, en küçük, maksimal ve minimal eleman kavramlarını ve bu kavramlar arasındaki ilişkiyi açıklayabilir.
14. En iyi sıralama prensibi hakkında bilgi sahibi olur.
15.Fonksiyon, bire-bir fonksiyon, örten fonksiyon kavramlarını açıklayabilir.
16. Bileşke ve ters fonksiyon kavramlarını bilir ve uygular.
17.Kümelerde kuvvet kavramını açıklayabilir.
18. Sonlu ve sonsuz küme kavramını hakkında bilgi sahibi olur.
| 
