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.
ç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)
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.
