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.
çok ama çok güzel bir ders ve araştırma alanı olmasına rağmen eğer dersi aldığınız hoca kötüyse hayatınızı cehenneme çevirebilir ,dersten kalabilirsiniz.
(bkz: erol balkanay)
hocanın "bilgisayar mühendisliğinin en önemli dersi" dediği ama ne aklımın ne mantığımın bir türlü anlamadığı, kabul etmediği derstir.
ayrıca ders ingilizceyse, ingilizcenizin çok iyi düzeyde olması gerekir. çünkü önce cümleleri doğru anlayacaksınız ki sonra sistemin consistent olup olmadığına karar verin.
