matematiğin ayrık yapılarıyla ilgilenen, süreklilik içermeyen konularını kapsayan matematik dalıdır. mantık, kümeler, sayı sayma yöntemleri, algoritma, ispat vs. genel konularıdır. bazı üniversitelerde, bilgisayar mühendisliğinde ders olarak verilir.
