Tai specialaus lavinimo dalykas, kurio tikslas yra suteikti studentui diskrečiosios matematikos ir algoritmų teorijos žinias, sąvokas bei terminus, reikalingus studijuojant specialią programavimo teorijos literatūrą . Pateikti pagrindinius diskrečiosios matematikos teiginius, išnagrinėti jų įrodymus, bei kartu atliekant pratimus, įvaldyti diskrečiosios matematikos metodus, reikalingus praktinių inžinerinių uždavinių sprendimui, sudaryti naujus sudėtingesnius algoritmus.