Matématika diskrèt inggih punika nama jamak kanggé lapangan matématika ingkang paling migunani ing salebetipun èlmu komputer téoretis. Pupunika ngathèkaken téyori komputabilitas, téyori komplèksitas komputasional, lan téyori informasi. Téyori komputabilitas mriksa watesan-watesan manéka modhèl téoretis komputer, kalebet modhèl ingkang dipuntepangi paling gadhah daya-Mesin turing. Téyori komplèksitas inggih punika pangkajian traktabilitas déning komputer; sapérangan masalah, sanadyan kanthi téoretis karampungaken déning komputer, nanging cekap awis miturut kontèks wekdal lan ruwang, boten saged dipundamel kanthi praktis, malah kanthi cepetipun kamajengan piranti atos komputer. Pungkasanipun, téyori informasi musataken kawigatosan dhumateng kathahipun data ingkang saged dipunsimpen ing médhia ingkang dipuparingaken, lan mila sesambetan kaliyan konsèp-konsèp saupami pamadhetan lan éntropi.