Jabarkan | ||  || dari Matematika

| Logika matematika || Teori himpunan || Teori kategori ||

Matematika diskret adalah nama lazim untuk lapangan matematika yang paling berguna di dalam ilmu komputer teoretis. Ini menyertakan teori komputabilitas, teori kompleksitas komputasional dan teori informasi. Teori komputabilitas memeriksa batasan-batasan berbagai model teoretis komputer, termasuk model yang dikenal paling berdaya - Mesin turing.

Teori kompleksitas adalah pengkajian traktabilitas oleh komputer; beberapa masalah, meski secara teoretis terselesaikan oleh komputer, tetapi cukup mahal menurut konteks waktu dan ruang, tidak dapat dikerjakan secara praktis, bahkan dengan cepatnya kemajuan perangkat keras komputer. Teori informasi memusatkan perhatian pada banyaknya data yang dapat disimpan pada media yang diberikan, oleh sebab itu berkenaan dengan konsep-konsep semisal pemadatan dan entropi.

Sebagai lapangan yang relatif baru, matematika diskret memiliki sejumlah masalah terbuka yang mendasar. Yang paling terkenal adalah "Masalah P versus NP", salah satu Masalah Milenium.

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