Computability theory examines the limitations of various theoretical models of the computer including the most powerful known model - theTuring machine.

• 离散数学是通用名称的数学领域的最普遍有益的理论计算机科学。这包括可计算性理论，计算复杂性理论和信息理论。