Jabarkan | ||  || dari Matematika dalam bahasa banyumasan

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

Matematika diskret adalah nama lazim untuk lapangan matematika sing paling berguna nang jero ilmu komputer teoretis. iki menyertakan teori komputabilitas, teori kompleksitas komputasional, lan teori informasi. Teori komputabilitas memeriksa batasan-batasan berbagai model teoretis komputer, termasuk model sing 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 lan ruang, tidak dapat dikerjakan secara praktis, bahkan dengan cepatnya kemajuan perangkat keras komputer. Pamungkas, teori informasi memusatkan perhatian pada banyaknya data sing dapat disimpan pada media sing diberikan, lan oleh karenanya berkenaan dengan konsep-konsep semisal pemadatan lan entropi.

Sebagai lapangan sing relatif baru, matematika diskret memiliki sejumlah masalah terbuka sing mendasar. sing paling terkenal adalah masalah "P=NP?", salah satu Masalah Hadiah Milenium.

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