Terms for subject Information technology containing computation theory

English	Chinese
mathematical theory of computation	计算的数学理论
theory of computation	计算理论