理論電腦科學

理論電腦科學theoretical computer science)係電腦科學嘅一個子領域,研究運算機械做運算當中嘅數學過程。