Kurse nagrinėjami logikos ir diskretinės matematikos teorijos pagrindai. Studijų metu suteikiamos žinios apie matematinę logiką (teiginių ir predikatų logikos, įrodinėjimo metodai, Bulio algebra), apie diskretines struktūras (aibės, funkcijos, Bulio algebra ir loginės funkcijos, grafai ir medžiai, diskretinės tikimybės). Analizuojami logikos ir diskretinės matematikos teiginiai, jų įrodymai bei, atliekant praktines užduotis, įvaldomi logikos ir diskretinės matematikos metodai. Studijuojami tipiniai diskretinės matematikos uždavinių sprendimo algoritmai ir diskretinės matematikos objektų atvaizdavimo būdai, kurie yra būtini inžinieriui sprendžiant realius probleminius uždavinius.