Mantıksal çıkarımlar ve ispat yöntemleri, kümeler ve bağıntılar, sayılabilirlik, fonksiyonlar ve kümelerin kardinalite denkliği, metrik uzaylar, açıklık, kapalılık, kompaktlık, bağlantılılık, fonksiyonların sürekliliği, diziler, limitler, düzgün yakınsaklık, daralan dönüşüm teoremi, ters ve kapalı fonksiyon teoremleri, konvekslik, hiperdüzlem ayırma teoremi, statik optimizasyon, dinamik optimizasyon.