Jabarkan | ||  || dari Matematik dalam bahasa melayu

| Logik matematik || Teori set || Teori kategori ||

Matematik diskret adalah nama biasa untuk bidang-bidang yang berguna dalam sains komputer teori. Ini termasuk teori kebolehkomputan, teori kekompleksan perkomputan dan teori maklumat. Teori kebolehkomputan mengkaji had-had kepada berbagai model teori model untuk komputer, termasuk antara model yang paling berkuasa - mesin Turing. Teori kekompleksan ialah satu kajian tentang kebolehkesanan dengan komputer; beberapa masalah, walaupun secara teorinya boleh diselesaikan dengan komputer, adalah sangat memakan masa dan ruang sehingga menyelesaikannya tidak boleh dilaksanakan secara praktikal, walaupun dengan penggunaan perkakasan komputer yang sangat maju. Akhir sekali, teori maklumat ialah teori yang mengkaji jumlah data yang boleh dimuat dalam medium-medium, dan ia berurusan dengan konsep-konsep seperti pemampatan dan entropi.

Sebagai satu bidang yang boleh dikatakan baru, matematik diskret mempunyai beberapa masalah terbuka asas, yang paling terkenal ialah masalah "P=NP?", iaitu satu daripada Masalah anugerah milenium.

{| style="border:1px solid #ddd; text-align:center; margin:auto" cellspacing="15"