Eğitim programı hakkında
Matematiksel mantık, cebir, sayı teorisi ve ayrık matematik, tam sayıların özellikleri ve genellemeleri, cebirsel yapılar, matematiksel teorilerin genel yapısı, modelleri ve algoritmik süreçleri inceleyen matematik dallarıdır. Cebirde, üzerinde işlemler ve ilişkiler verilen soyut kümeler incelenir. Matematiksel mantıkta, biçimlendirilmiş matematiksel teorilerin sözdizimsel ve anlamsal özellikleri ve anlamsal modellerinin yapısal özellikleri incelenir. Sayı teorisinde, matematiksel nesnelerin aritmetik özellikleri incelenir.