5. Yarıyıl · Seçmeli · 3+0+0 · 5 ECTS
Önermeler ve ispat teknikleri, kümeler, bağıntılar-denklik bağıntıları,sıralama bağıntıları, fonksiyonlar, işlem ve özellileri, cebirsel yapılar, eş-güçlülük ve sayılabilirlik, tümevarım ilkesi, doğal sayıların inşası, Tamsayılar, Rasyonel sayılar.
Dönem sonu sınavı