Matematika

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